Quadratic Integer

An algebraic integer in a quadratic number field—strictly, a nonrational algebraic integer of degree two—whose trace, norm, conjugation, and field-specific integer-ring lattice organize quadratic arithmetic.

Version

v1 · 2026-08-30 · History

Domain-specific #

2581

Origin domain

algebraic number theory

Subdomain

rings of integers of quadratic fields

Aliases

Quadratic algebraic integer, Integer of a quadratic field

Core Idea

A quadratic integer is an algebraic integer situated in a quadratic extension of the rational numbers. Under the strict element convention, it is a nonrational complex number whose minimal polynomial over \(\mathbb Q\) is a monic irreducible quadratic with coefficients in \(\mathbb Z\). Equivalently, it is an algebraic integer of degree exactly two. Under the field-inclusive convention, “quadratic integers of \(K\)” means every element of the ring of integers \(\mathcal O_K\) of a fixed quadratic field \(K\), including the rational integers \(\mathbb Z\), whose individual degree over \(\mathbb Q\) is one.^[1][2]

The distinction is terminological, not a mathematical contradiction. For a squarefree integer \(d\ne 0,1\), \(K=\mathbb Q(\sqrt d)\) has

\[ \mathcal O_K=\mathbb Z[\omega_d],\qquad \omega_d=\begin{cases} (1+\sqrt d)/2,&d\equiv1\pmod4,\\ \sqrt d,&d\equiv2,3\pmod4. \end{cases} \]

Every element is \(a+b\omega_d\) with \(a,b\in\mathbb Z\). It is strict quadratic when \(b\ne0\); when \(b=0\), it is an ordinary integer retained by the inclusive ring convention. This field-specific lattice, together with conjugation, trace, norm, units, ideals, and factorization behavior, makes the identity much richer than “a root of some quadratic equation.”^[2]

Structural Signature

The recognition roles are:

1. Quadratic field: \(K=\mathbb Q(\sqrt d)\) for a stated squarefree \(d\ne0,1\).
2. Candidate element: \(\alpha\in K\), commonly written \(a+b\sqrt d\) over \(\mathbb Q\).
3. Integrality certificate: \(\alpha\) satisfies a monic polynomial in \(\mathbb Z[x]\), equivalently lies in the integral closure \(\mathcal O_K\) of \(\mathbb Z\) in \(K\).
4. Integral-basis coordinates: \(\alpha=m+n\omega_d\) with \(m,n\in\mathbb Z\) and the correct \(d\bmod4\) basis.
5. Conjugate: \(\bar\alpha\), obtained by replacing \(\sqrt d\) with \(-\sqrt d\).
6. Integral trace and norm: \(\operatorname{Tr}(\alpha)=\alpha+\bar\alpha\in\mathbb Z\) and \(N(\alpha)=\alpha\bar\alpha\in\mathbb Z\).
7. Polynomial reconstruction: \(x^2-\operatorname{Tr}(\alpha)x+N(\alpha)\), minimal when \(\alpha\notin\mathbb Q\).
8. Convention flag: strict degree-two element or inclusive member of a quadratic field's integer ring.

The invariant is membership in a quadratic field + integrality over \(\mathbb Z\) + explicit degree convention. Neither degree two without integrality nor integrality in a higher-degree field suffices.

What It Is Not

A quadratic integer is not every root of a quadratic equation. Coefficients may be nonintegral or the polynomial may not be monic. For example, \((1+\sqrt5)/4\) has degree two but trace \(1/2\) and norm \(-1/4\); it is not an algebraic integer.

It is not every quadratic irrational. A quadratic irrational has degree two over \(\mathbb Q\), but integrality adds the monic-integer-polynomial condition.

It is not the same as a quadratic field. The field contains quotients and nonintegral elements as well as its integer ring.

It is not automatically an element of \(\mathbb Z[\sqrt d]\). When \(d\equiv1\pmod4\), the full ring is \(\mathbb Z[(1+\sqrt d)/2]\); using only \(\mathbb Z[\sqrt d]\) misses integral elements such as the golden ratio.

The set of all strict quadratic integers across all quadratic fields is not one ring. For example, \(1+\sqrt2\) and \(\sqrt3\) are quadratic integers, while their sum has degree four. Ring closure holds inside each fixed \(\mathcal O_K\), which also contains ordinary integers.

Scope of Application

Quadratic integers are foundational examples in algebraic number theory. They organize arithmetic in real and imaginary quadratic fields, Pell equations, binary quadratic forms, norm equations, Diophantine factorization, units, ideals, class groups, Euclidean algorithms, reciprocity, lattices, and selected aperiodic-tiling constructions.^[1][3]

Imaginary examples include Gaussian integers \(\mathbb Z[i]\) and Eisenstein integers \(\mathbb Z[(1+\sqrt{-3})/2]\). Real examples include \(\mathbb Z[\sqrt2]\) and \(\mathbb Z[(1+\sqrt5)/2]\). The same trace/norm/conjugation package recurs, while geometry, unit groups, factorization, and class number depend strongly on the discriminant and sign of \(d\).

The node concerns elements and their field-specific integer rings, not an assertion that every quadratic field has unique factorization of elements. Each \(\mathcal O_K\) is a Dedekind domain, so nonzero ideals factor uniquely into prime ideals; element factorization can fail when the class group is nontrivial.^[1]

Clarity

A reliable test proceeds in this order:

1. Identify the squarefree \(d\) and field \(K=\mathbb Q(\sqrt d)\).
2. Express \(\alpha\) in the correct integral basis for \(d\bmod4\).
3. Verify integer coordinates, or equivalently integral trace and norm.
4. State whether ordinary integers are included by the field convention.
5. If strict degree two is claimed, verify \(\alpha\notin\mathbb Q\), so its reconstructed quadratic is minimal.

The trace-and-norm test is especially efficient. For \(\alpha\in K\), integrality implies \(\operatorname{Tr}_{K/\mathbb Q}(\alpha),N_{K/\mathbb Q}(\alpha)\in\mathbb Z\); in the quadratic setting the converse follows through the monic polynomial \(x^2-\operatorname{Tr}(\alpha)x+N(\alpha)\). The integral-basis formula then resolves the parity case that naive \(\mathbb Z[\sqrt d]\) coordinates miss.^[2]

Manages Complexity

Quadratic integers replace arbitrary expressions involving \(\sqrt d\) with a rank-two integer lattice and two integer invariants. Addition and multiplication can be performed on coordinates; conjugation is a field automorphism; trace is additive; norm is multiplicative. An integrality question becomes a coordinate or trace/norm check rather than a search over all possible monic polynomials.

The same structure converts Diophantine equations into arithmetic. For \(d\equiv2,3\pmod4\), a solution to \(x^2-dy^2=\pm1\) is a unit \(x+y\sqrt d\) of norm \(\pm1\). Powers of a fundamental unit generate infinite families. In imaginary fields, embedding the integer ring as a planar lattice makes norms geometric and can support Euclidean division in special cases.^[4]

The abstraction also localizes failure. If unique factorization of elements breaks, ideals restore unique factorization and the class group measures the obstruction. If \(\mathbb Z[\sqrt d]\) is not integrally closed, the correct \(\omega_d\) enlarges it by index two. If a proposed element has noninteger trace or norm, integrality fails immediately.

Abstract Reasoning

Recognition licenses several deductions. The conjugate of a quadratic integer is again integral. Its trace and norm are rational integers. Sums and products remain in \(\mathcal O_K\) when operands share the fixed field. The element is a unit exactly when its norm is \(\pm1\). Its minimal polynomial is determined by trace and norm when it is nonrational.

One may switch among three views: a root of a monic integer quadratic, an element with integer trace and norm in a fixed quadratic field, and a lattice point in \(\mathbb Z[\omega_d]\). Each view makes different questions easy—polynomial identity, arithmetic invariants, or computation.

The field qualifier blocks invalid closure reasoning. Combining quadratic integers from distinct fields can produce degree four. Likewise, a norm that is prime can certify irreducibility in suitable arguments, but the converse can fail, and unique factorization must not be assumed merely because norms multiply.^[4]

Knowledge Transfer

Literal transfer occurs among every quadratic field. The integral basis changes with discriminant parity, yet element, conjugate, trace, norm, minimal polynomial, unit, ideal, and class-group roles persist. Methods transfer between real and imaginary cases with important differences: real quadratic fields have infinite unit rank, while imaginary quadratic fields have finite unit groups.

Quadratic fields are the first nontrivial laboratory for general algebraic number fields. Their rings of integers instantiate integral closure, Dedekind-domain ideal factorization, discriminants, ramification, units, and class groups in a rank-two setting that remains explicitly calculable. That pedagogical transfer is literal within number theory.

Outside mathematics, “quadratic integer” has no substrate-neutral application. The portable residues—closure under operations, invariant summaries, conjugate pairing, and lattice representation—belong to broader catalog abstractions. The name and full mechanism remain algebraic-number-theoretic.

Examples

Square root of two. \(\sqrt2\) satisfies \(x^2-2=0\), lies in \(\mathbb Z[\sqrt2]\), has trace \(0\), norm \(-2\), and strict degree two.

Gaussian integer. \(i\) satisfies \(x^2+1=0\). More generally \(a+bi\) lies in \(\mathbb Z[i]\), with conjugate \(a-bi\) and norm \(a^2+b^2\).

Golden ratio. \(\phi=(1+\sqrt5)/2\) satisfies \(x^2-x-1=0\). It demonstrates the \(d\equiv1\pmod4\) half-integral basis: \(\phi\in\mathcal O_{\mathbb Q(\sqrt5)}\) but \(\phi\notin\mathbb Z[\sqrt5]\).

Eisenstein integer. \((-1+\sqrt{-3})/2\) is a nonreal cube root of unity and an element of the integer ring of \(\mathbb Q(\sqrt{-3})\).

Field-inclusive ordinary integer. \(7\in\mathcal O_{\mathbb Q(\sqrt2)}\), but its algebraic degree is one. It is a “quadratic-field integer” only under the inclusive ring convention.

Nonintegral quadratic element. \((1+\sqrt5)/4\) has degree two but noninteger trace and norm, so it fails integrality.

Cross-field nonclosure. \(1+\sqrt2\) and \(\sqrt3\) are strict quadratic integers; their sum lies in a biquadratic field and has degree four, so the global class is not additively closed.

Structural Tensions

T1: Strict degree versus inclusive ring. Excluding \(\mathbb Z\) preserves exact degree two; including it preserves the ring of integers. The intended convention must control the word “quadratic.”

T2: Simple coordinates versus correct integral closure. \(\mathbb Z[\sqrt d]\) is visually simple but wrong as the full integer ring when \(d\equiv1\pmod4\).

T3: Element arithmetic versus ideal arithmetic. Elements are concrete, but unique factorization can fail; ideals restore uniqueness at the cost of a more abstract carrier.

T4: Local field closure versus global class nonclosure. Each \(\mathcal O_K\) is a ring, while mixing elements from different quadratic fields can raise algebraic degree.

T5: Multiplicative norm versus factorization inference. Norms reduce products to integers and certify many claims, but not every irreducibility or primality implication reverses.

T6: Uniform template versus discriminant-dependent behavior. Trace, norm, and basis provide one pattern, while units, Euclideanity, factorization, ramification, and class number vary sharply with \(d\).

Structural–Framed Character

Quadratic Integer is strongly structural within algebraic number theory. Field degree, monic polynomial, integral closure, basis coordinates, conjugation, trace, norm, and ring membership are exact and inspectable. The convention ambiguity is explicitly resolvable rather than subjective.

The frame is essential: removing field extensions, rational integers, integrality, and degree leaves only generic classification by invariants. The property travels widely inside number theory but not as the same mechanism across nonmathematical substrates.

Structural Core vs. Domain Accent

The skeletal core combines membership constraints, closure within a fixed carrier, a paired symmetry, and invariant summaries. Those pieces resemble generic Closure, Classification, and Invariance.

The domain accent supplies nearly all distinctive content: \(\mathbb Q(\sqrt d)\), integral closure of \(\mathbb Z\), monic integer polynomials, algebraic degree, discriminant parity, integral bases, conjugation, trace, norm, units, ideals, and class groups. Removing them does not leave “quadratic integer” in another substrate; it leaves generic algebraic patterns already represented elsewhere.

Instantiates / Related Primes

The minimal prospective placement is a composition/instantiation relation to live prime:closure. The quadratic-field integer ring is the integral closure of \(\mathbb Z\) in \(K\), and each quadratic integer is an element admitted by that closure construction. Composition is preferable to subsumption because an element is not itself a closure operator or closure property.

Quadratic Equation, Invariance, and Classification are explanatory neighbors but are not valid or necessary direct parents. A future reference-grade Algebraic Integer node would be the most natural subsumption parent if it becomes an approved catalog endpoint; none is available in this frozen catalog.

Relationships to Other Abstractions

Current abstraction Quadratic Integer Domain-specific

Parents (1) — more general patterns this builds on

• Quadratic Integer is a kind of Closure Prime

  The minimal prospective placement is a composition/instantiation relation to live prime:closure.

Hierarchy path (1) — routes to 1 parentless root

• Quadratic Integer → Closure

Neighborhood in Abstraction Space

Quadratic Integer sits in a sparse region of the domain-specific corpus (78^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

• Quadratic Field — 0.87
• Quadratic Space — 0.83
• Siegel Zero — 0.83
• Carlyle Circle — 0.82
• Matrix Similarity — 0.81

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

Not to Be Confused With

Quadratic equation: a degree-two equation over arbitrary coefficients; does not require an integral root.

Quadratic irrational: a real irrational of degree two; may fail integrality.

Algebraic integer: may have any finite algebraic degree; quadratic integers are the degree-two or quadratic-field case.

Quadratic field: contains nonintegral elements and is the ambient field, not the integer class.

Ring of integers: \(\mathcal O_K\) for any number field; quadratic integer rings are its degree-two-field instances.

Gaussian integer / Eisenstein integer: important special quadratic integer rings for \(d=-1\) and \(d=-3\).

Quadratic residue: a modular square class, unrelated to algebraic integrality.

Integral quadratic form: a polynomial form with integer coefficients; quadratic integers interact with such forms but are elements, not forms.

References

[1] Milne, J. S. Algebraic Number Theory, version 3.08. Author-maintained graduate notes covering algebraic integers, rings of integers, ideals, discriminants, units, class groups, and quadratic examples. https://www.jmilne.org/math/CourseNotes/ANT.pdf. registry ↩a ↩b ↩c

[2] Conrad, Brian. “Quadratic Integer Rings.” Stanford Math 210B handout. Computes the integral closure \(\mathcal O_K\) of \(\mathbb Z\) in \(K=\mathbb Q(\sqrt d)\) from trace and norm and proves the discriminant-dependent integral basis. https://math.stanford.edu/~conrad/210BPage/handouts/quadint.pdf. registry ↩a ↩b ↩c

[3] Conrad, Keith. “Factoring in Quadratic Fields.” University of Connecticut notes. Uses the full ring of integers, norms, traces, ideals, and factorization in quadratic fields. https://kconrad.math.uconn.edu/blurbs/ugradnumthy/quadraticgrad.pdf. registry ↩

[4] Conrad, Keith. “Quadratic Integers.” University of Connecticut notes. Develops arithmetic in \(\mathbb Z[\sqrt d]\), conjugation, norm, units, prime elements, and the distinction between existence and uniqueness of factorization. https://kconrad.math.uconn.edu/math3240s20/handouts/quadratic-integers.pdf. registry ↩a ↩b