Discriminant of an algebraic number field

From Citizendium
Revision as of 18:03, 23 December 2008 by Richard Pinch (Talk | contribs) (new entry, just a start, more later)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In algebraic number theory, the discriminant of an algebraic number field is an invariant attached to an extension of algebraic number fields which describes the geometric structure of the ring of integers and also encodes ramification data.

The relative discriminant ΔK/L is attached to an extension K over L; the absolute discriminant of K refers to the case when L = Q.

Absolute discriminant

Let K be a number field of degree n over Q. Let OK denote the ring of integers or maximal order of K. As a free Z-module it has a rank n; take a Z-basis . The discriminant

Since any two Z-bases are related by a unimodular change of basis, the discriminant is independent of the choice of basis.