On elements of order \(p\) in powerful \(p\)-groups.
type: Item
instance of: scholarly article
title: On elements of order \(p\) in powerful \(p\)-groups.
zbMATH Open document ID: 1037.20019
DOI: 10.1016/S0021-8693(03)00503-9
author: Lászlo Héthelyi
author: L. Lévai
published in: Journal of Algebra
publication date: 2004-01-14T00:00:00Z
review text: Let \(p\) be a prime, \(\varepsilon_2=2\) and \(\varepsilon_p=1\) for \(p>2\). A \(p\)-group \(G\) is said to be powerful if \(G'\leq\mho_{\varepsilon_p}(G)\). Given a subset \(M\) in a \(p\)-group \(G\), let \(\Omega_{\{1\}}(M)\) be the set of all elements of order \(\leq p\) in \(M\). The authors give an example to show that for \(p=2\) there is a powerful \(p\)-group such that \(\Omega_1(G)\neq\Omega_{\{1\}}(G)\). The following results are proved. Theorem 1. For a powerful \(p\)-group \(G\) the following hold: (i) \(|\Omega_{\{1\}}(G)|=|G:\mho_1(G)|\). (ii) If \(x\in G\) is of order \(p\) and \(N\) is a powerful normal subgroup of \(G\) such that \(\langle x,N\rangle\) is powerful, then \(|\Omega_{\{1\}}(xN)|=|\Omega_{\{1\}}(N)|\). Corollary 2. The following statements are equivalent for a powerful \(p\)-group \(G\): (i) \(|\Omega_1(G)|\leq|G:\mho_1(G)|\). (ii) \(|\Omega_1(G)|=|G:\mho_1(G)|\). (iii) \(\exp(\Omega_1(G))=p\). (iv) There exists \(H\leq G\) of exponent \(p\) such that \(|H|\geq|G:\mho_1(G)|\). By analogy, one can define the set \(\Omega_{\{n\}}(M)\) as the set of all elements of orders \(\leq p^n\) in a subset \(M\) of a \(p\)-group \(G\). Is it true, in a powerful \(p\)-group \(G\), that the following equality \(|\Omega_{\{n\}}(G)|=|G:\mho_n(G)|\) holds for \(n>1\)?
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20D60
zbMATH DE Number: 2026913
zbMATH Keywords: powerful \(p\)-groups
zbMATH Keywords: exponents
zbMATH Keywords: orders
reviewed by: Yakov Berkovich
MaRDI profile type: Publication
cites work: On subgroups of finite \(p\)-groups
cites work: The Power Structure of Metabelian p-Groups
cites work: Q3997907
cites work: Powerful \(p\)-groups. I: Finite groups.
cites work: Q4946828
cites work: Q3487629
cites work: The exponent of finite groups
description: scientific article; zbMATH DE number 2026913