LMFDB definition

Discriminant of a number field

The discriminant of a number field KK is the square of the determinant of the matrix (σ1(β1)⋯σ1(βn)⋮⋮σn(β1)⋯σn(βn)) \left( \begin{array}{ccc} \sigma_1(\beta_1) & \cdots & \sigma_1(\beta_n) \\ \vdots & & \vdots \\ \sigma_n(\beta_1) & \cdots & \sigma_n(\beta_n) \\ \end{array} \right) where σ1,...,σn\sigma_1,..., \sigma_n are the embeddings of KK into the complex numbers C\mathbb{C}, and {β1,…,βn}\{\beta_1, \ldots, \beta_n\} is an integral basis for the ring of integers of KK.

The discriminant of KK is a non-zero integer divisible exactly by the primes which ramify in KK.

LMFDB source · reviewed

Alina Bucur, Holly Swisher, John Jones. CC BY-SA 4.0. Snapshot 2026-09-22; formatting adapted for this site.

All definitions →