basis of ideal in algebraic number field
Theorem. Let 𝒪K be the maximal order of the algebraic number field
K of degree n. Every ideal 𝔞 of 𝒪K has a basis, i.e. there are in 𝔞 the linearly independent
numbers α1,α2,…,αn such that the numbers
m1α1+m2α2+…+mnαn, |
where the mi’s run all rational integers, form precisely all numbers of 𝔞. One has also
𝔞=(α1,α2,…,αn), |
i.e. the basis of the ideal can be taken for the system of generators of the ideal.
Since {α1,α2,…,αn} is a basis of the field extension K/ℚ, any element of 𝔞 is uniquely expressible in the form m1α1+m2α2+…+mnαn.
It may be proven that all bases of an ideal 𝔞 have the same discriminant Δ(α1,α2,…,αn), which is an integer; it is called the discriminant of the ideal. The discriminant of the ideal has the minimality property, that if β1,β2,…,βn are some elements of 𝔞, then
Δ(β1,β2,…,βn)≧ |
But if , then also the ’s form a basis of the ideal .
Example. The integers of the quadratic field are with . Determine a basis and the discriminant of the ideal a) , b) .
a) The ideal may be seen to be the principal ideal , since the both generators are of the form and on the other side, . Accordingly, any element of the ideal are of the form
where and are rational integers. Thus we can infer that
is a basis of the ideal concerned. So its discriminant is
b) All elements of the ideal have the form
(1) |
Especially the rational integers of the ideal satisfy , when and thus . This means that in the presentation we can assume to be . Now the rational portion in the form (1) of should be splitted into two parts so that the first would be always divisible by 7 and the second by , i.e. ; this equation may be written also as
By experimenting, one finds the simplest value , another would be . The first of these yields
i.e. we have the basis
The second alternative similarly would give
For both alternatives, .
Title | basis of ideal in algebraic number field |
Canonical name | BasisOfIdealInAlgebraicNumberField |
Date of creation | 2013-03-22 17:51:15 |
Last modified on | 2013-03-22 17:51:15 |
Owner | pahio (2872) |
Last modified by | pahio (2872) |
Numerical id | 9 |
Author | pahio (2872) |
Entry type | Theorem |
Classification | msc 12F05 |
Classification | msc 11R04 |
Classification | msc 06B10 |
Synonym | basis of ideal in number field |
Related topic | IntegralBasis |
Related topic | IdealNorm |
Related topic | AlgebraicNumberTheory |
Defines | basis of ideal |
Defines | ideal basis |
Defines | discriminant of the ideal |