On finite groups whose derived subgroup has bounded rank.

DOI10.1007/S11856-010-0057-2MaRDI QIDQ607825zbMATH OpenOpenAlexFDO

Authors Balázs Szegedy, Károly Podoski

Publication date 6 December 2010

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0706.3246

zbMATH Keywords

capable \(p\)-groupsgroups of bounded ranknilpotent groupsSchur theoremupper central series

Mathematics Subject Classification ID

Finite nilpotent groups, (p)-groups (20D15) Series and lattices of subgroups (20D30) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Derived series, central series, and generalizations for groups (20F14)

Abstract: Let $G$ be a finite group with derived subgroup of rank $r$. We prove that $gzzleq|G^{\prime }{|}^{2r}$. Motivated by the results of I. M. Isaacs in cite{isa} we show that if $G$ is capable then $gzleq|G^{\prime }{|}^{4r}$. This answers a question of L. Pyber. We prove that if $G$ is a capable $p$-group then the rank of $G/mathbfZ(G)$ is bounded above in terms of the rank of $G^{\prime }$.

Review text

J. Wiegold proved that a group \(G\) (eventually infinite) with \(|G:Z(G)|=n\) has an upper bound for the derived subgroup \(G'\) of the form \(|G'|\leq n^{{\frac{1}{2}}\log_2 n}\). L. Pyber, motivated by similar evidences, conjectured the existence of a constant \(c\) such that \(|H:Z(H)|\leq |H'|^{c\cdot\mathrm{rk}(H')}\), where \(H\) is a capable finite group and \(\mathrm{rk}(H')\) denotes the rank of \(H'\) (in the usual sense). The work under review answers positively Pyber's Conjecture, showing that \(c=4\) in Corollary 4. A more general result is shown in Theorem 3, where the authors prove that a finite group \(G\) with derived subgroup \(G'\) of rank \(r\) has \(|G:Z_2(G)|\leq |G'|^{2r}\). It is good to point out that the results of this paper deal with a precise line of investigation in literature, involving variations on the theme of the celebrated Schur's Theorem and its converse. I. Schur proved in fact that a group \(G\) with finite \(G/Z(G)\) has finite \(G'\). The converse is no longer true, but, weaker formulations may be proved, replacing in a suitable way \(Z(G)\) with another term \(Z_i(G)\) of the upper central series of \(G\) (\(i\geq 1\)), or, \(G'\) with another term \(\gamma_i(G)\) of the lower central series of \(G\). These observations emphasize the importance of Pyber's Conjecture and the importance of having bounds, which correlate the size of \(G/Z_i(G)\) with that of \(\gamma_j(G)\) for suitable \(i,j\geq 1\).

Recommendations

• An approach to capable groups and Schur's theorem.
• Derived subgroups and centers of capable groups
• Bounds for the index of the centre in capable groups
• The ranks of central factor and commutator groups.
• On a class of finite capable p-groups.

Cites work

• Bounds for the index of the centre in capable groups
• Bounds in groups with finite abelian coverings or with finite derived groups
• Derived subgroups and centers of capable groups
• scientific article; zbMATH DE number 3758564 (Why is no real title available?)
• scientific article; zbMATH DE number 1339096 (Why is no real title available?)
• scientific article; zbMATH DE number 3367139 (Why is no real title available?)
• Multiplicators and groups with finite central factor-groups
• On a result of Schur

Cited in

(12)

• Schur's theorem and Wiegold's bound
• Groups in which squares have boundedly many conjugates
• A property of \(p\)-groups of nilpotency class \(p + 1\) related to a theorem of Schur
• On groups of finite rank
• Derived subgroups and centers of capable groups
• On the groups satisfying the converse of Schur's theorem.
• On the relations between the central factor-module and the derived submodule in modules over group rings
• Notes on compact nilspaces
• scientific article; zbMATH DE number 7554058 (Why is no real title available?)
• An upper bound for the index of the center in capable groups with finite cyclic derived subgroups
• An approach to capable groups and Schur's theorem.
• Bounding the exponent of the commutator subgroup of a finite p-group

This page was built for publication: On finite groups whose derived subgroup has bounded rank.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607825)