Bounding the index of the agemo in finite \(p\)-groups.
type: Item
instance of: scholarly article
title: Bounding the index of the agemo in finite \(p\)-groups.
zbMATH Open document ID: 1194.20018
author: Jon Gonzalez-Sanchez
published in: Journal of Algebra
publication date: 2010-01-11T00:00:00Z
review text: Let \(G\) be a finite \(p\)-group, \(p\) an odd prime number, \(p^k\) the maximal order of an exponent \(p\) subgroup. \textit{A. Mann} [J. Algebra 318, No. 2, 953-956 (2007; Zbl 1134.20017)] has shown that the index of the subgroup \(G^p\) is bounded by \(p^{k(\log_{2}k+2)}\). The author, in the main result of the paper, improves this bound to \(p^{k\log_{p-1}(k+1)}\) provided \(p^k\) is the maximal order of an exponent \(p\) subgroup of class smaller than \(p\). In the course of the proof the following notions are defined: given the set of words \(\mathcal V=\{w_i(x_1,\dots,x_{k_i})\mid i=1,\dots,s\}\) a verbal subgroup is \[ \mathcal V(G)=\langle w_1(x_1,\dots,x_{k_1}),\dots,w_s(x_1,\dots,x_{k_s})\mid x_i\in G\rangle. \] The group \(G\) is said to be \(\mathcal V\)-maximal if for all proper subgroups \(H\) of \(G\), \(|H:\mathcal V(H)|<|G:\mathcal V(G)|\). Let the \(D_l\) be dimension subgroups of \(G\) (\(2\leq l\leq p-1\)), these are verbal subgroups. It is proved that if the group \(G\) is \(D_l\)-maximal then it of class at most \(l\). In the proof of the main result the notion of a PF-group is also used [\textit{G. A. Fernández-Alcober, J. González-Sánchez, A. Jaikin-Zapirain}, Isr. J. Math. 166, 393-412 (2008; Zbl 1153.20028)], and it is shown that if \(G\) is a PF-group in which elements of order \(p\) form a subgroup then the index of \(G^p\) and the order of the subgroup \(\Omega_1(G)\) coincide. Some further results concerning the power structure are given, such as: if \(s\) is the upper integral part of \(k+1\over p-1\) and \(N\) is a normal subgroup contained in \(D_s\) then \(\Omega_i(N)^{p^i}=1\).
reviewed by: János Kurdics
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20D25
Mathematics Subject Classification ID: 20D60
zbMATH DE Number: 5655728
zbMATH Keywords: finite \(p\)-groups
zbMATH Keywords: agemo
zbMATH Keywords: power structure
zbMATH Keywords: PF-groups
zbMATH Keywords: orders of subgroups
zbMATH Keywords: \(d\)-maximal subgroups
zbMATH Keywords: power subgroups
zbMATH Keywords: omega subgroups
zbMATH Keywords: power-commutator conditions
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2009.07.002
OpenAlex ID: W2019608756
cites work: Q4264394
cites work: Omega subgroups of pro-\(p\) groups.
cites work: On \(p\)-saturable groups.
cites work: A Contribution to the Theory of Groups of Prime-Power Order
cites work: Endliche Gruppen I
cites work: The total Stiefel-Whitney class of a regular representation
cites work: Q4377749
cites work: The Minimum Number of Generators of a Finite p -Group
cites work: The power structure of \(p\)-groups. II.
DOI: 10.1016/J.JALGEBRA.2009.07.002
Recommended article: The power structure of \(p\)-groups. II.
Recommended article: On the number of maximal subgroups of a finite solvable group.
Recommended article: On powers in powerful p-groups
Recommended article: Q4660847
Recommended article: On elements of order \(p\) in powerful \(p\)-groups.
Recommended article: On the number of subgroups of given type in a finite p-group
Recommended article: Q3487629
Recommended article: The Power Structure of Metabelian p-Groups
Recommended article: Omega subgroups of powerful \(p\)-groups.
Recommended article: Alternate proofs of two theorems of Philip Hall on finite \(p\)-groups, and some related results.
description: scientific article; zbMATH DE number 5655728