Fields, Norms & Birational Groups

← Back to Domain-Specific Families

Abstractions about quadratic and real-closed fields, cyclic algebras, norm forms, algebraic integers, transcendence, and birational transformation groups.

7 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.

• Cremona Group — The group of birational self-transformations of projective n-space over a fixed field, equivalently the field automorphisms of a purely transcendental function field.
• 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.
• 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.
• 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.
• 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.