Metabelian \(p\)-groups and coclass theory.
type: Item
instance of: scholarly article
title: Metabelian \(p\)-groups and coclass theory.
zbMATH Open document ID: 1307.20017
author: B. Eick
published in: Journal of Algebra
publication date: 2014-11-07T00:00:00Z
reviewed by: Andrea Caranti
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20E18
zbMATH DE Number: 6366944
zbMATH Keywords: finite \(p\)-groups
zbMATH Keywords: metabelian \(p\)-groups
zbMATH Keywords: coclass theory
zbMATH Keywords: coclass graphs
zbMATH Keywords: isomorphism types of \(p\)-groups
zbMATH Keywords: metabelian pro-\(p\)-groups
zbMATH Keywords: coclass trees
describes a project that uses: GAP
describes a project that uses: XGAP
describes a project that uses: Coclass
describes a project that uses: SymbCompCC
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2014.08.021
OpenAlex ID: W2081567254
cites work: On a special class of \(p\)-groups
cites work: Counting \(p\)-groups and nilpotent groups
cites work: On the number of infinite branches in the graph of all p-groups of coclass r
cites work: Automorphism groups of 2-groups.
cites work: COMPUTATION OF LOW-DIMENSIONAL (CO)HOMOLOGY GROUPS FOR INFINITE SEQUENCES OF p-GROUPS WITH FIXED COCLASS
cites work: On the classification of prime-power groups by coclass
cites work: On the classification of groups of prime-power order by coclass: the 3-groups of coclass 2.
cites work: Enumerating p -Groups. I: Inequalities
cites work: Q4544915
cites work: Space groups and groups of prime-power order. I
cites work: Transfers of metabelian \(p\)-groups
cites work: Metabelian p-Groups of Maximal Class
cites work: The Metabelian p-Groups of Maximal Class
cites work: The Metabelian p-Groups of Maximal Class. II
cites work: Classifying 2-groups by coclass
cites work: The \(p\)-group generation algorithm
DOI: 10.1016/J.JALGEBRA.2014.08.021
Recommended article: Cohomology of Metacyclic Groups
Recommended article: A note on the cohomology of metabelian groups
Recommended article: Cohomology of groups with metacyclic Sylow 𝑝-subgroups
Recommended article: Classification of Metabelian p-Groups
Recommended article: The Quillen categories of \(p\)-groups and coclass theory.
Recommended article: A theorem on metabelian p-groups and some consequences
Recommended article: The mod-p cohomology rings of metacyclic groups
Recommended article: ON FINITE METACYCLIC p-GROUPS
Recommended article: METABELIAN THIN p-GROUPS
review text: The paper under review is an important contribution to the program of studying families of finite \(p\)-groups by coclass, and tackles one instance of the major problem of showing that the isomorphism types of finite \(p\)-groups of a fixed coclass can be described in terms of a finite set of data.NEWLINENEWLINE The groups considered here are the metabelian ones, that is, those finite \(p\)-groups in which the derived subgroup is Abelian. The first result shows that for every \(r\), and for every prime \(p\), the isomorphism types of metabelian \(p\)-groups of coclass \(r\) consist of finitely many coclass families, plus finitely many other groups. From this it follows that the graph \(\mathcal M(p,r)\) associated to these groups is virtually periodic, that is, for every coclass tree \(\mathcal M\) in \(\mathcal M(p,r)\), there exist \(d,l\) such that \(\mathcal M_l\cong\mathcal M_{l+d}\). Here the graph \(\mathcal M(p,r)\) has the finite metabelian \(p\)-groups of coclass \(r\) as vertices, and there is an edge from \(G\) to \(H\) if \(H\) has nilpotence class \(c\), and \(H/\gamma_c(H)\cong G\). If \(S\) is an infinite metabelian pro-\(p\)-group of finite coclass \(r\), the coclass tree \(\mathcal M=\mathcal M(S)\) associated to \(S\) is the full subtree of \(\mathcal M(p,r)\) whose vertices are the descendant of the smallest finite quotient of \(S\) of coclass \(r\), which does not occur for some other \(\widehat S\). And for such a coclass tree, one denotes by \(\mathcal M_l\) a pruned version of it, that is, the full subgraph consisting of the groups whose distance to a main line group in \(\mathcal M(p,r)\) is at most \(l\). (We refer to the original paper, which is extremely well written, for further details.)NEWLINENEWLINE From this, one obtains that, for given \(p,r\), with \(p\) prime, metabelian \(p\)-groups of coclass \(r\) can be classified up to isomorphism, that is, their isomorphism classes can be described in terms of a finite number of consistent p…
description: scientific article; zbMATH DE number 6366944