Quadratic extension¶

A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K.

Version: v1 · 2026-09-28 · History
Domain-specific #: 11591
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Field Theory → Mathematics

Core Idea¶

A quadratic extension is a field extension L/K with degree [L:K]=2; equivalently, L is a two-dimensional vector space over K. The degree condition, rather than a particular notation or chosen generator, determines the identity.

Every quadratic extension is algebraic. Under the usual hypotheses it can be written K(α) for an element α whose minimal polynomial over K has degree two, so {1, α} is a K-basis. Different generators can produce the same extension, and the same quadratic polynomial can behave differently when the base field changes.

The identity is broader than a quadratic number field, which specifically extends the rational field, and narrower than field extension or simple extension in general. Characteristic two requires special attention because familiar square-root forms and separability claims can change even though the degree-two criterion remains decisive.

Structural Signature¶

Sig role-phrases:

Base field — K embeds as a subfield of L.
Extension field — L carries operations restricting to those of K.
Vector-space structure — L is viewed as a vector space over K.
Degree criterion — The dimension [L:K] equals exactly two.
Algebraic generator — A suitable α has a degree-two minimal polynomial and can generate L over K.
Basis witness — Elements such as {1, α} witness the two-dimensional structure.
Failure boundary — Degree one gives no proper extension, while degree greater than two is not quadratic even if defined by expressions containing squares.

What It Is Not¶

Not any field obtained from a quadratic-looking formula. The extension degree must equal two.
Not every simple extension. A simple generator can have minimal-polynomial degree other than two.
Not only a quadratic number field. The base field need not be Q.
Not field adjunction itself. Adjunction is a generation operation; quadraticity is a degree classification.
Not automatically separable in characteristic two. Additional polynomial conditions determine separability there.

Scope of Application¶

Quadratic extension applies literally inside mathematics_logic_statistics wherever the source-defined carrier and relation can be established. Its documented habitats include:

The field. Given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M).
The field. It is a transcendental extension field of \Complex if we identify every complex number with the corresponding constant function defined on M.
The field. More generally, given an algebraic variety V over some field K, the function field K(V), consisting of the rational functions defined on V, is an extension field of K.
Transcendental extension. Purely transcendental extensions of an algebraically closed field occur as function fields of rational varieties.
Extension of scalars. Extension of scalars of polynomials is often used implicitly, by just considering the coefficients as being elements of a larger field, but may also be considered more formally.
Extension of scalars. Extension of scalars has numerous applications, as discussed in extension of scalars: applications. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Outside mathematics_logic_statistics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Quadratic extension names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K. The strongest recognition evidence in the frozen account is: If S consists of a single element s , the extension K(s)/K is called a simple extension and s is called a primitive element of the extension. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification Such an extension has the property that all elements of L except those of K are transcendental over K, but, however, there are extensions with this property which are not purely transcendental—a class of such extensions take the form L/K where both L and K are algebraically closed. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Quadratic extension compresses multiple mathematics_logic_statistics details into a stable diagnostic relation. The source shows both the central mechanism—it is the intersection of all subfields of L that contain K and S , and is denoted by K(S) (read as " K ' S ").—and the practical consequence—in this case the degree of the extension equals the degree of the minimal polynomial, and a basis of the K-vector space K(s) consists of 1, s, s^2, \ldots, s^{d-1}, where d is the degree of the minimal polynomial. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the mathematics_logic_statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K.
Check operation and conditions. One says that K(S) is the field generated by S over K , and that S is a generating set of K(S) over K .
Demand recognition evidence. If S consists of a single element s , the extension K(s)/K is called a simple extension and s is called a primitive element of the extension.
Test variation. Change an implementation or setting while preserving given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M).
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Quadratic extension transfers literally when a new case preserves the same carrier type, relation, and recognition test. Given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M). It is a transcendental extension field of \Complex if we identify every complex number with the corresponding constant function defined on M.

Beyond the home domain. No canonical parent is asserted for Quadratic extension. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

The complex field C is a quadratic extension of R because every complex number has a unique form a+bi and {1,i} is an R-basis. The minimal polynomial of i over R is x²+1, which has degree two.

Mapped back: base → R; extension → C; basis → {1,i}; degree witness → the quadratic minimal polynomial of i.

Applied / In Practice¶

For a nonsquare d in Q, the field Q(√d) is a two-dimensional Q-vector space with basis {1,√d}. Changing d by a rational square can yield the same field, showing that the extension identity is not tied to one written generator.

Mapped back: base → Q; generator → √d; condition → d is nonsquare; invariant → degree two despite alternative generators.

Structural Tensions¶

T1 — Stable identity versus admissible variation. Such an extension has the property that all elements of L except those of K are transcendental over K, but, however, there are extensions with this property which are not purely transcendental—a class of such extensions take the form L/K where both L and K are algebraically closed. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. This is the primitive element theorem, which does not hold true for fields of non-zero characteristic. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. If a simple extension K(s)/K is not finite, the field K(s) is isomorphic to the field of rational fractions in s over K . The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. The notation L / K is purely formal and does not imply the formation of a quotient ring or quotient group or any other kind of division. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. The dimension of this vector space is called the degree of the extension and is denoted by [L:K] . The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Diagnostic: Does the receiving case instantiate Quadratic extension literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. It is the intersection of all subfields of L that contain K and S , and is denoted by K(S) (read as " K ' S "). The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Diagnostic: What does Quadratic extension distinguish that the broader parent Pattern leaves together?

Terminal boundary synthesis. For Quadratic extension, the terminal identity test begins with the definition A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K.. A reviewer must then establish the carrier and operation described by K embeds as a subfield of L. and L carries operations restricting to those of K.. Recognition is constrained by L is viewed as a vector space over K., while admissible variation is limited by The dimension [L:K] equals exactly two. and the collapse boundary A suitable α has a degree-two minimal polynomial and can generate L over K.. The source-domain setting in mathematics logic statistics matters because Given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M). and It is a transcendental extension field of \Complex if we identify every complex number with the corresponding constant function defined on M. specify where those roles have literal occupants. The strongest negative controls are The extension degree must equal two. and A simple generator can have minimal-polynomial degree other than two.; a case satisfying either exclusion should not be rescued merely because its label or examples look familiar.

Terminal adjudication sequence. First, bind the claimed instance to a concrete carrier and state the criterion by which A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K. is recognized. Second, vary implementation, scale, notation, and example while holding L carries operations restricting to those of K. fixed; persistence supports one identity rather than several topic fragments. Third, remove L is viewed as a vector space over K. or trigger A suitable α has a degree-two minimal polynomial and can generate L over K. and verify that the classification fails. Fourth, compare the result with the two negative controls instead of relying on name similarity. Fifth, check scope against Given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M). and record any qualification supplied by mathematics logic statistics. Finally, audit the graph claim. The approved unparented placement prevents a weak lexical resemblance from becoming a false ontological claim; a later edge must preserve every constitutive role stated here. This sequence makes the entry rejectable, keeps analogy separate from literal transfer, and exposes which fact would require revision.

Counterfactual boundary matrix. Evaluate Quadratic extension under four controlled substitutions. In the carrier substitution, replace the concrete entities while retaining K embeds as a subfield of L.; the identity should persist only if the new carrier has the same operative type. In the operation substitution, replace L carries operations restricting to those of K. while preserving surface vocabulary; the identity should fail unless the replacement entails the same relation. In the evidence substitution, change the instrument, representation, or witness used for L is viewed as a vector space over K.; classification may persist when the new evidence warrants the same fact. In the scope substitution, move the case outside Given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M). and ask whether It is a transcendental extension field of \Complex if we identify every complex number with the corresponding constant function defined on M. still gives the roles literal occupants. These four tests separate constitutive structure from implementation, evidence, and familiar examples. They also identify the exact revision needed when a source expands or narrows the recognized class.

Neighbor and residual test. The negative controls The extension degree must equal two. and A simple generator can have minimal-polynomial degree other than two. define two directions of possible overreach. A reviewer should construct one case that satisfies the first control but not Quadratic extension, one that satisfies Quadratic extension but not the control, and the corresponding pair for the second control. If no such asymmetric pair can be stated, the candidate may duplicate a neighbor or the distinction may depend only on wording. When the specialist identity fails but a thinner relation remains, record that residual separately instead of stretching Quadratic extension. The approved unparented placement prevents a weak lexical resemblance from becoming a false ontological claim; a later edge must preserve every constitutive role stated here. The resulting decision trail makes later DAG densification possible without treating today's uncertainty as a hierarchy fact.

Structural–Framed Character¶

Quadratic extension is structural-leaning. Its structural side is the repeatable organization summarized by A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K. Its framed side is the mathematics_logic_statistics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: One says that K(S) is the field generated by S over K , and that S is a generating set of K(S) over K . Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy. For a quadratic extension, this shared extension-theory background is relevant only through the degree-two vector-space criterion and its algebraic consequences.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: K embeds as a subfield of L. L carries operations restricting to those of K. It further constrains recognition and variation through: L is viewed as a vector space over K. The dimension [L:K] equals exactly two.

What is domain-bound. mathematics logic statistics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Quadratic extension literal. Its documented scope includes the condition that Given a Riemann surface M, the set of all meromorphic functions defined on M is a field, denoted by \Complex(M). Another bounded application condition is that It is a transcendental extension field of \Complex if we identify every complex number with the corresponding constant function defined on M. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—A suitable α has a degree-two minimal polynomial and can generate L over K.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry under conditions is a kind of Algebraic Structure.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Quadratic extension. The reviewed identity is: A quadratic extension is a field extension L/K of degree two, meaning that L is a two-dimensional vector space over K. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Quadratic extension Domain-specific

Parents (1) — more general patterns this builds on

Quadratic extension is a kind of, conditional Algebraic Structure Domain-specific

The extension field with its operations is an algebraic structure; the extension relation alone is not.

Condition / exception The extension field with its operations is an algebraic structure; the extension relation alone is not.

Hierarchy path (1) — routes to 1 parentless root

Quadratic extension → Algebraic Structure → Mathematical structure → Set and Membership

Neighborhood in Abstraction Space¶

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

Family — Field Extensions & Galois-Theoretic Structures (18 abstractions)

Nearest neighbors

Algebraic Extension — 0.87
Norm Form — 0.85
N-Square Identity — 0.84
Cyclic Algebra — 0.83
Quasi-Finite Field — 0.83

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

Not to Be Confused With¶

Adjunction (field theory). The operation forming a minimal generated field; its result can have any degree.
Quadratic field. Conventionally a degree-two extension specifically of Q.
Quadratic polynomial. A polynomial can split over the base and generate no proper extension.
Simple extension. Generated by one element but not restricted to degree two.
Biquadratic extension. Usually a degree-four extension generated by two independent square roots.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Field_extension (revision 1358413228).

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.