§1

What is a group?

When we say the Rubik's Cube "is a group," it is not a metaphor. A group in modern algebra is a precise mathematical object defined by four axioms. The set of all cube moves, with the operation "do a then do b," satisfies all four exactly.

Closure

∀ a, b ∈ G : a · b ∈ G

The composition of two cube moves is again a cube move. R followed by U is still a legal cube operation.

Associativity

(a · b) · c = a · (b · c)

Doing R U then F equals doing R then U F. Composing physical moves is associative — bracketing has no semantic effect.

Identity

∃ e ∈ G : e · a = a · e = a

Doing nothing is the identity element

e

. The empty alg. Composing it with any move

a

gives back

a

Inverse

∀ a : ∃ a⁻¹ : a · a⁻¹ = e

Every move can be undone. The inverse of R is R′. The inverse of R U R′ U′ is U R U′ R′ — reverse the sequence and invert each move.

Definition 1.1

A group is a set

G

equipped with a binary operation

\cdot : G \times G \to G

satisfying the four axioms above. If additionally

a \cdot b = b \cdot a

(the commutative law) holds, we call it an Abelian group.

The cube group is not Abelian: R then U gives a different state from U then R. Half of cube theory is, in essence, measuring exactly how far from commutative things are — that is the role of commutators (§9).

1.1 Other common groups

Groups are ubiquitous. Listing them — integers, matrices, symmetries, permutations, complex roots, geometric transformations — almost every natural structure with "inverses" forms a group:

Group

Op.

Order

Abel.

(ℤ, +)

integer addition — the prototypical infinite Abelian group

∞

yes

(ℤ/n, +)

addition mod n — the cyclic group of order n

yes

(ℝ \ {0}, ×)

nonzero reals under multiplication

∞

yes

Sₙ

∘

symmetric group — all permutations of n. Non-Abelian when n ≥ 3

D₂ₙ

∘

dihedral group — symmetries of a regular n-gon

GL(n, ℝ)

invertible n×n real matrices under multiplication

∞

(rotations of cube, ∘)

∘

cube rotations (centres fixed) — isomorphic to S₄

G (Rubik's cube)

∘

the subject of this essay

4.3 × 10¹⁹

Notice $∣ G ∣ = 4.3 \times 1 0^{19}$ sits between "physically observable" (humanity's population) and "physically unimaginable" (atoms in the universe). That scale is exactly why the cube is such a compelling concrete example.

1.2 Abelian vs non-Abelian

Definition 1.2

A group

G

is Abelian if its operation commutes:

ab = ba

for all

a, b \in G

. Otherwise it is non-Abelian.

"Abelian" honours the Norwegian mathematician Niels Henrik Abel (1802–1829), who in his early twenties proved that the general quintic equation has no radical solution — a result that relied on the structure of Abelian groups.

That the cube group is non-Abelian permeates every aspect of solving. Every advanced technique is either "side-stepping non-commutativity" (conjugation) or "exploiting it" (commutators). If the cube were Abelian, it would be six independent dials, solvable in seconds — and there would be no sport.

"The central idea of group theory is symmetry. A group is the set of symmetries of an object — and symmetry is one of the most general concepts in mathematics."

— a common opening of any abstract-algebra textbook

1.3 Axioms in one row each

Axiom	Formula	Cube meaning
G1 closure	$a, b \in G \Rightarrow ab \in G$	composition of moves is a move
G2 associativity	$(ab) c = a (b c)$	bracketing irrelevant, sequence is what matters
G3 identity	$\exists e : e a = a e = a$	doing nothing is the empty alg
G4 inverse	$\forall a \exists a^{- 1} : a a^{- 1} = e$	every alg can be undone

1.4 Non-cube groups, briefly

Group	Order	Abelian	Cube analogy
$(Z, +)$	∞	yes	an infinite analogue of "U turns piling up"
$Z / n$	n	yes	$⟨ U ⟩ ≅ Z /4$
$S_{n}$	n!	no (n≥3)	corners → S₈, edges → S₁₂
$A_{n}$	n!/2	no (n≥4)	[G,G] projects onto A₈ × A₁₂
$G L_{n} (R)$	∞	no	face turns sit inside GL₄₈(ℤ)
$Q_{8}$	8	no	quaternion group — smallest non-Abelian non-dihedral example
$F_{2} = ⟨ a, b ⟩$	∞	no	rank-2 free group — ⟨R, U⟩ behaves like F₂ until depth ~20

1.5 Groups as objects in a category

The modern view: gather all groups into a category $Grp$ . Objects are groups, morphisms are group homomorphisms. A subgroup (§2.3) is a monomorphism $H ↪ G$ , a quotient (§7) is an epimorphism $G ↠ G / N$ , and a normal subgroup is precisely a subgroup admitting a quotient. The First Isomorphism Theorem becomes the diagram $G ↠ G / ker φ \sim im φ ↪ H .$

This matches the architecture of a cube solver: each phase $G_{i} \to G_{i + 1}$ is a single arrow in $Grp$ , and the Thistlethwaite chain is the composite $G_{0} \to G_{1} \to G_{2} \to G_{3} \to {e}$ .

∎

cuberoot.me · Rubik's Cube as a Group · 2026