Discriminant of an algebraic number field: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Chris Day
No edit summary
mNo edit summary
 
Line 23: Line 23:
:<math>A^\top A = \left( \sum_j \sigma_j(\omega_i) \sigma_j(\omega_k) \right) = \left(\operatorname{tr}(\omega_i\omega_k) \right) ,\,</math>
:<math>A^\top A = \left( \sum_j \sigma_j(\omega_i) \sigma_j(\omega_k) \right) = \left(\operatorname{tr}(\omega_i\omega_k) \right) ,\,</math>


and then taking determinants.
and then taking determinants.[[Category:Suggestion Bot Tag]]

Latest revision as of 17:00, 7 August 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

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.

An alternative definition makes use of the n different embeddings of K into the field of complex numbers C, say σ1, ...,σn:

We see that these definitions are equivalent by observing that if

then

and then taking determinants.