Generalized quaternion groups are the noncyclic finite \(2\)-groups with a unique involution. They are the only alternative to cyclic Sylow subgroups in a Frobenius complement. [@isaacs2008]
Definition
\(Q_8\) is the smallest example. The element \(x^{2^{n-2}}=y^2\) is the unique involution.
Core result
A unique subgroup of order \(p\) forces a cyclic center; induction analyzes a maximal cyclic subgroup and its index. The noncyclic possibility occurs only for \(p=2\), where inversion conjugation and the unique involution yield the presentation. See Theorems 6.11-6.17.
Structural properties
- There is a unique involution, contained in every nontrivial subgroup.
- The cyclic subgroup \(\langle x\rangle\) has index \(2\).
- The center and derived structure are controlled by powers of \(x\).
- \(Q_8\) is extraspecial, while larger generalized quaternion groups are generally not.
- Periodic cohomology and free sphere actions also make these groups important in topology.
Generalized quaternion structure is the noncyclic realization of a unique prime-order subgroup at \(p=2\), contrasting with dihedral and semidihedral groups.
Example and boundary
Knowledge network
Frobenius complements explain the classification use, dihedral groups provide a contrast, and extraspecial theory locates \(Q_8\).
Proof and sources
The unique-order-\(p\) subgroup classification and Frobenius-complement consequence are Theorems 6.11-6.17. [@isaacs2008]
