DONG QUAN NGOC NGUYEN

Size: px
Start display at page:

Download "DONG QUAN NGOC NGUYEN"

Transcription

1 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the multiplicative group G 4 3 Representation of units 5 References 14 Abstract In this paper, we prove a refinement of Hilbert s Satz 90 for the -cyclotomic function fields, where is a monic prime in F q[t ] Our result can be viewed as a function field analogue of Newman s theorem which is a refinement of Hilbert s Satz 90 for Q(ζ p)/q 1 Introduction Let q be be a power of a prime p, and let F q denote the finite field with q elements Let A F q [T ] be the ring of polynomials in the variable T over F q, and let k F q (T ) be the quotient field of A Let k alg denote an algebraic closure of k Let τ be the mapping defined by τ(x) x q, and let k τ denote the twisted polynomial ring Let C : A k τ (a C a ) be the Carlitz module, namely, C is an F q -algebra homomorphism such that C T T + τ Let m be a polynomial of positive degree, and set Λ m {λ k alg C m (λ) 0} We define a primitive m-th root of C to be a root of the polynomial C m (x) A[x] that generates the A-module Λ m Throughout the paper, for each polynomial m, we fix a primitive m-th root of C, and denote it by λ m The m-th cyclotomic function field, denoted by K m, is defined by K m k(λ m ) k(λ m ) It is known (see Hayes [3], or Rosen [7]) that K m is a field extension of k of degree Φ(m), where Φ( ) is a function field analogue of the classical Euler φ-function (We will recall the definition of Φ( ) in Section 2) There are many strong analogies between the m-th cyclotomic function fields K m and the classical cyclotomic fields Q(ζ m ) (see Goss [2], Hayes [3], Rosen [7], Thakur [8], or Villa Salvador [9]) Here the former letter m denotes a polynomial of positive degree in A, and the latter letter m stands for a positive integer in Z In this paper, we are interested in studying new analogous phenomena between the cyclotomic function fields and the classical cyclotomic fields Newman [6] proved a refinement of Hilbert s Satz 90 for the extensions Q(ζ p )/Q, where p > 3 is a prime, and ζ p denotes the p-th root of unity Recall that for a unit ɛ of norm 1 in Z[ζ p ], Hilbert s Satz 90 (see Hilbert [4], or Lang [5]) tells us that one can write ɛ as a quotient of conjugate integers in Z[ζ p ], ie, there exists an element δ Z[ζ p ] and an element σ Gal(Q(ζ p )/Q) such that δ Newman (see [6, Corollary, p357]) gave a refinement σ(δ) of Hilbert s Satz 90 by proving a sufficient and necessary condition for which such an element δ Date: April 18,

2 2 DONG QUAN NGOC NGUYEN can be chosen to be a unit in Z[ζ p ], and thus ɛ is a quotient of conjugate units in Z[ζ p ] In order to obtain this result, Newman proved a stronger result that provides a unique representation of a unit of norm 1 as a product of a power of a unit 1 ζe p 1 ζ p with a quotient of conjugate units More precisely, Newman proved the following Theorem 11 (Newman, see [6, Theorem, p353]) Fix an isomorphism between Gal(Q(ζ p /Q) and F p Z/(p 1)Z Let e be an integer such that e modulo p is a primitive root modulo p, and let σ e be the unique element of the Galois group Gal(Q(ζ p )/Q) that sends ζ p to ζp e Let G p be the multiplicative group consisting of all units of the form δ σ e (δ), where δ is a unit in Z[ζ p] Then for any unit ɛ of norm 1 in Z[ζ p ], there exist an integer l with 0 l p 2, and a unit α G p such that ( 1 ζ e ) l p α 1 ζ p ( 1 ζ e ) l p Furthermore the above representation is unique, ie, if α for some integer 1 ζ p l with 0 l p 2 and some unit α G p, then l l and α α Remark 12 In the original statement of Newman s theorem (see [6, Theorem, p353]), Newman assumes that ɛ is any unit in Q(ζ p ), which is erroneous Indeed ɛ must be a unit of norm 1 so that Hilbert s Satz 90 can apply In addition, the conclusion of Newman s theorem (see equation (1) in [6, Theorem, p353]) indicates that the unit ɛ must be of norm 1 (Note that in [6], Newman used the notation α instead of ɛ as in our paper) The aim of this paper is to prove a function field analogue of the above theorem, which can be viewed as a refinement of Hilbert s Satz 90 for the extensions K /k More explicitly, our main goal in this paper is to prove the following Theorem 13 (See Theorem 37) Let be a monic prime in A Let K be the -th cyclotomic function field, and let O be the ring of integers of K Let g be a primitive root modulo, and let σ g be the unique element of the Galois group Gal(K /k) that sends to C g ( ) Let G be the multiplicative group consisting of all units of the form δ σ g (δ), where δ is a unit in O Then for any unit ɛ of norm 1 in O, there exist an integer l with 0 l q deg( ) 2, and a unit α G such that ( ) l λ α C g ( ) ( ) l λ Furthermore the above representation is unique, ie, if α for some integer C g ( ) l with 0 l q deg( ) 2 and some unit α G, then l l and α α One can replace 1 ζe p in Theorem 11 by its inverse 1 ζ p 1 ζ p 1 ζp e, and obtain a similar representation for units of norm 1 that is equivalent to that of Theorem 11 It is well-known (see Rosen [7, Proposition 126]) that C g ( ) is a unit in O, and is a function field analogue of the unit 1 ζ p 1 ζp e in the number field setting Hence Theorem 13 can be viewed as a function field analogue of Newman s theorem

3 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS 3 Using the same ideas as in Newman [6], we also obtain a sufficient and necessary condition for which a unit of norm 1 in O can be written as a quotient of conjugate units This is a refinement of Hilbert s Satz 90 for the extensions K /k The structure of the paper is as follows In Section 2, we recall some basic notions and notation that will be used throughout the paper In Section 3, we prove Theorem 13 (see Theorem 37), and consequently obtain a refinement of Hilbert s Satz 90 (see Corollary 39) The proof of Theorem 13 uses the same ideas and approach as in the proof of Newman s theorem, but we need to introduce some modifications in many places to adapt the proof of Newman s theorem into the function field setting 2 Some basic notions The aim of this section is to recall some basic notions and fix some notation that that will be used throughout the paper For a polynomial m A of positive degree, we define Φ(m) to be the number of nonzero polynomials of degree less than deg(m) and relatively prime to m, ie, Φ(m) card((a/ma) ) The function Φ( ) is a function field analogue of the classical Euler φ-function Let m α s1 1 s h h be the prime factorization of m, where α F q, the i are monic primes in A, and the s i are positive integers It is well-known (see [7, Proposition 17]) that Φ(m) h h Φ( si i ) i1 i1 (q deg( s i i ) q deg( s i 1 i ) ) In particular, when m s for some monic prime and some positive integer s, Φ( s ) q deg( s) q deg( s 1) Recall that the m-th cyclotomic polynomial, denoted by Ψ m (x), is the minimal polynomial of λ m over k It is well-known (see Hayes [3], or Rosen [7]) that Ψ m (x) is the monic irreducible polynomial of degree Φ(m) with coefficients in A such that Ψ m (λ m ) 0 When m s for some monic prime and some positive integer s, we know from [3, Proposition 24] that (1) Ψ s(x) C s(x)/c s 1(x) From Rosen [7, Proposition 1211], one can write C (x) x + [, 1]x q +, +[, deg( ) 1]x qdeg( ) 1 + x qdeg( ), where [, i] A for each 1 i deg( ) 1 For s 1, the equation (1) tells us that Ψ (x) C (x) (2) + [, 1]x q 1 +, +[, deg( ) 1]x qdeg( ) x qdeg( ) 1 x When x 0, we obtain the following elementary result that will be useful in the proof of our main theorem Proposition 21 Ψ (0) 21 The Galois group Gal(K /k) For the rest of this paper, fix a monic prime of positive degree Let K be the -th cyclotomic function field, and let O be the ring of integers of K Note that when q 2 and deg( ) 1, K k So without loss of generality, we further assume that ( ) q > 2 or deg( ) > 1

4 4 DONG QUAN NGOC NGUYEN There is an isomorphism between Gal(K /k) and the multiplicative group (A/ A) (see Rosen [7, Chapter 12]) For each element m (A/ A), there exists an isomorphism σ m Gal(K /k) that is uniquely determined by the relation σ m ( ) C m ( ) The correspondence σ m m is an isomorphism from Gal(K /k) into the group (A/ A) Throughout the paper, fix an element g A such that g is a primitive root modulo, ie, g is a generator of the group (A/ A) Note that the order of (A/ A) is Φ( ) q deg( ) 1, and thus one can write (A/ A) g {g e 0 e q deg( ) 2} The next result is well-known Proposition 22 The isomorphism σ g Gal(K /k) is a generator of the cyclic group Gal(K /k) More precisely, σ g e( ) σg(λ e ) for each 0 e q deg( ) 2 Throughout the paper, we denote by Norm K /k( ) the norm of K over k Proposition 22 implies that for each element α K, Norm K /k(α) σ Gal(K /k) σ(α) q deg( ) 2 e0 σ e g(α) The following elementary result will be useful in the proof of our main theorem Proposition 23 Let α be a unit in O of norm 1 Then there exists an element δ O such that α δ σ g (δ) Proof Applying Hilbert s Satz 90 (see Lang [5]), there exists an element γ K such that (3) α γ σ g (γ) Since K k( ), one can write i γ a iλ i, b where the a i are in A, and b A \ {0} From (3), one gets i a iλ i α b ( i σ a ) δ iλ i σ g (δ), g b where δ i a iλ i A[ ] Since O A[ ] (see Rosen [7, Proposition 129]), our contention follows 22 Representation of integers in O, and the multiplicative group G Since the degree of K over k is Φ( ) q deg( ) 1, the next result is obvious Proposition 24 For each integer α O, there exists a unique polynomial P α (x) A[x] of degree at most q deg( ) 2 such that α P α ( ) Furthermore α 0 if and only if the polynomial P α (x) is identically zero For the rest of the paper, for each integer α O, we always denote by P α the unique polynomial satisfying α P α ( ) in Proposition 24 We call P α the polynomial representing α

5 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS 5 We now introduce the multiplicative group G that will be of interest in this paper Let G be the set consisting of all elements of the form α σ g (α), where α is a unit in O It is clear that G is a group Throughout this paper, we denote by U (O ) be the group of units of norm 1 in O The following result follows immediately Proposition 25 (i) G is a subgroup of U (O ) (ii) { } α G σ g (α) α is a unit in O (iii) { } Pα ( ) G P α (C g ( )) α is a unit in O, and P α (x) A[x] is the polynomial representing α 3 Representation of units In this section, we will prove Theorem 13 (see Theorem 37 As a consequence, we obtain a refinement of Hilbert s Satz 90 (see Corollary 39) We begin by proving several lemmas that we will need in the proof of our main theorem The next result is a function field analogue of Newman [6, Lemma 1] We follow the same ideas as in the proof of Newman [6, Lemma 1] to prove the next lemma Lemma 31 Let α be an integer in O, and let P α (x) A[x] be the polynomial representing α Assume that the following are true (i) P α(c g ( )) is a unit in O (Recall that g is a generator of the group (A/ A) ) P α ( ) (ii) gcd(p α (0), ) 1 (iii) the content of the polynomial P α (x) is 1, ie, the greatest common divisor of all coefficients of P α (x) is 1 Then α is a unit in O Remark 32 By (ii) in Lemma 31, one sees that the polynomial P α (x) is nonzero, and it thus follows from Proposition 24 that α P α ( ) 0 Proof Assume the contrary, ie, α is a non-unit in O Since α P α ( ), P α ( ) is also a non-unit in O Hence there exists a prime ideal q in O that divides P α ( ) Thus the ideal σ g (q) is prime, and is a prime ideal divisor of σ g (P α ( )) Since σ g (P α ( )) P α (σ g ( )) P α (C g ( )), it follows that σ g (q) is a prime ideal divisor of P α (C g ( )) We deduce from (i) that σ g (q) is also a prime ideal divisor of P α ( ) Since σ g is a generator of the Galois group Gal(K /k), every conjugate of the prime ideal q is a prime ideal divisor of P α ( ), ie, for every element σ Gal(K /k), σ(q) is a prime ideal divisor of P α ( ) We contend that gcd(p α ( ), ) 1; otherwise since O is a prime ideal in O (see Rosen [7, Proposition 127]), we deduce that O divides P α ( ), and thus P α (0) P α ( ) 0 (mod ) Since O ( O ) qdeg( ) 1 (see Rosen [7, Proposition 127]), we deduce that P α (0) 0 (mod ), which is a contradiction to (ii)

6 6 DONG QUAN NGOC NGUYEN Since the prime ideal σ(q) divides P α ( ) for every σ Gal(K /k), we deduce that σ(q) O for every σ Gal(K /k) Since q is a prime ideal, we know that Norm K /k(q) (pa) r for some monic prime p A and some positive integer r By [1, Theorem 351], and since O ( O ) qdeg( ) 1, we deduce that p By Rosen [7, Proposition 127], K is unramified at p, and thus po is the product of the distinct conjugates of q Therefore po divides P α ( )O, and thus (4) (5) One can write P α ( ) p P α (x) O h ɛ i x i, where the ɛ i are in A with ɛ h 0, and h deg(p α (x)) q deg( ) 2 By [7, Proposition 129], O A[ ], and since the minimal polynomial of over k is the -th cyclotomic polynomial Ψ (x) A[x] of degree exactly q deg( ) 1 (see Hayes [3] or Section 2), it follows from (4) and (5) that there exists an element of the form q deg( ) 2 j0 κ j λ j O A[ ] with the κ j A such that (6) Therefore P α ( ) p h i0 h i0 i0 q ɛ deg( ) i 2 p λi κ j λ j j0 ( ) q deg( ) ɛi p κ 2 i λ i κ i λ i 0 ih+1 Since h q deg( ) 2 and the minimal polynomial of over k is the -th cyclotomic polynomial Ψ (x) A[x] of degree exactly q deg( ) 1, we deduce from (6) that ɛ i p κ i 0 for every 0 i h Thus ɛ i pκ i for every 0 i h Therefore p divides gcd 0 i h (ɛ i ) This implies that the content of P α (x) is divisible by p, which is a contradiction to (iii) in Lemma 31 Thus α is a unit in O (7) (8) For each e 1, set One can also write (7) in the form ( ) ρ e σe 1 g ( ) σg(λ e σg e 1 λ ) σ g ( ) ρ e C g e 1() C g e( ) Let P ρe (x) A[x] be the polynomial representing ρ e From the above equation, one gets ( ) σ e 1 g ( ) P ρe (C g ( )) P ρe (σ g ( )) σ g (P ρe ( )) σ g (ρ e ) σ g σg(λ e, )

7 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS 7 and thus (9) P ρe (C g ( )) σe g( ) σ e+1 g ( ) ρ e+1 P ρe+1 ( ) Lemma 33 Let l be an integer 2, and set l h ρ e l Λ ρ e 1 Then (10) h2 e2 Proof For each h 1, we see that and it thus follows from (8) that l ρ h Λ 1 ρ 1 ρ l 1 1 h2 Therefore (10) follows immediately h h2 e2 ( ) l C g l( ) Λ λ C g ( ) l h2 h e2 ρ e ρ e 1 ρ h ρ 1, C g h 1( ) C g h( ) P ρe 1 (C g ( )) P ρe 1 ( ) ( Cg ( ) ) l 1 C g ( ) C g l( ) Let l q deg( ) 1 Note that ( ) in Subsection 21 implies that l 2 Since we deduce from Lemma 33 that (11) C g q deg( ) 1( ) σ g q deg( ) 1( ) σ qdeg( ) 1 g ( ), Λ ( ) 1 q deg( ) λ C g ( ) We summarize the above discussion in the following result Corollary 34 Let l be an integer Then there exist an integer e with 0 e q deg( ) 2 and an integer h such that the following are true: (i) l (q deg( ) 1)h + e; and (ii) ( ) l ( ) e λ λ Λ h C g ( ) C g ( ) From the definition of Λ in Lemma 33, Λ 1 clearly belongs to the multiplicative group G, and so does Λ h for any integer h (Recall that G is defined in Subsection 22) From Proposition 25 and Corollary 34, we obtain the following result Corollary 35 Let l be an integer Then there exist an integer e with 0 e q deg( ) 2 Q( ) and an element Q(C g ( )) G such that ( ) l ( ) e λ λ Q( ) C g ( ) C g ( ) Q(C g ( )) Lemma 36 Let Q(x) be a polynomial in A[x] such that Q( ) is a unit in O gcd(q(0), ) 1 Then

8 8 DONG QUAN NGOC NGUYEN Proof Let Q( ) By assumption, ɛ is a unit in O Assume the contrary, ie, divides Q(0) It is known (see Rosen [7, Proposition 127]) that O ( O ) qdeg( ) 1 Thus divides Q(0), and hence Q( ) Q(0) 0 (mod ), which is a contradiction since ɛ is a unit in O and O is a prime ideal in O (see Rosen [7, Proposition 127]) The next result is our main theorem in this paper, which can be viewed as a function field analogue of Newman [6, Theorem] The proof of the next theorem follows the same ideas as in the proof of Newman s theorem, but we need some modifications to adapt the proof of Newman s theorem into the function field setting Theorem 37 Let ɛ be a unit in O of norm 1 Then there exist an integer l with 0 l q deg( ) 2, and a polynomial Q(x) A[x] of degree at most q deg( ) 2 with Q( ) being a unit in O such that the following are true: (R1) ɛ can be represented in the form ( ) l ( ) λ Q(λ ) C g ( ) Q(C g ( )) (R2) The representation of ɛ in (R1) is unique, except that Q(x) can be replaced by υq(x) for some unit υ F q ; more precisely, if there exist an integer l with 0 l q deg( ) 2, and a polynomial Q (x) A[x] of degree at most q deg( ) 2 with Q ( ) being a unit in O such that ( λ C g ( ) ) l ( ) Q ( ), Q (C g ( )) then l l and Q (x) υq(x) for some unit υ F q Proof Let P ɛ (x) A[x] be the polynomial representing ɛ, ie, P ɛ ( ) By Lemma 36, (12) gcd(p ɛ (0), ) 1 By (12) and since g is a generator of the cyclic group (A/ A), and #(A/ A) q deg( ) 1, there exists an integer h with 0 h q deg( ) 2 such that (13) (14) Set P ɛ (0) g h (mod ) ( ) h 1 Cg ( ) α for some α K Since C g( ) is a unit in O, we see that α is a unit in O Let P α (x) A[x] be the polynomial representing α, and set ( ) q Cg (x) deg( ) +h 2 (15) Q(x) P α (x) x From Rosen [7, Proposition 1211], one can write C g (x) A[x] in the form C g (x) gx + [g, 1]x q + + [g, deg(g) 1]x qdeg(g) 1 + [g, deg(g)]x qdeg(g),

9 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS 9 where [g, i] A for each 1 i deg(g) Thus C g (x) (16) g + [g, 1]x q [g, deg(g)]x qdeg(g) 1 A[x] x Since q deg( ) + h 2 > 0, we see that Q(x) A[x] We see from (14) that ( ) q Cg ( ) deg( ) +h 2 Q( ) P α ( ) ( ) q Cg ( ) deg( ) 1 ɛ, and thus ( ) q Cg ( ) deg( ) 1 Q( ) P ɛ ( ) Q( ) ( Cg ( ) ) q deg( ) 1 0 ( ) q Cg (x) deg( ) 1 Since Q(x) P ɛ (x) A[x], and the -th cyclotomic polynomial Ψ (x) x is the minimal polynomial of, it follows from the above equation that Ψ (x) divides ( ) q Cg (x) deg( ) 1 Q(x) P ɛ (x) in A[x] Thus there exists a polynomial, say T (x) A[x] x such that ( ) q Cg (x) deg( ) 1 (17) Q(x) P ɛ (x) T (x)ψ (x) x Setting Z(x) C g(x) A[x], we see from (16) that x (18) Z(0) g From Proposition 21, and (17), we deduce that Q(0) Z(0) qdeg( ) 1 P ɛ (0) T (0)Ψ (0) T (0) 0 From (13), (15), (18), and the above equation, we deduce that (mod ) g qdeg( ) +h 2 P α (0) Z(0) qdeg( ) +h 2 P α (0) Q(0) Z(0) qdeg( ) 1 P ɛ (0) g qdeg( ) +h 1 and thus (19) P α (0) g (mod ) We know that σ g ( ) C g ( ), and thus C g( ) σ g( ) Since σ g is a generator of the Galois group Gal(K /k), it follows that ( ) ( ) Cg ( ) σg ( ) Norm K /k 1 Norm K /k Since ɛ is of norm 1, equation (14) and the above equation imply that α is also of norm 1 Applying Proposition 23, there exists an element δ O such that (20) (21) α δ σ g (δ) Let P δ (x) A[x] be the polynomial representing δ Since δ P δ ( ), one can write P δ ( ) δ λ e η, (mod ),

10 10 DONG QUAN NGOC NGUYEN where η O such that gcd(, η) 1, and e is a nonnegative integer Let P η (x) A[x] be the polynomial representing η Since η P η ( ) P η (0) (mod ), and O ( O ) qdeg( ) 1, we see that if divides P η (0), then the prime ideal O divides η, which is a contradiction Hence (22) gcd(p η (0), ) 1 Note that the polynomial P η (x) is not identical to zero since η 0 Let c(p η ) A be the content of the polynomial P η (x), ie, the greatest common divisor of all nonzero coefficients of P η (x) in A Obviously c(p η ) 0 Set (23) and let (24) R(x) P η(x) c(p η ) A[x], β R( ) P η( ) c(p η ) η c(p η ) O A[ ] Let P β (x) A[x] be the polynomial representing β Since deg(r(x)) deg(p η (x)) q deg( ) 2, the uniqueness implies that P β (x) R(x) (see Proposition 24) It follows from (23) that (25) α λe P η ( ) σ g (λ e P η ( )) λ e P η ( ) σ g (λ e )σ g (P η ( )) P β (x) P η(x) c(p η ) From (20) and (21), and since c(p η ) A, one sees that ( λ σ g ( ) and thus α It therefore follows from (14) that ) e c(p η )P β ( ) σ g (c(p η )P β ( )) ( ) e ( ) e λ P β ( ) C g ( ) P β (σ g ( )) λ P β ( ) C g ( ) P β (C g ( )) ( ) e λ P β ( ) C g ( ) σ g (P β ( )), (26) ( ) e h+1 λ P β ( ) C g ( ) P β (C g ( )) Since (i) C g ( ) is a unit in O, we deduce that P β ( ) P β (C g ( )) is a unit in O, or equivalently P β(c g ( )) P β ( ) is a unit in O From (22), (25), and since c(p η ) is the content of P η (x), we deduce that (ii) gcd(p β (0), ) 1 (iii) the content of the polynomial P β (x) is 1 Since P β (x) satisfies all the conditions in Lemma 31, we deduce that β P β ( ) is a unit P β ( ) in O, and thus P β (C g ( )) belongs to the group G (Recall that G is defined in Subsection

11 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS 11 22) By Corollary 35, there exist an integer l with 0 l q deg( ) 2, and an element P( ) P(C g ( )) G such that ( ) e h+1 ( ) l λ λ P( ) C g ( ) C g ( ) P(C g ( )), and it thus follows from (26) that ( ) l ( ) λ P(λ ) P β ( ) (27) C g ( ) P(C g ( )) P β (C g ( )) Since G is a multiplicative group, it follows from Proposition 25(iii) that there exists a polynomial Q(x) A[x] of degree at most q deg( ) 2 such that Q( ) is a unit in O, and Hence we deduce from (27) that P( ) P β ( ) P(C g ( )) P β (C g ( )) Q() Q(C g ( )) ( ) l ( ) λ Q(λ ), C g ( ) Q(C g ( )) which proves the first part of the theorem We now prove the uniqueness Assume that there exist another integer l with 0 l q deg( ) 2, and another polynomial Q (x) A[x] of degree at most q deg( ) 2 with Q ( ) being a unit in O such that (28) Hence (29) ( λ C g ( ) ( Cg ( ) ) l ( Q(λ ) Q(C g ( )) ) ) l ( ) Q(Cg ( )) Q( ) ( ) l ( ) λ Q ( ) C g ( ) Q (C g ( )) ( Cg ( ) ) l ( ) Q (C g ( )) Q ( ) By Rosen [7, Proposition 1211], C g (x) A[x] can be written in the form C g (x) gx + [g, 1]x q + + [g, deg(g)]x qdeg(g), where the [g, i] are in A, and [g, deg(g)] F q (30) and (31) C g (0) 0, C g ( ) g (mod ) is the leading coefficient of g It follows that Furthermore we deduce from Lemma 36 that gcd(q(0), ) 1 and gcd(q (0), ) 1 In particular this implies that Q(0), Q (0) are nonzero elements in A Hence it follows from (29), (30), and (31) that g l g l (mod ) Since O ( O ) qdeg( ) 1 (see Rosen [7, Proposition 127]), we deduce that g l g l (mod ) Without loss of generality, we assume that l l If l > l, then g l l 1 (mod ),

12 12 DONG QUAN NGOC NGUYEN and since g is a primitive root modulo, the above equation implies that #(A/ A) q deg( ) 1 divides l l This is a contradiction since 0 < l l < q deg( ) 1 Hence (32) l l By (28), and since σ g ( ) C g ( ), we deduce that Q( ) Q ( ) Q(C g( )) Q (C g ( )) σ g ( Q(λ ) Q ( ) Thus the unit Q() Q ( ) in O is invariant under the action of σ g Since σ g is a generator of the cyclic group Gal(K /k), the unit Q() is also invariant under the action of each member of Q ( ) Gal(K /k), and thus Q() Q ( ) is a unit in A This implies that Q() Q ( ) F q, and therefore there exists a unit υ F q such that (33) Q ( ) υq( ) Set κ Q ( ) By the assumption, we know that κ is a unit in O Since the polynomial Q (x) is of degree at most q deg( ) 2, it follows from Proposition 24 that Q (x) P κ (x), where P κ (x) A[x] is the polynomial representing κ On the other hand, we know from (33) that κ υq( ) Note that υq(x) is a polynomial in A[x] of degree at most q deg( ) 2 since υ F q Hence repeating the same arguments as above, one sees that υq(x) P κ (x), and thus (34) Q (x) υq(x) The second part of the theorem follows immediately from (32) and (34) Theorem 37 can be interpreted in terms of group theory Corollary 38 (i) G is a subgroup of U (O ) such that [U (O ) : G ] q deg( ) 1 (Recall that U (O ) is the group of units of norm 1 in O ) (ii) The quotient group U (O )/G is cyclic of order q deg( ) 1; furthermore U (O )/G is generated by C g ( ) G Hilbert s Satz 90 (see Hilbert [4]) tells us that for a unit ɛ U (O ), there exists an element δ O such that δ (see Proposition 23) The next result is a refinement of Hilbert s σ g (δ) Satz 90 for the extension K /k, which gives a sufficient and necessary condition under which an element in O is a quotient of conjugate units Corollary 39 Let ɛ U (O ) Then ɛ is the quotient of conjugate units in O if and only if P ɛ (0) 1 (mod ), where P ɛ (x) A[x] is the polynomial representing ɛ Proof Assume that ɛ is the quotient of conjugate units in O, ie, δ for some unit σ g e(δ) δ O, and some integer e with 0 e q deg( ) 2 (Recall that σ g is a generator of the Galois group Gal(K /k)) If e 0, then 1, and it is easy to see that the polynomial P ɛ (x) P 1 (x) 1 Hence P 1 (0) 1 (mod ) )

13 REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS 13 We now consider the case where e 1 Set e 1 α σ g i(δ) δ σ g (δ) σ g e 1(δ) i0 One can immediately verify that α is a unit in O, and (35) By Proposition 25, (35) that (36) δ σ g e(δ) α σ g (α) α σ g (α) belongs to the group G Since P ɛ ( ), we deduce from P ɛ ( ) α σ g (α) P α( ) P α (C g ( )), where P α (x) is the polynomial representing α Following the same arguments as in the proof of Theorem 37 (see equation (30)), we deduce that C g (0) 0 Using Lemma 36, we know that gcd(p α (0), ) 1; hence gcd(p α (0), ) 1 since O ( O ) qdeg( ) 1 and O is a prime ideal in O (see Rosen [7, Proposition 127]) In particular, this implies that P α (0) 0 (mod ) By (36), we see that and thus (37) P ɛ (0) P ɛ ( ) P α( ) P α (C g ( )) P α(0) P α (C g (0)) P α(0) P α (0) 1 P ɛ (0) 1 Conversely assume that ɛ U (O ) such that P ɛ (0) 1 (mod ) (mod ) By Theorem 37, one can write ɛ in the form ( ) l (38) λ Q( ) P ɛ ( ) C g ( ) Q(C g ( )), (mod ), where l is an integer such that 0 l q deg( ) 2, and Q(x) is a polynomial in A[x] of degree at most q deg( ) 2 such that Q( ) is a unit in O One can write (38) in the form ( ) l (39) Cg ( ) P ɛ ( ) Q() Q(C g ( )) Following the same arguments as in the proof of Theorem 37 (see equation (31)), we know that C g ( ) g (mod ), and thus (40) ( ) l Cg ( ) g l (mod ) Repeating the same arguments as in the first part of this proof, one can show that Q( ) Q(C g ( )) Q(0) Q(C g (0)) Q(0) Q(0) 1 and it thus follows from (39) and (40) that (41) g l P ɛ (0) 1 (mod ) (mod ),

14 14 DONG QUAN NGOC NGUYEN Since g l P ɛ (0) A, and O ( O ) qdeg( ) 1 (see Rosen [7, Proposition 127]), we deduce from (41) that and it thus follows from (37) that g l P ɛ (0) 1 g l 1 (mod ), (mod ) Since g is a generator of the cyclic group (A/ A), and the order of (A/ A) is q deg( ) 1, the above equation implies that l 0 Therefore we deduce from (38) that Q() Q(C g ( )) Q() Q(σ g ( )) Q() σ g (Q( )) κ σ g (κ), where κ Q( ) is a unit in O Thus our contention follows Remark 310 Corollary 39 is a function field analogue of Newman [6, Corollary, p357] References [1] DM Goldschmidt, Algebraic functions and projective curves, Graduate Texts in Mathematics, 215 Springer Verlag, New York, (2003) [2] D Goss, Basic structures of function field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 35, Springer-Verlag, Berlin, (1996) [3] DR Hayes, Explicit class field theory for rational function fields, Trans Amer Math Soc 189 (1974), [4] D Hilbert, Die Theorie der algebraischen Zahlköper, Jahresber Deutsch Math-Verein 4 (1897), Reprinted in the first volume of Hilbert s collected works, Springer (1932) [5] S Lang, Algebra, Addison Wesley Publishing Co, Inc, Reading, Mass (1965) [6] M Newman, Cyclotomic units and Hilbert s Satz 90, Acta Arith 41 (1982), no 4, [7] M Rosen, Number theory in function fields, Graduate Texts in Mathematics, 210 Springer-Verlag, New York (2002) [8] DS Thakur, Function Field Arithmetic, World Scientific Publishing Co, Inc, River Edge, NJ (2004) [9] GD Villa Salvador, Topics in the theory of algebraic function fields, Mathematics: Theory & Applications Birkhäuser Boston, Inc, Boston, MA (2006) Department of Applied and Computational Mathematics and Statistics, University of Notre Dame, Notre Dame, Indiana 46556, USA address: dongquanngocnguyen@ndedu

arxiv: v3 [math.nt] 4 Nov 2015

arxiv: v3 [math.nt] 4 Nov 2015 FUNCTION FIELD ANALOGUES OF BANG ZSIGMONDY S THEOREM AND FEIT S THEOREM arxiv:1502.06725v3 [math.nt] 4 Nov 2015 NGUYEN NGOC DONG QUAN Contents 1. Introduction 1 1.1. A Carlitz module analogue of Bang Zsigmondy

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field

More information

On a Theorem of Dedekind

On a Theorem of Dedekind On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an

More information

A Note on Cyclotomic Integers

A Note on Cyclotomic Integers To the memory of Alan Thorndike, former professor of physics at the University of Puget Sound and a dear friend, teacher and mentor. A Note on Cyclotomic Integers Nicholas Phat Nguyen 1 Abstract. In this

More information

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism 1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

More information

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013 The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

On metacyclic extensions

On metacyclic extensions On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic

More information

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

More information

Polynomials. Chapter 4

Polynomials. Chapter 4 Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

Section IV.23. Factorizations of Polynomials over a Field

Section IV.23. Factorizations of Polynomials over a Field IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

More information

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series. 6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

EXPLICIT INTEGRAL BASIS FOR A FAMILY OF SEXTIC FIELD

EXPLICIT INTEGRAL BASIS FOR A FAMILY OF SEXTIC FIELD Gulf Journal of Mathematics Vol 4, Issue 4 (2016) 217-222 EXPLICIT INTEGRAL BASIS FOR A FAMILY OF SEXTIC FIELD M. SAHMOUDI 1 Abstract. Let L be a sextic number field which is a relative quadratic over

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

ϕ : Z F : ϕ(t) = t 1 =

ϕ : Z F : ϕ(t) = t 1 = 1. Finite Fields The first examples of finite fields are quotient fields of the ring of integers Z: let t > 1 and define Z /t = Z/(tZ) to be the ring of congruence classes of integers modulo t: in practical

More information

THE ARTIN-SCHREIER THEOREM KEITH CONRAD

THE ARTIN-SCHREIER THEOREM KEITH CONRAD THE ARTIN-SCHREIER THEOREM KEITH CONRAD 1. Introduction The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic closure

More information

Kummer Type Extensions in Function Fields

Kummer Type Extensions in Function Fields International Journal of Algebra, Vol. 7, 2013, no. 4, 157-166 HIKARI Ltd, www.m-hikari.com Kummer Type Extensions in Function Fields Marco Sánchez-Mirafuentes Universidad Autónoma Metropolitana Unidad

More information

Cover Page. The handle holds various files of this Leiden University dissertation.

Cover Page. The handle   holds various files of this Leiden University dissertation. Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter

More information

NOTES Edited by William Adkins. On Goldbach s Conjecture for Integer Polynomials

NOTES Edited by William Adkins. On Goldbach s Conjecture for Integer Polynomials NOTES Edited by William Adkins On Goldbach s Conjecture for Integer Polynomials Filip Saidak 1. INTRODUCTION. We give a short proof of the fact that every monic polynomial f (x) in Z[x] can be written

More information

Algebraic proofs of Dirichlet s theorem on arithmetic progressions

Algebraic proofs of Dirichlet s theorem on arithmetic progressions Charles University in Prague Faculty of Mathematics and Physics BACHELOR THESIS Martin Čech Algebraic proofs of Dirichlet s theorem on arithmetic progressions Department of Algebra Supervisor of the bachelor

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

Solutions of exercise sheet 11

Solutions of exercise sheet 11 D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

A new family of character combinations of Hurwitz zeta functions that vanish to second order

A new family of character combinations of Hurwitz zeta functions that vanish to second order A new family of character combinations of Hurwitz zeta functions that vanish to second order A. Tucker October 20, 2015 Abstract We prove the second order vanishing of a new family of character combinations

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

1/30: Polynomials over Z/n.

1/30: Polynomials over Z/n. 1/30: Polynomials over Z/n. Last time to establish the existence of primitive roots we rely on the following key lemma: Lemma 6.1. Let s > 0 be an integer with s p 1, then we have #{α Z/pZ α s = 1} = s.

More information

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1

More information

Power integral bases in prime-power cyclotomic fields. January 21, 2005

Power integral bases in prime-power cyclotomic fields. January 21, 2005 Power integral bases in prime-power cyclotomic fields István Gaál Mathematical Institute University of Debrecen H-4010 Debrecen Pf. 12, Hungary E-mail: igaal@math.klte.hu Leanne Robertson Department of

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD

FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD For a prime p, we call p regular when the class number h p = h(q(ζ p )) of the pth cyclotomic field is not divisible by p. For instance, all primes

More information

A Weil bound free proof of Schur s conjecture

A Weil bound free proof of Schur s conjecture A Weil bound free proof of Schur s conjecture Peter Müller Department of Mathematics University of Florida Gainesville, FL 32611 E-mail: pfm@math.ufl.edu Abstract Let f be a polynomial with coefficients

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

CYCLOTOMIC EXTENSIONS

CYCLOTOMIC EXTENSIONS CYCLOTOMIC EXTENSIONS KEITH CONRAD 1. Introduction For a positive integer n, an nth root of unity in a field is a solution to z n = 1, or equivalently is a root of T n 1. There are at most n different

More information

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

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

More information

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group. Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions

More information

Homework 4 Solutions

Homework 4 Solutions Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

A Generalization of Wilson s Theorem

A Generalization of Wilson s Theorem A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

Galois Theory of Cyclotomic Extensions

Galois Theory of Cyclotomic Extensions Galois Theory of Cyclotomic Extensions Winter School 2014, IISER Bhopal Romie Banerjee, Prahlad Vaidyanathan I. Introduction 1. Course Description The goal of the course is to provide an introduction to

More information

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We

More information

Problem 1. Characterizing Dedekind domains (64 points)

Problem 1. Characterizing Dedekind domains (64 points) 18.785 Number Theory I Fall 2017 Problem Set #2 Description These problems are related to the material covered in Lectures 3 5. Your solutions are to be written up in latex (you can use the latex source

More information

arxiv: v1 [math.nt] 2 Jul 2009

arxiv: v1 [math.nt] 2 Jul 2009 About certain prime numbers Diana Savin Ovidius University, Constanţa, Romania arxiv:0907.0315v1 [math.nt] 2 Jul 2009 ABSTRACT We give a necessary condition for the existence of solutions of the Diophantine

More information

Finite fields Michel Waldschmidt

Finite fields Michel Waldschmidt Finite fields Michel Waldschmidt http://www.imj-prg.fr/~michel.waldschmidt//pdf/finitefields.pdf Updated: 03/07/2018 Contents 1 Background: Arithmetic 1.1 Cyclic groups If G is a finite multiplicative

More information

Ideal class groups of cyclotomic number fields I

Ideal class groups of cyclotomic number fields I ACTA ARITHMETICA XXII.4 (1995) Ideal class groups of cyclotomic number fields I by Franz emmermeyer (Heidelberg) 1. Notation. et K be number fields; we will use the following notation: O K is the ring

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Section V.8. Cyclotomic Extensions

Section V.8. Cyclotomic Extensions V.8. Cyclotomic Extensions 1 Section V.8. Cyclotomic Extensions Note. In this section we explore splitting fields of x n 1. The splitting fields turn out to be abelian extensions (that is, algebraic Galois

More information

Galois Representations

Galois Representations Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I

IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields

More information

MATH 361: NUMBER THEORY TENTH LECTURE

MATH 361: NUMBER THEORY TENTH LECTURE MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a

More information

To Professor W. M. Schmidt on his 60th birthday

To Professor W. M. Schmidt on his 60th birthday ACTA ARITHMETICA LXVII.3 (1994) On the irreducibility of neighbouring polynomials by K. Győry (Debrecen) To Professor W. M. Schmidt on his 60th birthday 1. Introduction. Denote by P the length of a polynomial

More information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

More information

Factorization of integer-valued polynomials with square-free denominator

Factorization of integer-valued polynomials with square-free denominator accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday

More information

3. The Carlitz Module

3. The Carlitz Module 3 The Carlitz Module We present here the details of the Carlitz module This is the simplest of all Drinfeld modules and may be given in a concrete, elementary fashion At the same time, most essential ideas

More information

arxiv: v3 [math.nt] 15 Dec 2016

arxiv: v3 [math.nt] 15 Dec 2016 Lehmer s totient problem over F q [x] arxiv:1312.3107v3 [math.nt] 15 Dec 2016 Qingzhong Ji and Hourong Qin Department of Mathematics, Nanjing University, Nanjing 210093, P.R.China Abstract: In this paper,

More information

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H 22. Galois theory 22.1 Field extensions, imbeddings, automorphisms 22.2 Separable field extensions 22.3 Primitive elements 22.4 Normal field extensions 22.5 The main theorem 22.6 Conjugates, trace, norm

More information

A 4 -SEXTIC FIELDS WITH A POWER BASIS. Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams

A 4 -SEXTIC FIELDS WITH A POWER BASIS. Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams A 4 -SEXTIC FIELDS WITH A POWER BASIS Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams Abstract. An infinite family of monogenic sextic fields with Galois group A 4 is exhibited. 1. Introduction.

More information

Dirichlet s Theorem and Algebraic Number Fields. Pedro Sousa Vieira

Dirichlet s Theorem and Algebraic Number Fields. Pedro Sousa Vieira Dirichlet s Theorem and Algebraic Number Fields Pedro Sousa Vieira February 6, 202 Abstract In this paper we look at two different fields of Modern Number Theory: Analytic Number Theory and Algebraic Number

More information

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS STEVEN H. WEINTRAUB ABSTRACT. We present a number of classical proofs of the irreducibility of the n-th cyclotomic polynomial Φ n (x).

More information

A talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun

A talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun A tal given at University of Wisconsin at Madison April 6, 2006. RECENT PROGRESS ON CONGRUENCES INVOLVING BINOMIAL COEFFICIENTS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

LECTURE NOTES IN CRYPTOGRAPHY

LECTURE NOTES IN CRYPTOGRAPHY 1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.

THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial

More information

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n ) A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be

More information

Contents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains

Contents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains Ring Theory (part 4): Arithmetic and Unique Factorization in Integral Domains (by Evan Dummit, 018, v. 1.00) Contents 4 Arithmetic and Unique Factorization in Integral Domains 1 4.1 Euclidean Domains and

More information

ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III

ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of

More information

Some Remarks on the Discrete Uncertainty Principle

Some Remarks on the Discrete Uncertainty Principle Highly Composite: Papers in Number Theory, RMS-Lecture Notes Series No. 23, 2016, pp. 77 85. Some Remarks on the Discrete Uncertainty Principle M. Ram Murty Department of Mathematics, Queen s University,

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to

More information