Key Concepts in Essential Number Fields

Why This Matters

Number fields aren't just abstract algebraic constructions—they're the essential toolkit for understanding how polynomial equations behave, how primes distribute across different number systems, and how local information can reveal global truths. In arithmetic geometry, you're constantly moving between these fields: from the familiar rationals to exotic p-adic completions, from quadratic extensions to cyclotomic towers. Every major theorem you'll encounter—from class field theory to the local-global principle—depends on fluency with these structures.

You're being tested on your ability to recognize why each field exists, what problems it solves, and how fields relate to each other. The key concepts include ring of integers, unique factorization, completions, and the local-global correspondence. Don't just memorize definitions—know what each field brings to the table that simpler structures can't provide.

---

The Foundation: Rational Numbers and Their Extensions

Every number field begins with $\mathbb{Q}$ and extends it by adjoining algebraic elements. The degree and structure of these extensions determine their arithmetic properties.

Rational Numbers ($\mathbb{Q}$)

• The unique prime field of characteristic zero—every number field contains $\mathbb{Q}$ as its smallest subfield
• Closed under all field operations but lacks solutions to most polynomial equations (no $\sqrt{2}$, no $i$)
• Dense in $\mathbb{R}$ yet countable, making it the natural starting point for constructing richer arithmetic structures

Algebraic Number Fields

• Finite extensions of $\mathbb{Q}$—formed by adjoining roots of irreducible polynomials with rational coefficients
• Degree $[K:\mathbb{Q}]$ measures the extension's complexity and determines the dimension of $K$ as a $\mathbb{Q}$-vector space
• Ring of integers $\mathcal{O}_K$ generalizes $\mathbb{Z}$ and governs factorization behavior throughout the field

---

Explicit Extensions: Quadratic and Cyclotomic Fields

These are the workhorses of explicit class field theory. Their concrete generators make them ideal for computation and for understanding general phenomena.

Quadratic Fields

• Generated by $\sqrt{d}$ for square-free $d$—written as $\mathbb{Q}(\sqrt{d})$ with degree 2 over $\mathbb{Q}$
• Real vs. imaginary distinction: $d > 0$ gives two real embeddings; $d < 0$ gives one complex conjugate pair
• Class number measures failure of unique factorization in $\mathcal{O}_K$, with $d = -163$ famously giving class number 1

Cyclotomic Fields

• Generated by primitive $n$-th roots of unity—written as $\mathbb{Q}(\zeta_n)$ where $\zeta_n = e^{2\pi i/n}$
• Degree equals $\varphi(n)$ (Euler's totient function), with Galois group isomorphic to $(\mathbb{Z}/n\mathbb{Z})^\times$
• Kronecker-Weber theorem states every abelian extension of $\mathbb{Q}$ lies inside some cyclotomic field

---

Rings of Algebraic Integers: Gaussian and Eisenstein

These rings demonstrate how unique factorization can extend beyond $\mathbb{Z}$. The geometry of their unit groups and prime elements reveals deep connections to classical problems.

Gaussian Integers

• The ring $\mathbb{Z}[i] = \{a + bi : a, b \in \mathbb{Z}\}$—the integers of $\mathbb{Q}(i)$, a UFD with norm $N(a+bi) = a^2 + b^2$
• Primes split, remain inert, or ramify based on residue mod 4: primes $p \equiv 1 \pmod{4}$ split as $p = \pi \bar{\pi}$
• Fermat's two-square theorem follows directly: $p = a^2 + b^2$ iff $p = 2$ or $p \equiv 1 \pmod{4}$

Eisenstein Integers

• The ring $\mathbb{Z}[\omega]$ where $\omega = e^{2\pi i/3}$—integers of $\mathbb{Q}(\sqrt{-3})$, also a UFD
• Norm form $N(a + b\omega) = a^2 - ab + b^2$ governs divisibility and prime factorization
• Cubic reciprocity finds its natural home here, just as quadratic reciprocity lives in $\mathbb{Z}[i]$

---

Local Perspective: p-adic Numbers and Local Fields

Completions with respect to non-archimedean valuations reveal arithmetic information invisible over $\mathbb{R}$. The ultrametric topology makes every triangle isoceles and every series easier to sum.

p-adic Numbers

• Completion of $\mathbb{Q}$ with respect to the $p$-adic absolute value—written $\mathbb{Q}_p$, where $|p|_p = 1/p$
• Ultrametric inequality $|x + y|_p \leq \max(|x|_p, |y|_p)$ makes convergence radically different from real analysis
• Hensel's lemma lifts approximate solutions mod $p$ to exact solutions in $\mathbb{Z}_p$, the key local-to-global tool

Local Fields

• Complete fields with discrete valuation and finite residue field—includes $\mathbb{Q}_p$ and finite extensions thereof
• Structure theorem: every local field is either a finite extension of $\mathbb{Q}_p$ or of $\mathbb{F}_p((t))$
• Local class field theory completely describes abelian extensions via the reciprocity map from $K^\times$

---

The Global-Local Framework: Function Fields and Global Fields

The analogy between number fields and function fields unifies arithmetic and geometry. What works over $\mathbb{Z}$ often has a parallel over $\mathbb{F}_q[t]$, sometimes easier to prove.

Function Fields

• Finite extensions of $\mathbb{F}_q(t)$—rational functions over a finite field, analogous to number fields over $\mathbb{Q}$
• Correspond to algebraic curves over $\mathbb{F}_q$ via the function field/curve dictionary
• Riemann-Roch theorem governs divisors and provides explicit dimension formulas unavailable in the number field case

Global Fields

• Either number fields or function fields of curves over finite fields—the two families where arithmetic geometry fully applies
• Product formula $\prod_v |x|_v = 1$ holds for all nonzero elements, unifying all places (finite and infinite)
• Adèles and idèles package all local completions simultaneously, enabling global class field theory

---

Quick Reference Table

---

Self-Check Questions

1. Which two rings among Gaussian integers, Eisenstein integers, and $\mathbb{Z}[\sqrt{-5}]$ are UFDs, and what distinguishes the third?

2. Explain how the Kronecker-Weber theorem connects cyclotomic fields to the broader classification of abelian extensions of $\mathbb{Q}$.

3. Compare and contrast $\mathbb{Q}_p$ and $\mathbb{R}$ as completions of $\mathbb{Q}$: what topological and algebraic properties differ?

4. If an FRQ asks you to verify whether a polynomial has a solution in $\mathbb{Z}_p$, which lemma would you apply and what are its hypotheses?

5. Why do function fields over finite fields serve as a "testing ground" for conjectures about number fields? Give one example where a result was proved for function fields first.