Quadratically Closed Field¶
A quadratically closed field contains a square root of every one of its elements, eliminating missing roots of quadratic polynomials.
Core Idea¶
A quadratically closed field contains a square root of every element. In characteristic not two, every quadratic polynomial therefore has a root. This is weaker than algebraic closure, which requires roots of all nonconstant polynomials.[^ref-8fc2ac10c9e8]
Scope of Application¶
The property governs quadratic extensions and simplifies quadratic forms. The complex numbers satisfy it; the reals do not, because −1 has no real square root.[^ref-c59f84a41b04] The field of complex constructible numbers is a second example: it is closed under a further square-root step but does not contain ∛2, whose minimal polynomial has degree three.[ref-f39483a94149][ref-e0f058fbf37f]
Clarity¶
Test all field elements, not just positive ones. Keep the property of an existing field separate from the construction of a quadratic closure. The Grothendieck–Witt ring becomes Z under dimension, while the ordinary Witt ring becomes Z/2Z.[^ref-8fc2ac10c9e8]
Manages Complexity¶
One universal square-map test replaces separate checks for every quadratic polynomial. It does not settle cubic or higher-degree solvability.
Abstract Reasoning¶
Find a nonsquare to disprove the property. For an executed positive input in C, (2+i)²=3+4i, solving X²−(3+4i)=0. In the complex constructible field, (1+i)/√2 squares to i, and the quadratic-tower construction supplies roots for every member. Neither calculation alone proves universal closure; the field-level theorem does. Do not infer cubic closure from it.[ref-f39483a94149][ref-e0f058fbf37f]
Knowledge Transfer¶
The all-element root test transfers across fields; the quadratic-polynomial and form-theory consequences require characteristic not two, while order-based and complex-constructible examples need their extra context. Field is the strict parent; Algebraically Closed Field remains a prospective child without an installed edge. The property has no universal two-sided optimization tension: quadratic versus algebraic closure and GW versus W are classification boundaries, not tradeoffs.
[^ref-8fc2ac10c9e8]: Ormsby, Quadratic Forms notes, Proposition 14.2. [^ref-c59f84a41b04]: “An Algebraic Approach to the Fundamental Theorem of Algebra” (2024). [^ref-f39483a94149]: Elman, Karpenko and Merkurjev, The Algebraic and Geometric Theory of Quadratic Forms, Chapter V §31. [^ref-e0f058fbf37f]: Joseph Lipman, Notes and Exercises on Constructibility, Theorem 2 and corollary. Original Purdue notes give the complex quadratic-tower characterization and power-of-two degree obstruction.
Relationships to Other Abstractions¶
Current abstraction Quadratically Closed Field Domain-specific
Parents (1) — more general patterns this builds on
-
Quadratically Closed Field is a kind of Field (Algebraic) Domain-specific
A quadratically closed field is a field with the additional requirement that every element is a square in that field.
Hierarchy paths (5) — routes to 5 parentless roots
- Quadratically Closed Field → Field (Algebraic) → Ring → Group → Monoid → Semigroup → Set and Membership
- Quadratically Closed Field → Field (Algebraic) → Ring → Group → Monoid → Identity Element
- Quadratically Closed Field → Field (Algebraic) → Ring → Group → Monoid → Semigroup → Closure
- Quadratically Closed Field → Field (Algebraic) → Ring → Group → Monoid → Semigroup → Associativity → Invariance
- Quadratically Closed Field → Field (Algebraic) → Ring → Group → Monoid → Semigroup → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Quadratically Closed Field sits in a moderately populated region (58th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Field Extensions & Galois-Theoretic Structures (18 abstractions)
Nearest neighbors
- Real Closed Field — 0.88
- Euclidean ordered field — 0.87
- Algebraically closed field — 0.85
- Algebraic number field — 0.85
- Biquadratic field — 0.84
Computed from structural-signature embeddings · 2026-10-08