Finite 2-groups of class 2 in which every product of four elements can be reordered
type: Item
instance of: scholarly article
title: Finite 2-groups of class 2 in which every product of four elements can be reordered
zbMATH Open document ID: 0698.20013
published in: Illinois Journal of Mathematics
publication date: 1991-01-01T00:00:00Z
review text: If n is an integer greater than 1, then a group G belongs to the class \(P_ n\) if every ordered product of n elements can be reordered in at least one way; in other words, to each n-tuple \((x_ 1,x_ 2,...,x_ n)\) of elements of G there corresponds a non-trivial element \(\sigma\) of the symmetric group \(\Sigma_ n\) such that \[ x_ 1x_ 2...x_ n=x_{\sigma (1)}x_{\sigma (2)}...x_{\sigma (n)}. \] The union of the classes \(P_ n\), \(n\geq 2\), is denoted by P. It was shown by \textit{M. Curzio}, the first author, \textit{D. J. S. Robinson} and \textit{M. Maj} [Arch. Math. 44, 385-389 (1985; Zbl 0544.20036)] that P consists precisely of the finite-by-abelian-by-finite groups. Clearly \(P_ 2\) is the class of abelian groups, while \(G\in P_ 3\) if and only if \(| G'| \leq 2\) [\textit{M. Curzio}, the first author and \textit{M. Maj}, Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 74, 136-142 (1983; Zbl 0528.20031)]. Graham Higman characterized finite groups of odd order in \(P_ 4\) and also proved that a group G with \(G'\cong V_ 4\) (the 4-group) always belongs to \(P_ 4\). Then by the first author and \textit{M. Maj} [Arch. Math. 49, 273-276 (1987; Zbl 0607.20017)], improving a result of \textit{M. Bianchi}, \textit{R. Brandl} and \textit{A. Gillio Berta Mauri} [Arch. Math. 48, 281-285 (1987; Zbl 0623.20022)], it was shown that all \(P_ 4\)-groups are metabelian. Finally by \textit{M. Maj} and the second author [Non-nilpotent groups in which every product of four elements can be reordered, Can. J. Math. (to appear)] the non-nilpotent \(P_ 4\)-groups were classified and the nilpotent \(P_ 4\)-groups were shown to have class at most 4. The present work is a further contribution to the classification of \(P_ 4\)-groups: finite 2-groups of class 2 belonging to \(P_ 4\) are precisely determined. It is shown that if G is such a group in \(P_ 4\), then \(G'\) has exponent at most 4. The main results are: Theorem A. Let G be a finite 2-group of class 2 wi…
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20F12
Mathematics Subject Classification ID: 20E10
Mathematics Subject Classification ID: 20F24
zbMATH DE Number: 4144239
zbMATH Keywords: permutation property
zbMATH Keywords: ordered product of n elements
zbMATH Keywords: symmetric group
zbMATH Keywords: finite-by-abelian-by-finite groups
zbMATH Keywords: finite groups of odd order
zbMATH Keywords: P(sub 4)- groups
zbMATH Keywords: finite 2-groups of class 2
zbMATH Keywords: exponent
author: P. Longobardi
author: Stewart Stonehewer
MaRDI profile type: Publication
Recommended article: The classification of groups in which every product of four elements can be reordered
Recommended article: On groups in which every product of four elements can be reordered
Recommended article: Non-Nilpotent Groups in Which Every Product of Four Elements Can be Reordered
Recommended article: Finite 2-groups whose number of subgroups of each order are at most \(2^4\)
Recommended article: Finite 2-groups with automorphisms of order 4
Recommended article: Elements of order at most 4 in finite 2-groups, 2
Recommended article: Finite 2-groups with exactly four cyclic subgroups of order 2n
Recommended article: Q3728217
Recommended article: Elements of order at most 4 in finite 2-groups
Recommended article: Finite groups with exactly two conjugacy classes of the same order
description: scientific article; zbMATH DE number 4144239