Quadratic Field¶

A quadratic field is a degree-two extension of the rational field, equivalently a uniquely determined field Q(sqrt(d)) for a squarefree integer d other than 1, with d positive in the real case and negative in the imaginary case.

Version: v2 · 2026-08-30 · History
Domain-specific #: 2580
Origin domain: mathematics
Subdomain: algebraic number theory
Aliases: Quadratic number field

Core Idea¶

A quadratic field is an algebraic number field $K$ of degree two over the rational field: $[K:\mathbb{Q}]=2$. Equivalently, there is a unique squarefree integer $d\ne 1$ such that

\[ K=\mathbb{Q}(\sqrt d)=\{a+b\sqrt d:a,b\in\mathbb{Q}\}. \]

Here $d=0$ is already excluded by squarefreeness as normally defined and, in any event, would give only $\mathbb Q$; $d=1$ also gives $\mathbb Q$, so neither produces degree two. The elements $1$ and $\sqrt d$ form a $\mathbb Q$-basis. The nontrivial automorphism sends $\sqrt d$ to $-\sqrt d$, and hence sends $a+b\sqrt d$ to $a-b\sqrt d$.

Scope of Application¶

Quadratic fields are a home object of algebraic number theory. They supply the first nontrivial setting in which rational arithmetic is enlarged while remaining explicit. The principal scope includes:

Field and Galois theory: degree, bases, embeddings, conjugation, trace, and norm can all be calculated in two coordinates.
Algebraic integers: the parity branch modulo four determines the maximal order and discriminant.
Ideal arithmetic: prime ideals, ideal factorization, and class groups repair failures of elementwise unique factorization.
Prime decomposition: a rational prime may split, remain inert, or ramify in $\mathcal O_K$; the discriminant identifies ramified primes, and quadratic-residue data controls the other cases.
Diophantine equations: norm equations include Pell-type equations in real quadratic fields and representation problems in both branches.
Binary quadratic forms: discriminants connect quadratic fields and orders to equivalence classes of integral forms.
Analytic and class-number questions: real and imaginary quadratic fields display sharply different unit groups, regulators, and class-number phenomena.
Arithmetic geometry and complex multiplication: imaginary quadratic orders arise as endomorphism rings of complex multiplication elliptic curves.

Clarity¶

The fastest recognition test is the bracket notation:

\[[K:\mathbb Q]=2.\]

This one statement fixes the base, the vector-space dimension, and characteristic zero. Choose any $\alpha\in K\setminus\mathbb Q$. Since the only possible intermediate dimension is two, $K=\mathbb Q(\alpha)$, and the minimal polynomial of $\alpha$ over $\mathbb Q$ has degree two. Completing the square in that polynomial expresses the same field as $\mathbb Q(\sqrt r)$ for some nonsquare rational $r$.

Manages Complexity¶

Quadratic fields compress a potentially messy degree-two algebra into one normalized integer $d$ and a short invariant chain. From $d$ one immediately obtains the real/imaginary branch, an explicit basis, the nontrivial conjugation, trace and norm formulas, the integral-basis parity branch, and the field discriminant. From $D_K$, one can organize prime splitting and ramification. The object therefore replaces repeated element-by-element algebra with a stable sequence:

Abstract Reasoning¶

The degree-two structure licenses several exact deductions.

Generator deduction. Any element $\alpha\notin\mathbb Q$ generates $K$. There is no proper field strictly between $\mathbb Q$ and $K$, because tower multiplicativity would require an integer degree strictly between one and two.

Galois deduction. The minimal polynomial of a nonrational element has two roots already in $K$, exchanged by conjugation. Thus $K/\mathbb Q$ is a Galois extension with cyclic group of order two.

Knowledge Transfer¶

Knowledge transfers exactly among quadratic fields through their normalized invariants. An argument written for $K=\mathbb Q(\sqrt d)$ can often be reused for another squarefree $e$ by replacing the radicand, recomputing the parity branch for $\mathcal O_K$, and updating the discriminant. Conjugation, trace, norm, and the two-dimensional basis retain the same formulas. This is mechanism-preserving transfer inside algebraic number theory.

Relationships to Other Abstractions¶

Current abstraction Quadratic Field Domain-specific

Parents (1) — more general patterns this builds on

Quadratic Field is a kind of Field (Algebraic) Domain-specific

Quadratic Field strictly instantiates domain_specific:field: every quadratic field satisfies the field axioms, while almost every field fails the fixed rational-base and degree-two differentia.

Neighborhood in Abstraction Space¶

Quadratic Field sits in a sparse region of the domain-specific corpus (70^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Fields, Norms & Birational Groups (7 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08