Metabelian \(p\)-groups and coclass theory. (Q468692): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 5 users not shown) | |||
Property / 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. 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.) 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 parametrized presentations. | |||
Property / 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. 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.) 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 parametrized presentations. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrea Caranti / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20D15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E18 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6366944 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite \(p\)-groups | |||
Property / zbMATH Keywords: finite \(p\)-groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
metabelian \(p\)-groups | |||
Property / zbMATH Keywords: metabelian \(p\)-groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coclass theory | |||
Property / zbMATH Keywords: coclass theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coclass graphs | |||
Property / zbMATH Keywords: coclass graphs / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isomorphism types of \(p\)-groups | |||
Property / zbMATH Keywords: isomorphism types of \(p\)-groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
metabelian pro-\(p\)-groups | |||
Property / zbMATH Keywords: metabelian pro-\(p\)-groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coclass trees | |||
Property / zbMATH Keywords: coclass trees / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: GAP / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: XGAP / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Coclass / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: SymbCompCC / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2014.08.021 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081567254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a special class of \(p\)-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counting \(p\)-groups and nilpotent groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the number of infinite branches in the graph of all p-groups of coclass r / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphism groups of 2-groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: COMPUTATION OF LOW-DIMENSIONAL (CO)HOMOLOGY GROUPS FOR INFINITE SEQUENCES OF p-GROUPS WITH FIXED COCLASS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of prime-power groups by coclass / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON THE CLASSIFICATION OF GROUPS OF PRIME-POWER ORDER BY COCLASS: THE 3-GROUPS OF COCLASS 2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enumerating <i>p</i> -Groups. I: Inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4544915 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Space groups and groups of prime-power order. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transfers of metabelian \(p\)-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metabelian p-Groups of Maximal Class / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Metabelian p-Groups of Maximal Class / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Metabelian p-Groups of Maximal Class. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying 2-groups by coclass / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(p\)-group generation algorithm / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:06, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Metabelian \(p\)-groups and coclass theory. |
scientific article |
Statements
Metabelian \(p\)-groups and coclass theory. (English)
0 references
7 November 2014
0 references
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. 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.) 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 parametrized presentations.
0 references
finite \(p\)-groups
0 references
metabelian \(p\)-groups
0 references
coclass theory
0 references
coclass graphs
0 references
isomorphism types of \(p\)-groups
0 references
metabelian pro-\(p\)-groups
0 references
coclass trees
0 references
0 references
0 references