How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
For each prime there are exactly two nonabelian groups of order up to isomorphism
Statement
For every prime there are exactly two nonabelian groups of order up to isomorphism. For odd they are the Heisenberg group , of exponent , and the modular group , of exponent . For they are and .
Facts & Assumptions
Given: A prime and a nonabelian group with .
The Heisenberg group of order is the set of triples over with (The Heisenberg group of order over ).
The modular group of order is with of order , of order and (The modular group of order as a semidirect product ).
For the commutator is (Commutators and the commutator subgroup ).
For a finite group , (The exponent of a finite group).
is the smallest subgroup of containing (The subgroup generated by a subset, the cyclic subgroup , and cyclic groups).
For a group and a prime , (The th-power subgroup ).
A nonabelian group of order is extraspecial, with of order and elementary abelian of order (A nonabelian group of order is extraspecial).
For a finite -group the following are equivalent: is extraspecial; is nonabelian, and is elementary abelian; is nonabelian and has order (Three equivalent descriptions of an extraspecial -group).
For every finite -group , ( for a finite -group).
If in an extraspecial -group , then contains , has order , is nonabelian, and is extraspecial with centre (Two elements of an extraspecial -group with nontrivial commutator generate an extraspecial subgroup of order ).
If then , , and for every integer (Commutator identities in a group whose derived subgroup is central).
For an odd prime and a finite group with of exponent dividing , for all (For an odd prime , the -th power map is a homomorphism on a finite group whose derived subgroup is central of exponent dividing ).
is the third coordinate axis, of order ; is extraspecial; and for odd its exponent is (The Heisenberg group of order is extraspecial, and for odd it has exponent ).
The Heisenberg multiplication is a group law with identity and inverse , the group is nonabelian of order , and , , (The Heisenberg multiplication is a group law, nonabelian, on a set of elements).
is nonabelian of order , extraspecial of exponent , with ; at it is (The modular group of order is extraspecial, of exponent when is odd).
and are extraspecial of order , with exactly six and exactly two solutions of respectively ( and are extraspecial of order , with six and two solutions of respectively).
The conditions , , hold if and only if conjugation restricts to an action and is an isomorphism carrying the canonical factors onto and ( Recognition theorem: with , exactly realises an external semidirect product).
For , with and , of order ( with inversion action has order and the dihedral relations).
, the element is its only element of order two, and each of has order four ( is a subgroup of with eight elements, and is its only element of order ).
For a finite group and , (Lagrange's theorem: for every subgroup of a finite group ).
For all one has and (Exponent laws in a group: and for all , and when and commute).
A cyclic group with a generator of finite order is isomorphic to (Every cyclic group is isomorphic to or to for its finite order ).
Proof
is extraspecial: has order , and is elementary abelian of order .
Since contains , every has .
Every element order divides ; an element of order would generate and make it abelian, so every element has order dividing and is or .
For odd the groups and are nonabelian of order with exponents and , so they are not isomorphic.
The groups and are nonabelian of order eight and have six and two solutions of , so they are not isomorphic.
First case: suppose for every . At this makes abelian, since ; so is odd here.
Second case: suppose instead that has an element of order . Then has order and index , and is a nonidentity element of , so .
In the first case, nonabelianness gives with ; then generates and has order , so .
In the second case, choose ; then properly contains a subgroup of index and so equals , and since otherwise would be abelian.
In the first case every element of is uniquely with in : the images generate , so the products meet every coset of , and there are exactly such triples of exponents.
In the second case lies in and is not the identity, so with ; choosing with and replacing by , which still lies outside because its image in is nontrivial, gives , that is . Moreover , say .
In the first case the class-two identities give , so , all exponents read modulo because .
In the second case with odd, the -th power map is a homomorphism, so has ; also , and .
In the second case with , the element lies in , and the relation reads .
In put , and . Then , and , so , which generates ; for odd every element of has -th power the identity, so steps 3.1 and 4.1 hold verbatim in with in place of .
In the second case with odd, is normal because conjugates it into itself and normalises it, is trivial because and has prime order, and , so is an internal semidirect product whose conjugation action sends to ; hence .
In the second case with and : is normal of index two, is trivial, and acts on by inversion, so is the internal semidirect product of a cyclic group of order four by a cyclic group of order two acting by inversion, that is .
In the second case with and : the eight elements with and are distinct and exhaust , and the relations , and determine every product of two of them. The quaternion group satisfies the same three relations with for and for , since , and , and , so its eight elements have the same normal form; matching normal forms is therefore an isomorphism and .
In the first case, matching normal forms gives a bijection carrying to , and both products are computed by the same rule, so it is an isomorphism and .
The two cases are exhaustive, and within the second the two parities are exhaustive; so for odd every nonabelian group of order is isomorphic to or to , and for to or to . With the two non-isomorphy statements this gives exactly two isomorphism classes at every prime.
Remarks
The parity of enters twice and in opposite directions. It rules out the exponent- case at , where it forces commutativity; and it is what allows the correction of the second generator in the exponent- case, since that correction is made with the -th power homomorphism, which is available only for odd . At the correction is not available and the two possible values of produce the two groups of order eight.
Depends on
- For an odd prime $p$, the $p$-th power map is a homomorphism on a finite group whose derived subgroup is central of exponent dividing $p$
- The Heisenberg group of order $p^3$ over $\mathbb Z/p$
- The Heisenberg group of order $p^3$ is extraspecial, and for odd $p$ it has exponent $p$
- The Heisenberg multiplication is a group law, nonabelian, on a set of $p^3$ elements
- The modular group of order $p^3$ as a semidirect product $C_{p^2}\rtimes C_p$
- The modular group of order $p^3$ is extraspecial, of exponent $p^2$ when $p$ is odd
- $\operatorname{Dih}(C_4)$ and $Q_8$ are extraspecial of order $8$, with six and two solutions of $x^2=1$ respectively
- A nonabelian group of order $p^3$ is extraspecial
- Three equivalent descriptions of an extraspecial $p$-group
- Two elements of an extraspecial $p$-group with nontrivial commutator generate an extraspecial subgroup of order $p^3$
- Commutator identities in a group whose derived subgroup is central
- $\Phi(P)=P'P^p$ for a finite $p$-group
- The $p$th-power subgroup $G^p$
- The exponent of a finite group
- Recognition theorem: $G=NH$ with $N\trianglelefteq G$, $N\cap H=1$ exactly realises an external semidirect product
- Every cyclic group is isomorphic to $(\mathbb Z,+)$ or to $(\mathbb Z/n,+)$ for its finite order $n\ge1$
- Lagrange's theorem: $|G|=[G:H]|H|$ for every subgroup $H$ of a finite group $G$
- Exponent laws in a group: $g^{m+n} = g^{m}g^{n}$ and $(g^{m})^{n} = g^{mn}$ for all $m, n \in \mathbb{Z}$, and $(gh)^{n} = g^{n}h^{n}$ **when $g$ and $h$ commute**
- The quaternion group $Q_8=\{\pm1,\pm i,\pm j,\pm k\}$ inside the nonzero quaternions
- The quaternions $\mathbb{H}$: real quadruples with componentwise addition and an explicit multiplication formula matching the table on $1, i, j, k$
- $Q_8$ is a subgroup of $\mathbb{H}^{\times}$ with eight elements, and $-1$ is its only element of order $2$
- $\operatorname{Dih}(C_n)=C_n\rtimes C_2$ with inversion action has order $2n$ and the dihedral relations
- The subgroup $\langle S \rangle$ generated by a subset, the cyclic subgroup $\langle g \rangle$, and cyclic groups
- The order $|G|$ of a finite group and the order $\operatorname{ord}(g)$ of an element, with $\operatorname{ord}(g) = \infty$ when no positive power of $g$ is the identity
- The center $Z(G)$ of a group
- Commutators $[g,h]=ghg^{-1}h^{-1}$ and the commutator subgroup $[G,G]$
- The quotient group $G/N$ and coset product $(gN)(hN)=ghN$
Used by
- An extraspecial group of odd order has exponent p or p², and an extraspecial 2-group has exponent 4 Corollary
- At p=2 the Heisenberg construction produces Dih(C₄), not a group of exponent 2 Example
- For odd p, a central product of two modular groups of order p³ is a central product of a modular group with a Heisenberg group Lemma
- For each n≥1 there are exactly two extraspecial groups of order 2¹⁺²ⁿ Theorem
- For odd p and each n≥1 there are exactly two extraspecial groups of order p¹⁺²ⁿ, distinguished by their exponent Theorem
Dependency tree · two levels
111 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- D. A. Craven, The Theory of p-Groups, Lemma 3.4 (standard reference, not scraped)
- M. van Beek, Topics in Finite p-Groups, Exercise 2.33 (standard reference, not scraped)