The study of arithmetic properties of number fields and their rings of integers, including factorization, ideal class groups, unit groups, ramification, discriminants, and Galois-module structure.

Principle

Translate arithmetic questions about integers and rational numbers into structural problems about finite extensions of Q (or other global fields), then analyze ideal-theoretic, module-theoretic and field-theoretic invariants to classify and measure arithmetic phenomena.

Demonstration

Study of the ring of integers O_K in a number field K: compute its class group to measure failure of unique factorization, determine units via Dirichlet's unit theorem, and analyze how primes split or ramify in extensions to understand local-global behaviour.

Misapplication

Assuming every subring of finite index is the full ring of integers and applying unique factorization arguments without checking integrality, leading to invalid conclusions about factorization or class groups.

Consequence

Correct application yields explicit descriptions of arithmetic invariants, explanations of phenomena such as nonunique factorization, control over ramification in extensions, and inputs to class field theory and arithmetic geometry.

Reversal

Ignoring algebraic number theory reduces one to elementary arithmetic with integers alone, losing insight into how extension fields and ideal-theoretic structures govern solvability and distribution of arithmetic objects.

Boundary

Algebraic number theory focuses on algebraic extensions of global and local fields and their integral structures; it does not primarily treat analytic distributional results or transcendental methods except where they interplay with algebraic invariants.

Semantic Tension

There is tension between algebraic structural viewpoints and analytic approaches: algebraic number theory studies invariants of fields and rings, while analytic number theory studies distributional phenomena using analysis — both address similar problems from different angles.

Synthesis

Algebraic number theory decodes arithmetic by studying fields, rings of integers, ideals and modules, yielding invariants that explain factorization, ramification and the arithmetic architecture underlying Diophantine questions.