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.

Version: v2 · 2026-08-30 · History
Domain-specific #: 2392
Origin domain: mathematics
Subdomain: algebraic number theory
Aliases: Field norm form, Algebraic norm form

Core Idea¶

Let L/K be a finite field extension of degree n, and choose a K-basis e1,…,en of L. Every element of L can be written uniquely as α=x1e1+⋯+xnen. Applying the field norm yields.

F(x1,…,xn)=N_{L/K}(x1e1+⋯+xnen),

a homogeneous polynomial of degree n with coefficients in K. This polynomial is the Norm Form of the extension relative to the chosen basis.^[1]

The field norm N_{L/K}(α) can be defined as the determinant of the K-linear map mα:L→L given by multiplication by α. When the extension is separable and embeddings are taken in a splitting field, it is also the product of the conjugates of α. The determinant definition makes homogeneity immediate: scaling all coordinates by c∈K scales the norm by c^n.

The locked identity is: finite degree-n field extension + selected K-basis + coordinate-generic field element + determinant/product field norm -> homogeneous degree-n polynomial in n coordinates. Changing basis changes the displayed coefficients through an invertible linear substitution, but the underlying norm map remains the same.

Structural Signature¶

the base field K — coefficient and scalar field;
the extension field L — finite-dimensional K-vector space carrying multiplication;
the extension degree n=[L:K] — both coordinate count and polynomial degree;
the chosen basis e1,…,en — identifies L with K^n;
the generic element — x1e1+⋯+xnen with indeterminate coordinates;
multiplication by the generic element — a K-linear endomorphism of L;
the determinant — field norm of the generic element;
the homogeneous polynomial — coordinate expression in K[x1,…,xn] of degree n;
the basis-change action — invertible linear substitution among variables;
the integral basis/order choice — yields integer coefficients for arithmetic applications under suitable hypotheses;
the norm equation — F(x1,…,xn)=a studied over integers, rationals, or local/global fields;
the zero/nonzero property — over a field, norm of a nonzero element is nonzero;
the local/global arithmetic — solvability, representation, heights, units, and approximation depend on the extension and right-hand side.

Recognition requires derivation from a field norm. A homogeneous polynomial called a “norm” informally is not necessarily a norm form.

What It Is Not¶

Not a vector-space norm. The catalog's domain_specific:norm is a nonnegative magnitude satisfying positivity, homogeneity, and triangle inequality; a field norm is algebraic, multiplicative, and may be negative or nonordered.
Not merely the field norm value. A norm form is the coordinate polynomial representing the whole map.
Not an ideal norm. Ideal norm measures quotient size/index and is a related arithmetic construction.
Not a trace form. Trace forms use field trace, often bilinearly or quadratically; determinant and trace encode different invariants.
Not basis-independent as a written polynomial. Coefficients change with basis, though linear-equivalence class reflects the same norm map.
Not every homogeneous degree-n polynomial in n variables. It must arise from a degree-n field extension's multiplication determinant.
Not automatically irreducible in every convention and field setting. Precise hypotheses matter.
Not the analytic magnitude |N(α)| alone. Absolute value can be useful in number theory but is not the defining form.

Scope of Application¶

Norm forms are central in algebraic number theory, Diophantine equations, arithmetic geometry, geometry of numbers, and the study of algebraic tori. When K=Q, L is a number field, and the basis comes from an order or its ring of integers, the resulting integral polynomial supports equations F(x)=m. Solutions correspond to elements of the order with prescribed field norm, subject to basis and integrality conditions.

Quadratic norm forms include Pell-type equations. For L=Q(√d) with basis (1,√d), conjugation sends x+y√d to x−y√d, so the norm form is x²−dy². The equation x²−dy²=1 is a Pell equation. Other quadratic integral bases can yield a linearly equivalent binary quadratic form with a cross term.

Cubic and higher-degree extensions produce forms such as cubic norm forms. Arithmetic questions ask which integers are represented, whether local solvability implies global solvability, how many solutions of bounded height occur, and how norm equations define varieties. Modern work on polynomials represented by norm forms continues this program.^[2]

Clarity¶

The basis is a coordinate lens, not extra algebraic substance. If e'=eA for A∈GL_n(K), then the new coordinates and old coordinates differ by an invertible linear transformation. The corresponding norm forms satisfy F'(x)=F(Ax) under the appropriate convention. Thus coefficients and monomials may look very different while representing the same extension norm.

The degree match has two sources that coincide. The extension has dimension n, so multiplication by a generic element is an n×n matrix. Its determinant has degree n in the coordinates because matrix entries depend linearly on them. This is stronger than simply declaring a homogeneous polynomial.

domain_specific:norm is a dangerous exact-name neighbor but semantically distinct. prime:representation and prime:basis capture coordinate expression and basis choice; neither supplies field multiplication, determinant norm, degree match, or arithmetic norm equations. The candidate survives.

Manages Complexity¶

The abstract field norm is basis-free but difficult to insert directly into integer equations. A norm form converts it into a concrete polynomial whose coefficients can be computed and whose solutions can be attacked with algebraic, geometric, analytic, and computational tools. It bridges field structure and coordinate arithmetic.

Conversely, recognizing a polynomial as a norm form imports multiplicativity and Galois/conjugate structure that arbitrary forms lack. Factorization over a splitting field corresponds to conjugate linear factors in separable cases. Basis-aware bookkeeping prevents treating coordinate artifacts as intrinsic arithmetic differences.

Abstract Reasoning¶

Because field norm is multiplicative, F represents multiplication in L even though multiplication of coordinate vectors is not componentwise.
Scaling all variables by c multiplies F by c^n, proving degree-n homogeneity.
A nonzero coordinate vector represents a nonzero field element and therefore has nonzero norm; over K, the form is anisotropic in the sense of having no nontrivial zero.
Changing basis preserves the represented norm set after the corresponding invertible variable substitution.
An integral basis produces an integral polynomial because multiplication by an algebraic integer preserves the integer lattice.
In a quadratic extension, the determinant of multiplication recovers the product with the conjugate and yields a binary quadratic form.
Solving F(x)=1 in an order identifies norm-one elements, linking the equation to units and norm-one algebraic groups.
A local solution at every completion does not universally guarantee a global rational or integral solution; Hasse-principle questions require additional hypotheses.
Two visually similar homogeneous forms need not arise from isomorphic extensions, and two dissimilar forms may be basis-equivalent.

Knowledge Transfer¶

Exact transfer occurs across finite extensions and their coordinate bases. Number fields, finite fields, and function fields can all produce norm forms, with arithmetic questions adapted to the base.

The broader pattern—represent a coordinate-free multiplicative invariant as a polynomial through a basis—transfers to determinant representations and trace forms. Outside algebra, it instantiates Representation or Coordinate Choice rather than Norm Form.

Examples¶

quadratic: N_{Q(√d)/Q}(x+y√d)=x²−dy²;
Gaussian integers: N_{Q(i)/Q}(x+yi)=x²+y²;
general quadratic basis: an integral basis may produce x²+bxy+cy², linearly related to the field norm;
cubic extension: a basis (1,α,α²) turns the determinant of multiplication by x+yα+zα² into a ternary cubic form;
norm-one equation: F(x)=1 searches for elements with multiplicative norm one;
non-example: Euclidean length √(x²+y²) is an analytic norm, not a polynomial field norm form.

Structural Tensions¶

intrinsic map vs. basis-dependent coefficients — the norm is canonical while its form is coordinate-relative;
abstract algebra vs. explicit arithmetic — polynomial coordinates enable computation but can obscure field structure;
local solvability vs. global solution — norm equations expose deep local-global failures and successes;
multiplicative structure vs. additive coordinates — a determinant encodes field multiplication in a polynomial on a vector space;
integral model vs. rational equivalence — different orders and bases affect integral solutions even when rational forms are equivalent.

Structural–Framed Character¶

Norm Form is structural. Field axioms, linear algebra, determinant, and basis transformations determine it. Notational and normalization conventions are framed but do not affect the mathematical identity.

Structural Core vs. Domain Accent¶

The core is coordinate-free map + chosen basis -> homogeneous polynomial representation. The domain accent is finite field extension, multiplication determinant, field norm, degree match, and Diophantine arithmetic. Removing it yields generic Polynomial Representation.

Representation — a basis-free field norm is rendered as an explicit polynomial.
Basis — coordinate choice determines the written form up to invertible substitution.
Determinant — multiplication by an element produces the norm.
Homogeneity — scalar multiplication controls polynomial degree.

The prospective DAG uses composition under prime:representation.

Relationships to Other Abstractions¶

Current abstraction Norm Form Domain-specific

Parents (1) — more general patterns this builds on

Norm Form is part of Representation Prime

a basis-free field norm is rendered as an explicit polynomial.

Hierarchy path (1) — routes to 1 parentless root

Norm Form → Representation → Abstraction

Neighborhood in Abstraction Space¶

Norm Form sits in a sparse region of the domain-specific corpus (78^th 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

Ternary Quartic — 0.83
Quadratic Field — 0.83
Cyclic Algebra — 0.83
Galois Theory — 0.83
Hyperbolic quaternion — 0.82

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

Not to Be Confused With¶

vector-space norm;
field norm as one scalar value;
ideal norm;
trace form;
arbitrary homogeneous form;
determinant form unrelated to a field extension;
absolute value of an algebraic norm.

References¶

[1] Philippe Gille and Tamás Szamuely, Central Simple Algebras and Galois Cohomology, 2^nd ed., Cambridge University Press, 2017, discussion of field norms and norm forms, https://doi.org/10.1017/CBO9780511542879. registry ↩

[2] T. D. Browning and collaborators, literature on polynomials represented by norm forms; see the defining setup in https://doi.org/10.1017/S1474748025000076. registry ↩

[3] Enrico Bombieri and Walter Gubler, Heights in Diophantine Geometry, Cambridge University Press, 2006. registry

[4] “Norm form,” Wikipedia, frozen evidence packet, https://en.wikipedia.org/wiki/Norm_form. registry