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.
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.
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.
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\).
Clarity¶
A reliable test proceeds in this order:
- Identify the squarefree \(d\) and field \(K=\mathbb Q(\sqrt d)\).
- Express \(\alpha\) in the correct integral basis for \(d\bmod4\).
- Verify integer coordinates, or equivalently integral trace and norm.
- State whether ordinary integers are included by the field convention.
- If strict degree two is claimed, verify \(\alpha\notin\mathbb Q\), so its reconstructed quadratic is minimal.
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.
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.
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.
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 (78th 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