Integral Bases 1 / 14

Size: px

Start display at page:

Download "Integral Bases 1 / 14"

Margaret Louise Holmes
5 years ago
Views:

1 Integral Bases 1 / 14

2 Overview Integral Bases Norms and Traces Existence of Integral Bases 2 / 14

3 Basis Let K = Q(θ) be an algebraic number field of degree n. By Theorem 6.5, we may assume without loss of generality that θ is an algebraic integer. Definition A set of numbers β 1,... β s in K is said to form a basis for K over F if for each element β in K there exists a unique set of numbers d 1,..., d s such that β = d 1 β d s β s. 3 / 14

4 Integral Basis Definition A set of algebraic integers α 1,..., α s in K is called an integral basis of K if every algebraic integer γ in K can be written uniquely in the form where b 1,..., b s Z. γ = b 1 α b s α s 4 / 14

5 Integral Bases are Bases Lemma 6.7 An integral basis is a basis. Proof Idea Let α 1,, α s be an integral basis of K. Let β K and choose r Z so that rβ is an algebraic integer. We may write rβ = b 1 α b s α s β = b 1 r α b s r α s It remains to show that α 1,, α s is linearly independent over Q. 5 / 14

6 Conjugates for Q(θ) Let θ be algebraic of degree n over Q, with conjugates θ 1,..., θ n over Q. Let β Q(θ), with β = n 1 i=0 c iθ i = r(θ). Suppose that β has minimum polynomial g(x) of degree m over Q. Definition The conjugates of β for Q(θ) are the numbers β i = r(θ i ) for 1 i n. Note Observe that β has m conjugates over Q, but has n conjugates for Q(θ). By Theorem 5.7, we also have that m divides n. 6 / 14

7 Norms and Traces Let β Q(θ), where θ is algebraic of degree n over Q. Let β 1,..., β n be the conjugates of β for Q(θ). Definition The norm of β for Q(θ) is defined to be N(β) = N Q(θ) (β) = β 1 β n. The trace of β for Q(θ) is defined to be Tr(β) = Tr Q(θ) (β) = β β n. 7 / 14

8 Computing Norms and Traces Let β Q(θ), where θ is algebraic of degree n over Q. m Let g(x) = b j x j be the minimum polynomial for β over Q j=0 with roots β 1,..., β m. Then N(β) = (β 1 β m ) n/m = ( 1) n b n/m 0 and Tr(β) = n m (β β m ) = n m b m 1. 8 / 14

9 Multiplicativity of Norms and Additivity of Traces Theorem Let β, γ Q(θ). Then N(βγ) = N(β)N(γ) and Tr(β + γ) = Tr(β) + Tr(γ). 9 / 14

10 Integrality of Norms and Traces of Algebraic Integers Theorem Let β Q(θ). Then N(β) Q and Tr(β) Q. If β is an algebraic integer, then N(β) Z and Tr(β) Z. 10 / 14

11 Integrality of Discriminants of Bases Consisting of Algebraic Integers Lemma 6.8 If α 1,..., α n is any basis of Q(θ) over Q consisting only of algebraic integers, then [α 1,..., α n ] is a rational integer. Proof Idea This result follows from the last theorem since [α 1,..., α n ] = det((α i j) T )det((α i j)) = det(α (1) i α (1) j + α (2) i α (2) j + + α (n) i α (n) j ) = det(tr(α i α j )). 11 / 14

12 Existence of Integral Bases Theorem 6.9 Every algebraic number field has at least one integral basis. Proof Idea From the collection of all bases for Q(θ) consisting of algebraic integers, choose one whose discriminant has smallest (nonzero) magnitude. Let its elements be ω 1,..., ω n. Suppose FTSOC that ω 1,..., ω n is not an integral basis, and let ω be an algebraic integer which is not a Z-linear combination. We may suppose WLOG that ω = (a + r)ω 1 + a 2 ω 2 + a n ω n where a Z and 0 < r < 1. But then defining ω 1 = ω aω 1 and ω i = ω i for 2 i n, we deduce that ω 1,..., ω n is an integral basis with discriminant of smaller magnitude. 12 / 14

13 Invariance of Discriminants of Integral Bases Theorem 6.10 All integral bases for a given algebraic number field have the same discriminant. 13 / 14

14 Acknowledgement Statements of results follow the notation and wording of Pollard and Diamond s Theory of Algebraic Numbers. 14 / 14

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved