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$.^[1]^[2]

The adjective quadratic refers to extension degree, not merely to the visible presence of a square root. If $d>0$, both embeddings of $K$ into $\mathbb C$ land in $\mathbb R$, so $K$ is a real quadratic field. If $d<0$, its embeddings form a nonreal complex-conjugate pair, so it is an imaginary quadratic field. These are exhaustive because the base is $\mathbb Q$ and $d$ is a nonzero integer.

This object is small enough to calculate explicitly yet rich enough to exhibit the central apparatus of algebraic number theory: conjugation, trace, norm, rings of integers, discriminants, splitting and ramification of primes, units, ideals, and class groups. The degree-two condition makes the coordinates transparent; it does not make the arithmetic trivial.

Structural Signature¶

Recognition form: rational base field $\mathbb Q$ + field extension $K/\mathbb Q$ + two-dimensional $\mathbb Q$-vector-space structure -> unique squarefree radicand $d$ with $K=\mathbb Q(\sqrt d)$ + one nonidentity conjugation -> trace, norm, real/imaginary signature, integer ring, and discriminant.

The mandatory roles are:

The fixed base. The base is exactly $\mathbb Q$. This condition distinguishes a quadratic field in algebraic number theory from an arbitrary quadratic extension $L/F$.
The degree test. $K$ has vector-space dimension two over $\mathbb Q$. A field merely containing a quadratic subfield, or generated by an element whose degree exceeds two, does not qualify.
The squarefree normal form. Removing square factors from a rational radicand produces $K=\mathbb Q(\sqrt d)$ for a unique squarefree integer $d\ne1$.
The basis. Every element has one and only one form $a+b\sqrt d$ with $a,b\in\mathbb Q$.
The conjugation. The unique nonidentity $\mathbb Q$-automorphism is $a+b\sqrt d\mapsto a-b\sqrt d$.
The arithmetic invariants. For $\alpha=a+b\sqrt d$, $$\operatorname{Tr}_{K/\mathbb Q}(\alpha)=2a,\qquad N_{K/\mathbb Q}(\alpha)=a^2-db^2.$$ The trace is additive and the norm multiplicative.^[2]
The archimedean branch. The sign of $d$ determines real versus imaginary: two real embeddings for $d>0$, or one conjugate pair of complex embeddings for $d<0$.
The integral layer. The ring of integers is $\mathcal O_K= \begin{cases} \mathbb Z[(1+\sqrt d)/2],&d\equiv1\pmod4,\\ \mathbb Z[\sqrt d],&d\equiv2,3\pmod4, \end{cases}$ and the field discriminant is respectively $D_K=d$ or $D_K=4d$.^[3]^[4]

A proposed case that lacks the rational base or the degree-two test is not a quadratic field, even if it contains an expression written with a square root.

What It Is Not¶

A quadratic field is not the general algebraic concept field. A field satisfies an axiom package for addition, multiplication, and division; a quadratic field additionally fixes an embedded copy of $\mathbb Q$ and has dimension two over it. Finite fields, rational function fields, $\mathbb R$, and $\mathbb C$ are fields but are not quadratic fields in this number-theoretic sense. Although $[\mathbb C:\mathbb R]=2$, $\mathbb C/\mathbb R$ is a quadratic extension, not a quadratic number field.

It is not every number field. A number field is any finite extension of $\mathbb Q$; its degree may be $1,2,3,$ or higher. Quadratic fields are precisely the degree-two members. The rational field itself has degree one, while $\mathbb Q(\sqrt[3]{2})$ has degree three.

It is not every quadratic extension. The phrase $L/F$ with $[L:F]=2$ permits an arbitrary base field and therefore permits positive characteristic. In characteristic other than two, a quadratic extension can often be written $F(\sqrt a)$ for a nonsquare $a$. In characteristic two, separable quadratic extensions require different normal forms, such as Artin–Schreier equations $x^2+x=c$, and inseparable degree-two extensions can also occur. None of those characteristic-two complications arise for a quadratic field because $\mathbb Q$ has characteristic zero.^[1]

It is not the polynomial $x^2-d$, the radical $\sqrt d$, or an individual quadratic irrational. Those may present or generate the field, but the field is the whole set closed under its operations. Many different generators yield the same field. For example, $\mathbb Q(\sqrt2)=\mathbb Q(3\sqrt2)=\mathbb Q(1+\sqrt2)$.

It is not its ring of integers. $\mathcal O_K$ is a subring containing the elements integral over $\mathbb Z$; it is not a field because most nonzero algebraic integers have inverses outside $\mathcal O_K$. Likewise, an order such as $\mathbb Z[\sqrt5]$ need not equal the maximal order $\mathcal O_{\mathbb Q(\sqrt5)}=\mathbb Z[(1+\sqrt5)/2]$.

It is not a field of fractions construction. Every $K$ is the fraction field of $\mathcal O_K$, but that fact does not define the quadratic identity: fraction fields can have many degrees and origins.

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.^[3]
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.^[4]
Arithmetic geometry and complex multiplication: imaginary quadratic orders arise as endomorphism rings of complex multiplication elliptic curves.

The scope is literal when the field has degree two over $\mathbb Q$. Using “quadratic field” metaphorically for a two-option system, a squared quantity, a spatial field, or a second-degree approximation is outside the node.

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$. Multiplying by a rational square and removing integer square factors yields the unique squarefree integer $d$.

The word unique applies to the normalized squarefree radicand, not to a generator. If $e$ is another squarefree integer with $\mathbb Q(\sqrt d)=\mathbb Q(\sqrt e)$, then $d/e$ is a rational square; squarefreeness forces $d=e$. But infinitely many elements generate that same field.

Three further declarations prevent common ambiguity:

Field or ring? Write $K=\mathbb Q(\sqrt d)$ for the field and $\mathcal O_K$ for its ring of integers.
Real or imaginary? State the sign of $d$, not the visual appearance of one chosen generator.
Quadratic field or extension? If the base is not $\mathbb Q$, say “quadratic extension of $F$.”

The discriminant also needs careful notation. The polynomial $x^2-d$ has discriminant $4d$, but the field discriminant is $d$ when $d\equiv1\pmod4$, because the integral basis then uses $(1+\sqrt d)/2$. Conflating polynomial, order, and field discriminants produces incorrect ramification claims.

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:

\[d\longrightarrow K\longrightarrow \overline{(\cdot)},\operatorname{Tr},N\longrightarrow\mathcal O_K\longrightarrow D_K\longrightarrow\text{prime and ideal arithmetic}. \]

This compression is especially valuable because adjoining a square root does not merely add one number. Closure under field operations adds all $a+b\sqrt d$, while integrality selects a lattice whose correct basis can differ from $1,\sqrt d$. The normalized field identity keeps those layers aligned.

The same structure localizes failure. If ordinary factorization in $\mathcal O_K$ is not unique, the issue is not that $K$ ceased to be a field; it lies in the arithmetic of its integer ring and ideal class group. If two radicands seem to name different fields, normalize their square classes before comparing. If a prime behaves unexpectedly, check the field discriminant rather than the displayed polynomial alone.

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.^[1]

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. Fixed elements under conjugation are precisely the rationals.

Trace-norm deduction. For $\alpha=a+b\sqrt d$, the polynomial

\[ (x-\alpha)(x-\bar\alpha)=x^2-\operatorname{Tr}(\alpha)x+N(\alpha) \]

has rational coefficients. Integrality can be tested through integral trace and norm in this degree-two setting, and norm converts multiplicative questions in $K$ into rational or integer equations.^[2]

Embedding deduction. If $d>0$, both choices $\sqrt d\mapsto\pm\sqrt d$ land in $\mathbb R$; if $d<0$, neither embedding lands entirely in $\mathbb R$. This yields signatures $(2,0)$ and $(0,1)$ respectively.

Ramification deduction. A rational prime dividing $D_K$ ramifies. Away from the discriminant, reduction of an integral defining polynomial separates the split and inert cases; quadratic residue symbols summarize the branch. This is a field-level arithmetic statement only after the maximal order and correct discriminant have been identified.

These deductions do not license treating every degree-two object as a field or importing characteristic-zero square-root normal forms into characteristic 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.

Transfer to general number fields is hierarchical rather than identical. Trace, norm, discriminant, rings of integers, ideal factorization, and embeddings all generalize, but the single conjugate becomes a larger set of embeddings, squarefree normalization disappears, and integral bases need not have a two-case formula. Quadratic fields are the first working model, not a complete template for higher degree.

Transfer to general quadratic extensions is conditional on the base and characteristic. The dimension-two and conjugation ideas travel, but the representation by a square root requires characteristic not two; arithmetic over $\mathbb Z$, real/imaginary language, and rational-prime splitting do not travel to an arbitrary base field.

Outside mathematics, “two-dimensional extension” may inspire analogy, but the literal identity does not transfer. The substrate-portable residue—classification by a binary symmetry or extension by one new degree of freedom—is already thinner than Quadratic Field and belongs to general abstractions such as Classification and Symmetry. The named node remains domain-specific.

Examples¶

Canonical¶

Let $K=\mathbb Q(\sqrt5)$. Because $5$ is positive, squarefree, and not $1$, $K$ is a real quadratic field. Its $\mathbb Q$-basis is $1,\sqrt5$, so every element is uniquely $a+b\sqrt5$. Conjugation sends $\sqrt5$ to $-\sqrt5$. For

\[\varphi=\frac{1+\sqrt5}{2},\]

the conjugate is $(1-\sqrt5)/2$, so $\operatorname{Tr}(\varphi)=1$ and $N(\varphi)=-1$. Since $5\equiv1\pmod4$, the ring of integers is not merely $\mathbb Z[\sqrt5]$ but $\mathcal O_K=\mathbb Z[\varphi]$, and $D_K=5$.^[3] The example maps every defining role: rational base, degree two, normalized radicand, real embeddings, conjugation, trace and norm, integral basis, and field discriminant.

Applied / In Practice¶

Let $K=\mathbb Q(i)=\mathbb Q(\sqrt{-1})$. It is imaginary quadratic, $\mathcal O_K=\mathbb Z[i]$, and $D_K=-4$. A rational prime's behavior in the Gaussian integers can be read from the quadratic structure: $2$ ramifies as a unit times $(1+i)^2$; primes $p\equiv1\pmod4$ split into conjugate Gaussian prime ideals, while primes $p\equiv3\pmod4$ remain inert. This arithmetic explains why an odd prime is a sum of two integer squares exactly in the split case.

For $p=5$, $5=(2+i)(2-i)$, and the two factors are exchanged by conjugation. Their norms are both $5$, since $N(2+i)=2^2+1^2$. The example shows how the field's nontrivial automorphism, norm form, integral ring, discriminant, and prime decomposition work together; it is not merely an exercise in adjoining the symbol $i$.

Structural Tensions¶

Unique field parameter vs. nonunique generator. The squarefree $d$ is unique, but $\sqrt d$, $c\sqrt d$, and many $a+b\sqrt d$ generate the same field. Diagnostic: normalize the field's square class, not the syntax of a chosen generator.
Simple field vs. complicated arithmetic. Two coordinates make $K$ transparent, yet $\mathcal O_K$ may fail to be a PID or UFD and may have a nontrivial class group. Diagnostic: separate field operations from the ideal and factorization properties of its integer ring.
Displayed order vs. maximal order. $\mathbb Z[\sqrt d]$ looks canonical but is too small when $d\equiv1\pmod4$. Diagnostic: compute the integral basis before assigning the field discriminant or prime ramification.
Real/imaginary dichotomy vs. finer invariants. The sign of $d$ predicts embeddings and strongly affects units, but two fields in the same branch can have different class numbers and prime splitting. Diagnostic: use the sign only for the archimedean branch, then compute $D_K$ and arithmetic invariants separately.
Quadratic-field shorthand vs. general extension theory. $\mathbb Q(\sqrt d)$ is complete in characteristic zero, while quadratic extensions over characteristic-two bases need other normal forms. Diagnostic: state the base field and characteristic before transferring a square-root presentation.
Polynomial discriminant vs. field discriminant. $x^2-d$ always has polynomial discriminant $4d$, but $D_K$ can be $d$. Diagnostic: calculate with an integral basis of $\mathcal O_K$, not an arbitrary defining polynomial.

Structural–Framed Character¶

Quadratic Field is structural, with aggregate framed score $0.18$. Membership is fixed by the objective formal condition $[K:\mathbb Q]=2$. It carries no evaluative judgment, depends on no institution's recognition, and does not vary with human practice. Once $K$ and the embedding of $\mathbb Q$ are specified, the squarefree radicand, conjugation, trace, norm, signature, integer ring, and discriminant follow mathematically.

Its remaining domain-boundedness is lexical and ontological rather than conventional. “Field,” “extension degree,” “integral closure,” and “discriminant” have their exact force only in mathematics. The structure transfers deeply across number theory and adjacent formal domains, but not across unrelated substrates without being reduced to thinner primes.

Structural Core vs. Domain Accent¶

Skeletal core. A base structure is enlarged by one independent direction; the enlargement has a two-element symmetry exchanging its conjugate presentations; normalized invariants classify the result. This suggests broad ideas of extension, binary symmetry, classification, and invariant extraction.

Domain-bound identity. The actual node requires the rational field, vector-space degree, squarefree radicand, characteristic zero, field embeddings, algebraic integrality, discriminant, and ideal arithmetic. Remove those, and there is no test for a quadratic field.

Why not a prime. The skeletal ideas already live in general nodes such as Classification and Symmetry. Quadratic Field does not recur literally in biology, governance, engineering, or ordinary reasoning; any such transfer is analogy. Its autonomous residual is a formal number-theory species of algebraic Field, so domain-specific classification is required.

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. Field therefore supplies the minimal live genus and proposed DAG parent.

It is related to prime:classification because the squarefree radicand and discriminant organize isomorphism classes and arithmetic branches. It is related to prime:symmetry because the nontrivial automorphism exchanges conjugates while fixing $\mathbb Q$. Neither prime covers the number-theoretic object.

domain_specific:field_of_fractions is a constructional neighbor, not a parent. Although $K=\operatorname{Frac}(\mathcal O_K)$, a field of fractions is identified by a universal construction from an integral domain, whereas a quadratic field is identified by degree over $\mathbb Q$. One relation can hold without supplying the other identity.

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

Not to Be Confused With¶

Field (algebraic): any structure satisfying the field axioms. Tell: ask whether a rational embedding and degree exactly two are specified.
Number field: any finite extension of $\mathbb Q$. Tell: compute $[K:\mathbb Q]$; only degree two is quadratic.
Quadratic extension: any extension $L/F$ of degree two. Tell: if $F\ne\mathbb Q$, use the general term; characteristic-two cases especially do not fit the squarefree-integer normal form.
Quadratic irrational: an individual real irrational algebraic number of degree two. Tell: the number may generate a real quadratic field, but it is an element, not the field.
Imaginary quadratic number: a nonreal algebraic number of degree two. Tell: again distinguish generator from the closed field it generates.
Quadratic integer: an algebraic integer associated with a quadratic field, under conventions that may include or exclude rational integers. Tell: it is an element of $\mathcal O_K$, not $K$ itself.
Ring of integers $\mathcal O_K$: the integral closure of $\mathbb Z$ in $K$. Tell: it is generally not closed under division by its nonzero elements.
Quadratic order: a finite-index subring of $\mathcal O_K$ containing $1$. Tell: different orders can share one fraction field and have discriminants differing by conductor squares.
Field of fractions: the universal ratio field of an integral domain. Tell: the construction does not impose degree two over $\mathbb Q$.
Quadratic polynomial: a degree-two polynomial. Tell: a reducible quadratic over $\mathbb Q$ generates no degree-two field; an irreducible one generates a quadratic field only after passing to the field of one root.
$\mathbb C/\mathbb R$: a genuine quadratic field extension. Tell: its base is $\mathbb R$, so it is not a quadratic number field.
Biquadratic field: typically a degree-four extension such as $\mathbb Q(\sqrt a,\sqrt b)$ with Galois group $C_2\times C_2$. Tell: “biquadratic” does not mean degree two.
Real vs. imaginary quadratic field: recognized subtypes, not aliases for the entire class. Tell: $d>0$ gives the real case and $d<0$ the imaginary case.

References¶

[1] The Stacks Project Authors, “Finite Extensions,” The Stacks Project, Section 9.7, Tag 09G2. https://stacks.math.columbia.edu/tag/09G2 registry ↩a ↩b ↩c

[2] Keith Conrad, “Factoring in Quadratic Fields,” University of Connecticut, especially §§1–3 and §8. https://kconrad.math.uconn.edu/blurbs/gradnumthy/quadraticgrad.pdf registry ↩a ↩b ↩c

[3] Brian Conrad, “Quadratic Integer Rings,” Stanford Math 210B handout. https://math.stanford.edu/~conrad/210BPage/handouts/quadint.pdf registry ↩a ↩b ↩c

[4] J. S. Milne, Algebraic Number Theory, version 3.08 (2020), especially chapters on rings of integers, class groups, and units. https://www.jmilne.org/math/CourseNotes/ANT.pdf registry ↩a ↩b