Group Theory Introduction

⚡ Key Takeaways

A group is a set equipped with an associative binary operation that has an identity element and inverses for every element. Group theory studies symmetry abstractly: it captures the essential structure shared by integer addition, matrix multiplication, geometric rotations, and permutations. It applies anywhere symmetry, transformation, or reversible composition appears — from crystallography to quantum mechanics to error-correcting codes. Founded in the early 19th century by Évariste Galois and others to solve polynomial equations.

💡 The Core Insight

A group abstracts the notion of reversible, composable transformations. Forget what the objects are — numbers, rotations, shuffles — and keep only how they combine. Any system where you can (1) combine two operations into a third, (2) undo any operation, and (3) "do nothing," forms a group. This stripping-away reveals that wildly different-looking systems are secretly the same, and that the symmetries of an object form an algebraic structure you can compute with.

DefinitionGroup

A group is an ordered pair $(G, \ast)$ where $G$ is a set and $\ast$ is a binary operation $\ast : G \times G \to G$ satisfying:

(G1) Closure. For all $a, b \in G$ , $a \ast b \in G$ .

(G2) Associativity. For all $a,b,c \in G$ :

1

\quad (a \ast b) \ast c = a \ast (b \ast c)

Derivation hint: This is an axiom, not derived — it permits unambiguous writing of $a \ast b \ast c$ without parentheses.

(G3) Identity. There exists $e \in G$ such that for all $a \in G$ :

2

\quad e \ast a = a \ast e = a

Derivation hint: $e$ is "do nothing"; uniqueness is proved below, not assumed.

(G4) Inverses. For each $a \in G$ there exists $a^{-1} \in G$ such that:

3

\quad a \ast a^{-1} = a^{-1} \ast a = e

Derivation hint: Every transformation can be undone; uniqueness of $a^{-1}$ is also a theorem. Symbols: $G$ is the underlying set (its size $|G|$ is the order of the group); $\ast$ is the group operation; $e$ is the identity; $a^{-1}$ is the inverse of $a$ . When $\ast$ is understood we write $ab$ for $a \ast b$ and call $G$ "the group."

DefinitionAbelian Group

A group $(G,\ast)$ is abelian (or commutative) if additionally

4

\quad a \ast b = b \ast a \quad \text{for all } a,b \in G.

Derivation hint: Commutativity is an extra condition; most groups are NOT abelian (e.g. matrix groups, permutation groups).

TheoremBasic Consequences of the Axioms

In any group $(G, \ast)$ : 1. The identity $e$ is unique. 2. Each element's inverse is unique. 3. Cancellation holds: $ab = ac \implies b = c$ , and $ba = ca \implies b = c$ . 4. $(a^{-1})^{-1} = a$ and $(ab)^{-1} = b^{-1}a^{-1}$ (note the order reversal). 5. For each $a, b \in G$ , the equations $ax = b$ and $ya = b$ have unique solutions $x = a^{-1}b$ , $y = ba^{-1}$ .

Proofof Theorem: uniqueness, cancellation, socks-shoes

Uniqueness of identity (1). Suppose $e$ and $e'$ both satisfy (G3). Then treating $e'$ as identity, $e \ast e' = e$ ; treating $e$ as identity, $e \ast e' = e'$ . Hence $e = e \ast e' = e'$ .

Uniqueness of inverse (2). Suppose $b$ and $c$ are both inverses of $a$ . Then

5

\quad b = b \ast e = b \ast (a \ast c) = (b \ast a) \ast c = e \ast c = c.

Derivation hint: insert $e = a\ast c$ , reassociate using (G2), then collapse $b\ast a = e$ .

Cancellation (3). From $ab = ac$ , left-multiply by $a^{-1}$ :

6

\quad a^{-1}(ab) = a^{-1}(ac) \;\Rightarrow\; (a^{-1}a)b = (a^{-1}a)c \;\Rightarrow\; eb = ec \;\Rightarrow\; b = c.

Derivation hint: apply (G4) to create $e$ , (G2) to reassociate, (G3) to drop $e$ .

Socks-shoes (4). Compute $(ab)(b^{-1}a^{-1}) = a(bb^{-1})a^{-1} = a e a^{-1} = a a^{-1} = e$ , and similarly on the other side. By uniqueness of inverse, $(ab)^{-1} = b^{-1}a^{-1}$ .

Solvability (5). $x = a^{-1}b$ satisfies $ax = a(a^{-1}b) = (aa^{-1})b = b$ . Uniqueness follows from cancellation. $\blacksquare$

∎

mathematician · Évariste Galois | 1811–1832

A French prodigy who, before dying in a duel at age 20, transformed the theory of equations. Galois introduced the concept that the symmetries of the roots of a polynomial form a group (now the Galois group), and that whether the polynomial is solvable by radicals depends on a structural property of that group (solvability in the group-theoretic sense). His night-before-the-duel manuscript laid foundations of modern abstract algebra. Though the word "group" (groupe) is his, the formal axioms crystallized only decades later through Cayley, Dyck, and Weber.

🧠 Intuition

Think of a group as the complete list of ways to transform an object while preserving its essential structure, together with the rule for doing two transformations in a row. Take an equilateral triangle. Rotate it by $120°$ — it looks identical. Reflect it across a vertical axis — identical again. The set of all such symmetry operations (3 rotations, 3 reflections, 6 total) forms a group called $D_3$ . The operation is "do one, then the other." The identity is "leave it alone." Every move can be undone. Associativity is automatic because composing functions is associative. The genius of abstraction is that this same group $D_3$ also describes the permutations of 3 objects, and a certain group of $2\times 2$ matrices. They are isomorphic — structurally identical. Group theory lets you prove a fact once and apply it everywhere the structure appears.

Figure

Symmetries of the equilateral triangle forming the dihedral group

D_3

```svg

```

ExampleThe integers mod 6 under addition

Given. $G = \mathbb{Z}_6 = \{0,1,2,3,4,5\}$ with operation $\ast =$ addition modulo $6$ .

Verify it's a group.

Closure: $a + b \bmod 6 \in \{0,\dots,5\}$ . ✓
Associativity: inherited from integer addition. ✓
Identity: $e = 0$ , since $a + 0 = a$ . ✓
Inverses: $a^{-1} = 6 - a$ for $a \neq 0$ (and $0^{-1}=0$ ). E.g. $4^{-1} = 2$ because $4 + 2 = 6 \equiv 0$ . ✓

Compute. Find the inverse of $5$ and verify $5 + (5^{-1}) = 0$ .

7

\quad 5^{-1} = 6 - 5 = 1, \qquad 5 + 1 = 6 \equiv 0 \pmod 6.

Derivation hint: additive inverse mod n is $n - a$ .

Order of element 2. Repeatedly add: $2, 4, 0$ — three steps to return to identity.

8

\quad \mathrm{ord}(2) = 3 \;\big(\text{since } 2+2+2 = 6 \equiv 0\big).

Derivation hint: order = smallest $k>0$ with $k\cdot a \equiv 0$ ; here $k = 6/\gcd(2,6) = 3$ .

Boxed answer. $\boxed{\mathbb{Z}_6 \text{ is an abelian group of order } 6;\ \ 5^{-1}=1,\ \mathrm{ord}(2)=3.}$

ExampleA non-abelian group:

2\times 2

invertible matrices

Given. $G = GL_2(\mathbb{R})$ = real $2\times 2$ matrices with nonzero determinant, under matrix multiplication. Take

A = \begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix},\qquad B = \begin{pmatrix} 1 & 0 \\ 1 & 1\end{pmatrix}.

Step 1 — Group axioms. Identity is $I = \begin{pmatrix}1&0\\0&1\end{pmatrix}$ ; inverses exist because $\det \neq 0$ ; associativity holds for matrix multiplication.

Step 2 — Show non-commutativity. Compute both products.

9

\quad AB = \begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}\!\begin{pmatrix} 1 & 0 \\ 1 & 1\end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 1\end{pmatrix}, \qquad BA = \begin{pmatrix} 1 & 0 \\ 1 & 1\end{pmatrix}\!\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 2\end{pmatrix}.

Derivation hint: row-times-column entrywise; note $AB \neq BA$ .

Step 3 — Inverse of $A$ . For an upper-triangular unipotent matrix, invert the off-diagonal sign:

10

\quad A^{-1} = \begin{pmatrix} 1 & -1 \\ 0 & 1\end{pmatrix}, \qquad A A^{-1} = I.

Derivation hint: use $\det A = 1$ and the formula $A^{-1} = \frac{1}{\det A}\begin{pmatrix} d & -b \\ -c & a\end{pmatrix}$ .

Boxed answer. $\boxed{GL_2(\mathbb{R}) \text{ is a non-abelian group; } AB \neq BA,\ A^{-1}=\begin{pmatrix}1&-1\\0&1\end{pmatrix}.}$

⚠️ Common mistake

Pitfalls when first learning groups: 1. "Groups must be commutative." False. Abelian groups are special; matrix and permutation groups generally are not. Always verify commutativity before assuming $ab = ba$ . 2. $(ab)^{-1} = a^{-1}b^{-1}$ . Wrong in non-abelian groups — the order reverses: $(ab)^{-1} = b^{-1}a^{-1}$ (socks-shoes principle). 3. "The operation must be addition or multiplication of numbers." The operation can be anything closed and associative: function composition, symmetric difference of sets, etc. 4. Confusing the identity with the number 1 or 0. The identity is whatever element acts as "do nothing" under the given operation; for $(\mathbb{Z},+)$ it is $0$ , for $(\mathbb{R}^\times,\cdot)$ it is $1$ . 5. Forgetting closure / total definition. $\mathbb{Z}$ under subtraction is not a group (subtraction is not associative). Always check all four axioms.

CounterexampleStructures that fail to be groups

$(\mathbb{N}, +)$ (naturals $0,1,2,\dots$ ): no inverses — there is no natural number $n$ with $3 + n = 0$ . Not a group (only a monoid).
$(\mathbb{Z}, \times)$ (integers under multiplication): identity is $1$ , but $2$ has no integer inverse ( $1/2 \notin \mathbb{Z}$ ). Not a group.
$(\mathbb{R}, \div)$ : division is not associative, e.g. $(8\div 4)\div 2 = 1$ but $8\div(4\div 2)=4$ . Not a group.
$3\times 3$ matrices under multiplication (all of them): singular matrices ( $\det = 0$ ) have no inverse. Not a group — you must restrict to $GL_3$ .

connection

Group theory sits at the hub of abstract algebra and connects outward:

Subgroups and Cosets partition a group and lead to Lagrange's Theorem ( $|H|$ divides $|G|$ ), the first deep structural result.
<a class="wiki-link" href="/wiki/math-algebra-group-homomorphisms">Group Homomorphisms</a> and Isomorphism Theorems formalize when two groups are "the same" or how one maps onto another via <a class="wiki-link" href="/wiki/math-algebra-normal-subgroups">Normal Subgroups</a> and <a class="wiki-link" href="/wiki/math-algebra-quotient-groups">Quotient Groups</a>.
Adding a second compatible operation gives Ring Theory and Field Theory; a group with a topology gives Lie Groups.
<a class="wiki-link" href="/wiki/math-algebra-group-actions">Group Actions</a> connect abstract groups back to concrete symmetry and to combinatorics via Burnside's Lemma.
In physics, Representation Theory realizes group elements as matrices, linking to <a class="wiki-link" href="/wiki/noethers-theorem">Noether's Theorem</a> (symmetry ⇒ conservation law).
The classification of Finite Simple Groups is the "periodic table" of group theory.

🔬 Where this appears

⏳ History

- 1770 — Lagrange studies permutations of roots of polynomials, implicitly using what becomes Lagrange's theorem.

- 1799 — Ruffini gives an (incomplete) argument that the general quintic is unsolvable by radicals, using permutation ideas.

- 1824 — Abel rigorously proves the quintic is not solvable by radicals (Abel–Ruffini theorem).

- 1830–32 — Galois introduces "groups" of permutations and the solvability criterion; his work is published posthumously in 1846 by Liouville.

- 1854 — Cayley gives the first abstract definition of a (finite) group via a multiplication table, in "On the theory of groups."

- 1872 — Klein's Erlangen Program reframes geometry as the study of invariants under transformation groups.

- 1882 — von Dyck presents groups by generators and relations; Weber (1882, 1895) gives the modern axioms close to today's.

- 1872–1880s — Sylow proves his theorems on subgroups of prime-power order, a cornerstone of finite group theory.

- 2004 — Completion of the Classification of Finite Simple Groups, a collaborative effort spanning ~10,000 journal pages and decades, including the discovery of the Monster group.

open-problem

Word problem. For groups given by generators and relations, deciding whether two words represent the same element is in general algorithmically undecidable (Novikov–Boone theorem, 1955–58). Group theory thus brushes the boundary of computability.
Classification beyond finite simple groups. While finite simple groups are classified, understanding all finite groups (built from simple ones via extensions) remains intractable; the "extension problem" is genuinely hard.
Infinite groups. Many natural questions about infinite groups (e.g. amenability, growth, the Burnside problem on whether a finitely generated torsion group can be infinite — answered yes by Golod–Shafarevich) reveal that infinite group theory is far wilder than the finite case.
Inverse Galois problem. Whether every finite group occurs as the Galois group of some extension of $\mathbb{Q}$ remains open in general — a direct descendant of Galois's original questions.

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also