Classification of 2-generator finite metabelian p-groups having a proper H_ p-subgroup

DOI10.1007/BF01191262MaRDI QIDQ1096006zbMATH OpenFDO

Authors William F. Cody

Publication date 1989

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01191262

zbMATH Keywords

2-generator finite metabelian p- groups\(H_ p\)-subgroupHughes conjectureHughes subgroup

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Arithmetic and combinatorial problems involving abstract finite groups (20D60)

Review text

For a group G and prime p, the subgroup of G generated by the elements of order unequal to p is called the \(H_ p\)-subgroup. Hughes conjectured that whenever \(H_ p(G)\) is a proper subgroup, it must have index p. Although in general false, the Hughes conjecture has been verified in many important classes of groups. In particular, Hogan and Kappe established its truth for finite metabelian p-groups. Additionally, they constructed an example of a 2-generator finite metabelian p-group of class p having a proper abelian \(H_ p\)-subgroup. In this paper, we generalize that construction to exhibit a family of 2-generator finite metabelian p-groups of class m, \(m\geq p\), each having a proper \(H_ p\)- subgroup of class n, \(1\leq n\leq p-2\). These values of the ordered pairs (m,n) span the full range of possibilities. We then prove that any 2- generator finite metabelian p-group having a proper \(H_ p\)-subgroup must be a homomorphic image of a group in this family. That these groups, composed ``mostly of elements of order p, can be constructed of arbitrary size is in contrast to the situation for finite 2-generator groups of exponent p described in a well-known result of Kostrikin. Finally, the study of these 2-generator groups enables us to obtain some interesting structural theorems for the general n-generator case.

Recommendations

• A Meier-Wunderli theorem for \(H_ p\)-subgroups
• On a generalization of the Hughes subgroup
• The Hughes subgroup
• Finite \(p\)-groups all of whose non-Abelian proper subgroups are generated by two elements.
• On subgroups of finite \(p\)-groups.

Cites work

• A Meier-Wunderli theorem for \(H_ p\)-subgroups
• Die Nilpotenz der \(H_ p\)-Gruppen
• Endliche Gruppen I
• Generalized incidence matrices over group algebras
• scientific article; zbMATH DE number 3137403 (Why is no real title available?)
• scientific article; zbMATH DE number 3147623 (Why is no real title available?)
• scientific article; zbMATH DE number 3225398 (Why is no real title available?)
• Metabelsche Gruppen
• More on the Hughes conjecture
• On the H p -Problem for Finite p-Groups
• On the Hughes conjecture
• Partial Difference Sets
• The H_p-problem and the structure of H_p-groups

Cited in

(4)

• On exact power margin groups
• Finite \(p\)-groups
• A classification of 2-generator p-groups p 3 with many subgroups 2-subnormal
• A Meier-Wunderli theorem for \(H_ p\)-subgroups

This page was built for publication: Classification of 2-generator finite metabelian p-groups having a proper \(H_ p\)-subgroup

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