[Paper Review] Groups with a base property analogous to that of vector spaces

Paul Apisa, Benjamin Klopsch|arXiv (Cornell University)|Nov 26, 2012

Finite Group Theory Research4 references3 citations

TL;DR

This paper establishes that all finite B-groups—groups where all minimal generating sets have the same size—are solvable and closed under quotients. It provides a complete classification of Frattini-free finite B-groups, showing they are either elementary abelian p-groups or specific semidirect products of elementary abelian p-groups with cyclic q-groups acting faithfully via field multiplication, leading to new proofs for the classification of finite matroid groups and groups with the basis property.

ABSTRACT

A B-group is a group such that all its minimal generating sets (with respect to inclusion) have the same size. We prove that the class of finite B-groups is closed under taking quotients and that every finite B-group is solvable. Via a complete classification of Frattini-free finite B-groups we obtain a general structure theorem for finite B-groups. Applications include new proofs for the characterization of finite matroid groups and the classification of finite groups with the basis property.

Motivation & Objective

• To resolve two open questions: whether the property B is inherited by quotients and whether all finite B-groups are solvable.
• To classify Frattini-free finite B-groups, which serve as the foundation for a general structure theorem.
• To apply the classification to re-derive known results on finite matroid groups and groups with the basis property.
• To characterize the automorphism groups of Frattini-free B-groups.
• To provide a complete structural characterization of finite B-groups using representation-theoretic and group-theoretic tools.

Proposed method

• Use of the Classification of Finite Simple Groups and results from Lucchini and Menegazzo on groups with a unique minimal normal subgroup.
• Structural analysis of minimal generating sets in finite groups, focusing on the invariants d(G) and m(G).
• Reduction to Frattini-free groups via the Frattini subgroup, since d(G) = d(G/Φ(G)) and m(G) = m(G/Φ(G)).
• Application of the Burnside basis theorem and Maschke’s theorem to analyze module structures over finite fields.
• Construction of explicit examples using finite fields: semidirect products via multiplication by roots of unity in F_p(ζ).
• Use of subgroup lattice and conjugacy arguments to prove that subgroups of B-groups inherit the B-property under certain conditions.

Experimental results

Research questions

• RQ1 Is the property B (all minimal generating sets have the same size) preserved under taking quotients of finite groups?
• RQ2 Is every finite B-group necessarily solvable?
• RQ3 What is the complete classification of Frattini-free finite B-groups?
• RQ4 How can the classification of finite B-groups be used to re-derive known results on matroid groups and groups with the basis property?
• RQ5 What is the structure of the automorphism group of a Frattini-free B-group?

Key findings

• Every quotient of a finite B-group is again a B-group, confirming that the property B is quotient-closed.
• Every finite B-group is solvable, resolving a fundamental open question in the theory of finite groups with uniform minimal generating set size.
• A finite group G is a Frattini-free B-group if and only if it is either an elementary abelian p-group or a semidirect product P ⋊ Q, where P is an elementary abelian p-group, Q is a non-trivial cyclic q-group, and Q acts faithfully on P via a direct sum of isomorphic simple F_pQ-modules.
• The general structure of finite B-groups is characterized: they are either p-groups or semidirect products P ⋊ Q with C_Q(P) ≠ Q and every non-trivial element of Q/C_Q(P) acting fixed-point-freely on P/Φ(P).
• The automorphism group of a Frattini-free B-group is explicitly described, providing a complete structural understanding of these groups.
• New, streamlined proofs are given for the characterization of finite matroid groups and the classification of finite groups with the basis property, using the main classification results.