Subgroup Lattice Theory by Gemini

Note: Subgroup Lattice Theory

Core Question: To what extent is the algebraic structure of a group $G$ determined solely by its lattice of subgroups $L(G)$?

In other words, if we “forget” the group operation and retain only the inclusion relations ($\le$), how much information is lost?

1. Projectivities and Lattice Determinability

Definition: A projectivity is a lattice isomorphism $\sigma :L(G)\to L(H)$.

If $L(G)\cong L(H)$ implies $G\cong H$, then $G$ is said to be strictly lattice-determined.

Key Results & Counterexamples

• The Abelian Failure (Rottländer, 1928): The subgroup lattice often fails to distinguish between abelian and non-abelian $p$-groups.

  • Example: The non-abelian Heisenberg group of order $p^3$ ($C_p\times C_p⋊C_p$) can have a subgroup lattice isomorphic to that of the abelian group $C_p\times C_p\times C_p$.

• Suzuki’s Theorem (1951): The structure of Finite Simple Groups is extremely rigid. A finite simple group is essentially determined by its subgroup lattice (with very minor exceptions).

• Connection to Finite Geometry: For an elementary abelian $p$-group of rank $n$, the subgroup lattice $L(G)$ is isomorphic to the projective geometry $PG(n-1,p)$.

2. Algebraic Properties of the Lattice

Correspondence between lattice-theoretic laws and group-theoretic structures.

A. Distributive Lattices

Theorem (Ore, 1938):

$L(G)$ is a distributive lattice if and only if $G$ is locally cyclic.

• For finite groups: $L(G)$ is distributive $⟺$ $G$ is cyclic.

• Intuition: The distributive law implies a very linear, non-complex structure.

B. Modular Lattices

Modular Law: If $A\le B$, then $A\vee (C\wedge B)=(A\vee C)\wedge B$.

• Note: The lattice of normal subgroups is always modular (Dedekind law), but $L(G)$ is not always modular.

Iwasawa’s Classification (1941):

Iwasawa completely classified finite groups with modular subgroup lattices (called $M$-groups).

• Structure: $G\cong A\times B_1\times \cdots \times B_k$, where $A$ is abelian and $B_i$ are non-abelian $P$-groups satisfying specific conditions.

• Generalization: This generalizes Hamiltonian groups (non-abelian groups where every subgroup is normal, e.g., $Q_8$).

3. Topological Properties (The Modern View)

Analyzing the Order Complex $\Delta (G)$ (the simplicial complex formed by chains in $L(G)\setminus \{1,G\}$).

A. The Möbius Function

The Möbius function ${\mu }_G(H,K)$ on the poset of subgroups is of particular interest, specifically the value $\mu (1,G)$. This relates to the Euler characteristic of $\Delta (G)$.

B. Solvability and Homotopy (Quillen)

Theorem (Quillen):

If $G$ has a non-trivial normal $p$-subgroup (i.e., $O_p(G)\ne 1$), then the order complex $\Delta (G)$ is contractible.

• Corollary: The Euler characteristic $\chi (\Delta (G))=1$, and $\mu (1,G)=0$.

• Open Problems: The inverse direction (e.g., Shareshian’s work) investigates whether topological properties of coset complexes can enforce solvability.

4. Seminal References (The Canon)

• Roland Schmidt, Subgroup Lattices of Groups (1994).

  • The comprehensive encyclopedia of the field.

• Michio Suzuki, Structure of a Group and the Lattice of its Subgroups (1956).

  • Classic work establishing the link between simple groups and lattices.

• Kenneth Brown, Cohomology of Groups (Standard text).

  • See chapters on the “Poset of p-subgroups” for the topological/Möbius function perspective.