Algebraic number theory studies integers after they are enlarged into richer arithmetic worlds. Instead of working only in Z and Q, it studies number fields, algebraic integers, ideals, valuations, units and local completions to understand how divisibility and prime factorisation behave after algebraic extensions.
The subject begins with a simple provocation: if a polynomial such as x²−2 has no rational root, what happens when √2 is admitted into the number system? The answer is not merely “more numbers”. Entire arithmetic structures change. New primes appear, old primes split or ramify, and unique factorisation of elements can fail even when ideal factorisation survives.
Series route: Mathematics Learning Hub → How Mathematics Works → Algebraic Number Theory. Useful foundations include Number Theory, Abstract Algebra, Commutative Algebra and Galois Theory when that route is available.
1. Number fields enlarge the rationals finitely
A number field K is a finite extension of Q.
Typical examples include Q(√d) and fields obtained by adjoining roots of irreducible polynomials.
2. Algebraic numbers satisfy polynomial equations
A complex number α is algebraic over Q if it satisfies a nonzero polynomial with rational coefficients.
Every element of a number field is algebraic over Q.
3. Minimal polynomials capture the essential relation
An algebraic number α has a unique monic irreducible polynomial over Q that vanishes at α.
The degree of this polynomial equals [Q(α):Q].
4. Algebraic integers generalise ordinary integers
An algebraic number is an algebraic integer if it satisfies a monic polynomial with coefficients in Z.
Ordinary integers satisfy x−n=0, so Z sits inside the algebraic integers.
5. Every number field has a ring of integers
The ring of integers O_K is the set of elements of K integral over Z.
It is the correct arithmetic analogue of Z inside K.
6. Z[√d] is not always the full ring of integers
In quadratic fields, the ring of integers can contain elements such as (1+√d)/2 depending on d modulo 4.
Guessing the integral basis from an obvious generator can therefore miss genuine algebraic integers.
7. Embeddings reveal all algebraic conjugates at once
An embedding of K into C fixing Q sends an algebraic element to one of its conjugates.
The real and complex embeddings of K control signatures, norms, traces and geometric representations of O_K.
8. Trace sums conjugates
The field trace Tr_{K/Q}(α) is the trace of the Q-linear map x↦αx.
For separable number fields, it equals the sum of conjugate embeddings of α.
9. Norm multiplies conjugates
The field norm N_{K/Q}(α) is the determinant of multiplication by α.
It multiplies across products: N(αβ)=N(α)N(β), making it a powerful bridge between extension arithmetic and rational arithmetic.
10. Norm equations encode Diophantine problems
Equations such as x²−dy²=m can be interpreted as norm equations in quadratic fields.
Pell-type equations are therefore not isolated tricks; they are shadows of multiplicative arithmetic in number fields.
11. Unique factorisation of elements can fail
In some rings of integers, one element can factor into irreducibles in genuinely different ways.
This failure forced number theory to replace element factorisation with ideal factorisation.
12. Ideals restore unique prime factorisation
Rings of integers of number fields are Dedekind domains.
Every nonzero proper ideal factors uniquely into prime ideals.
The arithmetic survives, but at a more structural level.
13. Rational primes can split
A prime number p generates an ideal (p) in O_K. That ideal may remain prime, split into several prime ideals or ramify with repeated prime factors.
The same rational prime therefore has different arithmetic behaviour in different number fields.
14. Splitting reflects polynomial factorisation modulo p
Under suitable hypotheses, how a defining polynomial factors modulo p predicts how the ideal (p) factors in the ring of integers.
Finite-field factorisation becomes a window into global number-field arithmetic.
15. Ramification marks exceptional prime behaviour
A prime ramifies when a prime ideal appears with exponent greater than one in the factorisation of (p).
Only finitely many rational primes ramify in a number field, and they divide the field discriminant.
16. The discriminant measures arithmetic entanglement
The discriminant of an integral basis is built from traces and measures how the basis embeddings interact.
It detects ramification and controls the covolume of the ring of integers inside its Minkowski embedding.
17. The different refines ramification algebraically
The different ideal records where trace duality fails to be integral and encodes ramification more precisely.
Its norm is related to the discriminant.
18. Fractional ideals create a multiplicative group
A fractional ideal allows denominators from K while remaining finitely generated over O_K.
Nonzero fractional ideals form an abelian group under multiplication.
19. Principal ideals measure element-generated arithmetic
A principal fractional ideal has the form (α)=αO_K.
Comparing all fractional ideals with principal ones measures how far the ring is from principal ideal arithmetic.
20. The ideal class group measures failure of unique element factorisation
The class group Cl(K) is the quotient of nonzero fractional ideals by principal fractional ideals.
If the class group is trivial, every ideal is principal and the ring of integers is a principal ideal domain.
21. The class number is finite
A central theorem states that the ideal class group of a number field is finite.
This finiteness makes failure of principal factorisation measurable rather than uncontrolled.
22. Minkowski geometry proves arithmetic finiteness
Embed O_K into a real vector space using all real and complex embeddings.
The image is a lattice. Convex-body arguments then guarantee lattice points and yield bounds on ideal classes.
Geometry proves number-theoretic finiteness.
23. Units are invertible algebraic integers
A unit u∈O_K has an inverse also in O_K.
Its norm to Q is ±1 in the usual number-field setting.
24. Dirichlet’s unit theorem gives the structure of units
If K has r₁ real embeddings and r₂ pairs of complex embeddings, its unit group is a finite roots-of-unity group times a free abelian group of rank r₁+r₂−1.
An apparently infinite multiplicative group therefore has a precise finite-rank architecture.
25. Valuations measure arithmetic size locally
For each prime ideal p, the exponent v_p(α) records how strongly p divides the principal ideal generated by α.
Valuations convert factorisation into additive data.
26. Completions create local fields
Completing a number field with respect to a non-Archimedean valuation produces a local field such as Q_p or a finite extension of it.
This isolates arithmetic near one prime and replaces a global field with a locally complete one.
27. p-adic distance reverses ordinary intuition
Two rational numbers are p-adically close when their difference is divisible by a large power of p.
Arithmetic divisibility becomes geometry.
28. Hensel’s lemma lifts solutions
Under a nondegeneracy condition, a solution of a polynomial congruence modulo p can be lifted to solutions modulo higher powers and ultimately to a p-adic root.
It is a p-adic analogue of Newton-style correction.
29. Local-global questions ask whether local solvability is enough
A Diophantine equation may be tested over the real numbers and every p-adic field.
For some classes of equations, local solvability implies global rational solvability. For others, local solutions exist everywhere while no global rational solution exists.
30. Algebraic number theory meets analytic number theory
Dedekind zeta functions encode prime-ideal factorisation analytically.
L-functions and analytic continuation then connect algebraic extensions to prime distribution and deep conjectures.
Continue through Analytic Number Theory.
31. Algebraic number theory meets representation theory
Galois representations encode arithmetic symmetries as linear actions.
Modern programmes such as Langlands connect number fields, automorphic forms and representations across local and global settings.
32. A worked mechanism: norms in Q(√2)
Take α=a+b√2. Its conjugate is a−b√2.
- N(α)=(a+b√2)(a−b√2).
- Thus N(α)=a²−2b².
- If α is a unit in the ring of integers, its norm must be ±1.
- The equation a²−2b²=±1 therefore connects units to Pell-type Diophantine equations.
33. A worked mechanism: why ideals matter
Suppose element factorisation is not unique in a ring of integers.
- Replace each element by the principal ideal it generates.
- Factor the principal ideal into prime ideals.
- Dedekind-domain theory guarantees this prime-ideal factorisation is unique.
- The class group records why those prime ideals cannot all be generated by single elements.
The failure has been moved from factorisation itself into a finite obstruction group.
34. Common algebraic-number-theory failure modes
- Obvious-ring assumption: assuming Z[α] is always the full ring of integers.
- Element-only factorisation: ignoring ideals when element unique factorisation fails.
- Prime permanence: assuming a rational prime stays prime in every extension.
- Norm sign blindness: treating field norm as ordinary absolute magnitude.
- Local=global overreach: assuming local solutions always glue to a rational solution.
- Archimedean reflex: importing real-number distance intuition into p-adic fields.
- Class-group abstraction without meaning: manipulating ideal classes without connecting them to principal-factorisation failure.
35. Algebraic number theory as a mathematical machine
Q → Number Field → Ring of Integers → Ideals/Prime Splitting → Norm/Trace/Discriminant → Class Group/Units → Local Completions → Global Arithmetic and L-functions.
36. What mastery looks like
- construct and interpret number fields and rings of integers;
- use embeddings, traces and norms;
- factor ideals and interpret splitting and ramification;
- understand discriminants and integral bases;
- use the class group as an obstruction to principal ideal arithmetic;
- interpret units through Dirichlet’s unit theorem;
- move between global fields and local completions;
- recognise how algebraic and analytic number theory reinforce one another.
37. Further reading
- MIT 18.785 Number Theory I — syllabus and algebraic number theory topics
- The Stacks Project — Fields, Commutative Algebra and related foundations
38. Conclusion
Algebraic number theory works by extending arithmetic into finite algebraic fields without losing control of divisibility. Rings of integers replace Z. Prime ideals replace prime elements when necessary. Norms and traces compress extension data. Class groups measure factorisation failure. Units form finite-rank structures. Local fields isolate one prime at a time.
Number theory begins with integers. Algebraic number theory asks what arithmetic becomes when the integers are allowed to live inside larger algebraic worlds—and discovers that prime structure survives in a deeper form.
How Mathematics Works | Batch 14
- How Mathematics Works | Commutative Algebra
- Algebraic Number Theory — this article
- How Mathematics Works | Analytic Number Theory
- How Mathematics Works | Homological Algebra
Return to the Mathematics Learning Hub or the How Mathematics Works root.