Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper analyzes the Frattini geometry of non-generating complexes \(N(G)\) for finite groups \(G\), distinguishing between general Frattini reductions and structures specific to finite \(p\)-groups. For noncyclic groups, the non-cone Frattini core is shown to be homotopy equivalent to the order complex of the proper part of \(G/Φ(G)\), simplifying to a uniform parallel extension of \(\mathrm{PG}(r-1,p)\) for finite \(p\)-groups. This geometric framework enables the exact determination of simplicial isomorphism data, automorphism groups, homology, and modular consequences, alongside explicit formulas for multigraded and \(\mathbb Z\)-graded Betti numbers.
The Frattini complex of any finite noncyclic group is homotopy equivalent to the order complex of the proper subgroup lattice of its Frattini quotient, revealing a deep geometric structure that simplifies for \(p\)-groups.
For a finite group \(G\), let \(N(G)\) be the simplicial complex of subsets that do not generate \(G\). We separate a general Frattini-topological reduction from the structure special to finite \(p\)-groups. For every finite noncyclic group, the non-cone Frattini core is homotopy equivalent to the order complex of the proper part of the subgroup lattice of \(G/Φ(G)\). For a finite \(p\)-group this quotient is an elementary abelian vector space, and the core becomes the non-spanning complex of a uniform parallel extension of \(\mathrm{PG}(r-1,p)\), where \(r=d(G)\) and \(q=|Φ(G)|\). We use this geometry to determine the exact simplicial isomorphism data and full simplicial automorphism group, identify top homology equivariantly with the appropriate restriction of the Steinberg module, and derive modular consequences. We also give an explicit supportwise formula for every multigraded Betti number and compare it with a closed single-sum formula for the \(\mathbb Z\)-graded Betti numbers. Known matroidal and building-theoretic inputs are stated separately from the group-specific consequences. The resulting framework also yields the homotopy type, depth, regularity, projective dimension, face enumeration, and the complete Cohen--Macaulay classification.