Finite fields: algebra you can compute with
Not every field is infinite. Take the integers mod a prime p: the set {0, 1, …, p−1} with arithmetic done modulo p is a finite field, written F_p. Every nonzero element has a multiplicative inverse precisely because p is prime — the same reason cancellation works in modular arithmetic.
F_5 = {0,1,2,3,4} with arithmetic mod 5.
Multiplicative inverses (solve a·x ≡ 1 mod 5):
1·1 = 1 ≡ 1 → 1⁻¹ = 1
2·3 = 6 ≡ 1 → 2⁻¹ = 3
3·2 = 6 ≡ 1 → 3⁻¹ = 2
4·4 = 16 ≡ 1 → 4⁻¹ = 4
Every nonzero element is invertible ⇒ F_5 is a field.
Fun fact: 2 is a generator — 2,4,3,1 cycles through all nonzero elements.Galois pushed further. For each prime power q = pⁿ there is exactly one finite field with q elements, built as a finite field extension of F_p — these are the Galois fields GF(q). Beautifully, their multiplicative group is always cyclic: one primitive element generates every nonzero element by taking powers, just as 2 did in F_5.
The algebraic closure: nowhere left to climb
Keep adjoining roots of polynomials and you eventually reach a field where every non-constant polynomial already splits — there are no more roots to add. That terminal field is the algebraic closure of F. For the rationals it is the field of all algebraic numbers; for the reals it is the complex numbers.
That last fact is exactly the fundamental theorem of algebra: C is algebraically closed, so a degree-n polynomial has exactly n complex roots counted with multiplicity. The complex numbers are where every algebraic equation finally finds its full set of solutions.
Where modern algebra goes next
Galois theory closes the classical story, but it opens doors. Drop the requirement that you can always divide and you get a ring; the special sub-objects called ideals generalize “multiples of n” and underpin all of number theory. Generalize a vector space by letting scalars come from a ring instead of a field and you get a module — the central object of modern algebra.
From here the trails climb in every direction: representation theory turns groups into matrices, algebraic geometry studies the shapes carved out by polynomial ideals, and algebraic number theory uses Galois groups to attack equations like Fermat's Last Theorem. The single idea you have followed — replace a hard object by its symmetry group — became one of the organizing principles of all of mathematics.