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.

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

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.

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.

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.

Abstract Reasoning

1. Because field norm is multiplicative, F represents multiplication in L even though multiplication of coordinate vectors is not componentwise. 2. Scaling all variables by c multiplies F by c^n, proving degree-n homogeneity. 3. 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. 4.

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.

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