Field Extensions & Galois-Theoretic Structures

← Back to Domain-Specific Families

Abstractions about fields, their extensions and associated algebraic structures, covering field-extension types (Quadratic Field, Quadratic Extension, Étale Algebra), Galois-theoretic and arithmetic tools (Galois Theory, Norm Form, Cyclic Algebra), and related constructs like Real Closed Field and Standard Part Function.

18 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Algebraic Extension — A field extension in which every element of the larger field satisfies a nonzero polynomial with coefficients in the embedded base field.
• Arithmetic Group — A group defined relative to integral points of a number-field algebraic group through finite-index commensurability.
• Cyclic Algebra — A central simple algebra built from a cyclic Galois extension K/F, a generator sigma, and a scalar a, with a twisting element u satisfying u^n=a and uk=sigma(k)u.
• Cylindrical Algebraic Decomposition — Partition real coordinate space into finitely many connected semialgebraic cells that are cylindrically compatible under projection and sign-invariant for a declared polynomial family.
• Galois Theory — Relate a field extension to its automorphism group so subgroup structure encodes intermediate fields and polynomial solvability becomes a symmetry question.
• Matrix Pencil — Treat a pair of same-sized matrices as the affine one-parameter family A−λB, whose finite and infinite generalized eigenvalues and singular structure remain meaningful even when B cannot be inverted.
• Mordell–Weil Theorem — For an abelian variety over a number field, the group of rational points is finitely generated.
• N-Square Identity — An algebraic composition identity that represents a product of two sums of n squares as another sum of n squares, with its witness type and domain stated.
• Norm Form — The homogeneous degree-n polynomial obtained by expressing the field norm of a degree-n extension in coordinates relative to a chosen base-field basis.
• Polynomial Ring — Adjoin one or more algebraically free commuting indeterminates to a coefficient ring, with finite coefficient support and the universal substitution property.
• 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.
• 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.
• 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.
• Quadratically Closed Field — A quadratically closed field contains a square root of every one of its elements, eliminating missing roots of quadratic polynomials.
• Real Closed Field — Identify an ordered field maximal among orderable algebraic extensions, equivalently one where positive elements are squares and every odd-degree polynomial has a root.
• Schneider–Lang Theorem — Bounds the complex points where a derivative-stable family of controlled-growth meromorphic functions can simultaneously take values in a number field when the family contains two algebraically independent functions.
• Standard Part Function — Map each finite hyperreal to the unique real number infinitesimally close to it, thereby passing from a nonstandard approximation to its ordinary real shadow.
• Étale Algebra — A finite-dimensional commutative algebra over a field that is a finite product of finite separable field extensions, and therefore becomes a finite product of copies of the base after separable closure.