Algebra · Concept hubDeep story

Group Theory

1832 CE18th–19th-century Europe (Lagrange, Galois, Cayley, Klein, Lie, and others)

How can we calculate what remains while a shape changes?

Where two intuitions collide

Composing transformations instead of classifying objects directly brought equations, crystals, and particle symmetries into one structure.

This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.

Understand it in one breath

The language mathematics uses for symmetry. Cube rotations, Rubik's Cube moves, and clock addition form groups: the operation is closed and associative, and the structure has an identity and inverses. In the early 19th century, Galois used group structure to explain why the general quintic cannot be solved by radicals.

At a glance

+

0

1

2

3

0

0

1

2

3

1

1

2

3

0

2

2

3

0

1

3

3

0

1

2

The Cayley table of ℤ/4ℤ — clock arithmetic (mod 4). Every element appears exactly once in each row and column, a defining group property. Here 0 is the identity; 1 and 3 are inverses, while 2 is its own inverse.

Concept

The mathematics of symmetry — studying what remains unchanged under transformations, from polynomial solvability to crystal structure and particle classification.

Key formula

G,:  (ab)c=a(bc),  e,  a1\langle G,\,\cdot\,\rangle:\; (a \cdot b) \cdot c = a \cdot (b \cdot c),\; \exists e,\; \exists a^{-1}

Ports in time

This concept was not invented in one instant

Follow the scenes to see problems, notation, standards of proof, and applications changing across different times and places.

1
AD 1824Scene 1 / 4Continue through the world of this year

Abel — the general quintic is unsolvable by radicals

Niels Henrik Abel proved that no universal formula using arithmetic operations and radicals solves the general quintic. Particular quintics, numerical roots, and richer functional expressions remain possible.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
2
AD 1832Scene 2 / 4Paris

Galois — equations and symmetry groups

By age 20, Galois had connected permutations of roots with solvability by radicals. His testamentary letter before the duel summarized work already under way.

The recorded place matches a canonical map anchor

Continue this scene on the map
3
AD 1872Scene 3 / 4Continue through the world of this year

Klein’s Erlangen program

Klein proposed comparing Euclidean, affine, projective, and other geometries through properties invariant under their transformation groups. It organized later research rather than instantly completing every geometry.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
4
AD 1961Scene 4 / 4Continue through the world of this year

Gell-Mann — SU(3) symmetry classifies particles

Murray Gell-Mann proposed the Eightfold Way, while Yuval Ne’eman independently developed a related classification. Approximate SU(3) flavor symmetry organized hadrons into multiplets and exposed predictive gaps.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year

Modern applications

Particle classification in physics, crystallography, elliptic-curve cryptography, and even solving the Rubik’s Cube — group theory appears wherever symmetry does.

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.

No concept belongs to one person

Follow people who played different roles

These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.

Number lenses

A concept looks different when its world of numbers changes

These numbers are editorial lenses for the voyage, not required prerequisites.

Concept genealogy

What supports it, and what does it open?

Concepts arriving from before

Current port

Group Theory

Only direct editorial links are shown; this is not a complete learning order or historical influence line.