ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND.

Size: px
Start display at page:

Download "ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND."

Transcription

1 ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. IAN KIMING We will study the rings of integers and the decomposition of primes in cubic number fields K of type K = Q( 3 d) where d Z. Cubic number fields of this type are also called pure cubic number fields. Apart from the interest of the results in themselves, our objective is also to illustrate the power of the theory of ideals and prime decomposition: We determined in an exercise the ring of integers of K in a special case. We now deal with the general case and will see that things go much more smoothly when we use the theory of prime decomposition as our main tool. Obviously we may assume that d is cube free and > 1. One sees that one can then (in a unique fashion) write d in shape: d = ab 2 where a, b N, gcd(a, b) = 1, ab > 1, and ab square free. It will then be convenient to define: α := 3 ab 2 β := 3 a 2 b, so that α 2 = bβ. So, both α and β are both non-rational numbers in K; each of them is root of a certain monic polynomial of degree 3 with integer coefficients so they are also both algebraic integers in K. The above equation shows that 1, α, β is a Q-basis of K. It will be convenient to consider the number θ := α a O K. One sees that θ satisfies the equation: ( ) θ 3 + 3aθ 2 + 3a 2 θ + a(a 2 b 2 ) = 0 which must be the minimal equation for θ as clearly K = Q(θ). We denote by D K the discriminant of K, i.e., the discriminant of the ring O K of integers in K. Theorem 1. (i). Suppose that a 2 b 2 (9). Then O K = Z(1, α, β) and D K = 27a 2 b 2. (ii). Suppose a 2 b 2 (9). Put γ := 1 + aα + bβ 3. Then O K = Z(α, β, γ) and D K = 3a 2 b 2. This result was first proved by Dedekind, cf. [1]. We will break the proof up into a number of smaller steps. 1

2 2 IAN KIMING Lemma 1. We have (1, α, β) = 27a 2 b 2, and the index [O K : Z(1, α, β)] is a divisor of 3ab. Proof. Let ζ be a primitive 3 rd root of unity, i.e., a root of x 2 + x + 1. The 3 embeddings K C are then characterized by (α, β) (α, β), (α, β) (ζα, ζ 2 β), and (α, β) (ζ 2 α, ζβ), respectively. Now we compute: 1 α β det 1 ζα ζ 2 β = αβ det 1 ζ ζ 2 = αβ (ζ 1)(ζ 2 1)(ζ 2 ζ) 1 ζ 2 α ζβ 1 ζ 2 ζ = αβ (ζ 3 ζ ζ 2 + 1)(ζ 2 ζ) = 3αβ (ζ 2 ζ), where we used the formula for a Vandermonde determinant. We know that the discriminant (1, α, β) is the square of this determinant so the first claim now follows from α 2 β 2 = a 2 b 2 and (ζ 2 ζ) 2 = ζ + ζ 2 2 = 3. By general theory we have then: 27a 2 b 2 = (1, α, β) = D K [O K : Z(1, α, β)] 2 which first implies (since D K is an integer) that 3D K is a square, and then that [O K : Z(1, α, β)] 2 is a divisor of (3ab) 2. Hence the second claim. So now the task at hand is to determine the index [O K : Z(1, α, β)]. The main idea is that studying the decomposition of prime divisors of 3ab will be helpful in this determination. Proposition 1. Suppose that p is a prime number dividing ab. The p decomposes in K as: with p a prime ideal of O K. po K = p 3 Proof. Suppose that p j a and let p be a prime divisor of p in K. Then p divides ab 2 = α 3, so that p must divide α. Then p 3 divides α 3 = ab 2. As gcd(a, b) = 1 and as ab is square free we have that ab 2 has form pm where p m. Then m is not divisible by p (since otherwise m Z p = Zp). Considering the prime decomposition of pm we then deduce that p 3 divides p. But then p necessarily has the stated decomposition as [K : Q] = 3 (remember that if po K = p e1 1 p es s where the prime ideals p i has inertia degree f i then 3 = [K : Q] = i e if i ). If p j b we can work similarly with β O K to obtain the desired conclusion. Proposition 2. The prime decomposition of 3 in K is as follows: { p 3, if a 2 b 2 (9) 3O K = p 2 1p 2, if a 2 b 2 (9).

3 ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. 3 Proof. If 3 j ab then a 2 b 2 (9) since ab is square free. The desired conclusion then follows from the previous proposition. So assume now that 3 ab. It is convenient to use some of our standard notation: For ω O K, ω 0, the integer ν p (ω) is defined as the power of p in the prime factorization of ω (that is, of the ideal ωo K ). Similarly we have ν p (c) for integers c 0 defined as the maximal power of p dividing c. Consider the number θ = α a satisfying the equation ( ) and let θ, θ, θ be the three conjugates of θ. Since now a 2 b 2 is divisible by 3 (as 3 ab) we see then that 3 divides θ 3 (as ideals in O K ). On the other hand we obtain from ( ) that ( ) 3a 2 = θθ + θθ + θ θ which implies 3 θ: For if 3 j θ then also 3 j θ and 3 j θ (consider an embedding g of K into C. Then g maps K to some algebraic number field K, and in fact any ideal of O K to an ideal of O K ; so g maps 3O K to 3O K because 3 Q. But it maps θo K to gθo K ). But then ( ) would imply 9 j 3a 2 and so 3 j a, contrary to assumption. Now we see that 3 can not split as a product of three distinct prime ideals: For if 3O K = p 1 p 2 p 3 with the p i prime ideals then p i j θ 3 for each i because 3 j θ 3 ; thus p i j θ for each i; were the p i distinct we would obtain 3O K = p 1 p 2 p 3 j θ, contradicting the above conclusion. It follows that 3 has a prime divisor p 1 such that p 2 1 j 3. We can then write: 3O K = p 2 1p 2 where a priori p 2 is just some ideal. However, upon taking norms we obtain 3 3 = N(3O K ) = N(p 1 ) 2 N(p 2 ); since N(p 1 ) is a non-trivial power of 3 we are forced to conclude N(p 2 ) = 3 which means that p 2 is a prime ideal (recall that N(p 2 ) = [O K : p 2 ]; since this index is 3 the ideal p 2 must be maximal). The decisive question is now whether the prime ideals p 1 and p 2 are equal. We see that we can finish the proof by showing p 1 = p 2 a 2 b 2 (9). To prove this it is convenient to write the equation ( ) as ( ) θ 3 + 3aαθ + a(a 2 b 2 ) = 0 (recall that θ := α a), and to define r := ν 3 (a 2 b 2 ) and s := ν p1 (θ). Suppose that p 1 = p 2 so that 3O K = p 3 1. Then 1 s 2: For we have 3 j θ 3 so that surely s 1; but we also know 3 θ, i.e., s < 3. Now, ν p1 (α) = 0 since otherwise 3O K = p 3 1 would divide α 3 = ab 2 contrary to our assumption 3 ab. Then we have: ν p1 (θ 3 ) = 3s, ν p1 (3aαθ) = 3 + s, ν p1 (a 2 b 2 ) = 3r. We must have 3s 3 + s (since s is not divisible by 3). Thus: ν p1 (θ 3 + 3aαθ) = minf3s, 3 + sg

4 4 IAN KIMING and by ( ) this minimum must coincide with 3r. But we can not have 3r = 3 + s since s is not divisible by 3. Hence, 3r = 3s < 3 + s 5 which gives first s = 1, and then r = 1. I.e., 9 a 2 b 2. Suppose then that p 1 p 2. Since 3 j θ 3 we also have p 2 j θ. Thus ν p2 (θ 3 + 3aαθ) 2. But by ( ) this valuation coincides with ν p2 (a(a 2 b 2 )) = ν p2 (a 2 b 2 ) = ν 3 (a 2 b 2 ). Thus 9 j a 2 b 2. Lemma 2. Suppose that p is a prime number dividing ab. Then p does not divide [O K : Z(1, α, β)]. Proof. Suppose that p divides both ab and the index [O K : Z(1, α, β)]. Since p divides this index there is a number ω O K such that ω Z(1, α, β) but pω Z(1, α, β). We will obtain a contradiction from this. ( ) As pω Z(1, α, β) we can write: pω = x + yα + zβ with x, y, z Z. Now, as p divides ab we have according to the previous proposition that p splits as po K = p 3. This decomposition implies: ν p (c) = 3 ν p (c), for c Z. Since p j ab we have that p divides either a or b. Suppose first that p j a. Then 3 ν p (α) = ν p (α 3 ) = ν p (ab 2 ) = 3 ν p (ab 2 ) = 3 as gcd(a, b) = 1 and ab square free. It follows that ν p (α) = 1. Working similarly with β 3 = a 2 b we find that ν p (β) = 2. Consider now the equation ( ). The equation implies x + yα + zβ 0 (p 3 ) whence in particular x 0 (p) as α β 0 (p). Since x Z we deduce p j x. Then x 0 (p 3 ) so that now yα + zβ 0 (p 3 ). Since β 0 (p 2 ) we have then yα 0 (p 2 ). As ν p (α) = 1 we must then have ν p (y) > 0, i.e., that p j y. But then y 0 (p 3 ) and so which implies p j z because ν p (β) = 2. zβ 0 (p 3 ) We now have that each of x, y, and z is divisible by p. But then ( ) shows that ω is in Z(1, α, β), contrary to assumption.

5 ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. 5 If p divides b we obtain a contradiction in an entirely similar fashion (we will then have ν p (α) = 2 and ν p (β) = 1). Proof of Theorem 1. By lemmas 1 and 2 the index k := [O K : Z(1, α, β)] is a divisor of 3ab but is not divisible by any prime divisor of ab. This implies that k is 1 or 3, and that k = 1 if 3 j ab. Also, by general theory and lemma 1 we have D K = (1, α, β)/k 2 = 3 (3/k) 2 a 2 b 2. We conclude that the proof of the theorem is finished if we can show k = 1 a 2 b 2 (9), and that O K = Z(α, β, γ) if k = 3 (where γ is defined as in the statement of the theorem). We may assume 3 ab since 3 j ab clearly implies a 2 b 2 (9), and also k = 1 as we just noted. Suppose first that a 2 b 2 (9). By Proposition 2 we have then 3O K = p 3 with p a prime ideal. From equation ( ) for θ = α a we first see that p j θ, and then that p 2 θ: For otherwise 3 ν 3 (a 2 b 2 ) = ν p (a 2 b 2 ) would be greater than 3 and so at least 6 whence ν 3 (a 2 b 2 ) 2, contradicting our assumption a 2 b 2 (9). Let now ω be an arbitrary number in O K. Since k is a divisor of 3 we certainly have 3ω Z(1, α, β), i.e., we have: 3ω = x + yα + zβ with x, y, z Z. It follows that 3bω = bx + by(θ + a) + z(θ + a) 2 since θ = α a and bβ = α 2. Thus: ( ) 3bω = x + y θ + z θ 2 where ( ) x := bx + aby + a 2 z, y := by + 2az, z := z. Now, ( ) certainly implies x + y θ + z θ 2 0 (p 3 ). Since p j θ but p 2 θ we can then deduce x y z 0 (3) in a completely similar way as in the proof of Lemma 2. Then ( ) implies x y z 0 (3) (as 3 ab). But then we have ω Z(1, α, β). We conclude that k = 1. Suppose then that a 2 b 2 (9). By Proposition 2 we have now 3O K = p 2 1p 2 with p 1, p 2 prime ideals. Equation ( ) for θ = α a certainly gives 3 j θ 3. We can then deduce p 1 p 2 j θ whence 3p 2 = p 2 1p 2 2 j θ 2, and so in particular: 3 j θ 2 = (α a) 2 = α 2 2aα + a 2 = bβ 2aα + a 2 = (1 + aα + bβ) + (a 2 1 3aα). As 3 a we have a 2 1 (3) so that certainly 3 j (a 2 1 3aα). We conclude that 3 j (1 + aα + bβ), i.e., that the number γ := 1 + aα + bβ 3

6 6 IAN KIMING is in O K. Since clearly γ Z(1, α, β) we cannot have k = 1, so k = 3. Since this index is a prime number we have O K = Z(1, α, β, η) if η is any number in O K that is not in Z(1, α, β). In particular we have O K = Z(1, α, β, γ) = Z(α, β, γ). Remark: Theorem 1 implies that the two distinct pure cubic fields Q( 3 6) and Q( 3 12) have the same discriminant Thus, in contrast to the situation for quadratic number fields, the discriminant of a cubic field does not determine the field. It is further of interest to note the following theorem. Theorem 2. The prime numbers that ramify in K are precisely the prime divisors of 3ab. Proof. According to Propositions 1 and 2 every prime divisor of 3ab ramifies in K. On the other hand we have K = Q(θ) where θ satisfies the equation ( ). By the usual formula the discriminant of this equation is 3 3 a 2 b 4. I.e., (θ) = 3 3 a 2 b 4. We know then that if p is a prime not dividing 3ab then p does not ramify in K; cf. for instance my note koch/decomposition.pdf, or chapter 3.8 of [2]. The theorem follows. References [1] R. Dedekind: Ueber die Anzahl der Idealklassen in reinen kubischen Zahlkörpern. J. Reine Angew. Math. 121 (1900), [2] H. Koch: Number Theory. Algebraic Numbers and Functions. Graduate Studies in Mathematics 24, AMS Department of Mathematics, University of Copenhagen, Universitetsparken 5, DK Copenhagen Ø, Denmark. address: kiming@math.ku.dk

Prime Decomposition. Adam Gamzon. 1 Introduction

Prime Decomposition. Adam Gamzon. 1 Introduction Prime Decomposition Adam Gamzon 1 Introduction Let K be a number field, let O K be its ring of integers, and let p Z be a prime. Since every prime of O K lies over a prime in Z, understanding how primes

More information

DISCRETE SUBGROUPS, LATTICES, AND UNITS.

DISCRETE SUBGROUPS, LATTICES, AND UNITS. DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1

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

IRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES.

IRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES. IRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES. IAN KIMING 1. Non-singular points and tangents. Suppose that k is a field and that F (x 1,..., x n ) is a homogeneous polynomial in n variables

More information

CONSTRUCTION OF THE REAL NUMBERS.

CONSTRUCTION OF THE REAL NUMBERS. CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to

More information

Algebraic number theory

Algebraic number theory Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim

More information

M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS

M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS 1. The Gaussian Integers Definition 1.1. The ring of Gaussian integers, denoted Z[i], is the subring of C consisting of all complex numbers

More information

FACTORIZATION OF IDEALS

FACTORIZATION OF IDEALS FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are

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

Algebraic number theory Revision exercises

Algebraic number theory Revision exercises Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the

More information

Units generating the ring of integers of complex cubic fields. Robert Tichy and Volker Ziegler. Project Area(s): Algorithmische Diophantische Probleme

Units generating the ring of integers of complex cubic fields. Robert Tichy and Volker Ziegler. Project Area(s): Algorithmische Diophantische Probleme FoSP Algorithmen & mathematische Modellierung FoSP Forschungsschwerpunkt Algorithmen und mathematische Modellierung Units generating the ring of integers of complex cubic fields Robert Tichy and Volker

More information

Algebraic integers of small discriminant

Algebraic integers of small discriminant ACTA ARITHMETICA LXXV.4 (1996) Algebraic integers of small discriminant by Jeffrey Lin Thunder and John Wolfskill (DeKalb, Ill.) Introduction. For an algebraic integer α generating a number field K = Q(α),

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

(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

Algebraic number theory Solutions to exercise sheet for chapter 4

Algebraic number theory Solutions to exercise sheet for chapter 4 Algebraic number theory Solutions to exercise sheet for chapter 4 Nicolas Mascot n.a.v.mascot@warwick.ac.uk), Aurel Page a.r.page@warwick.ac.uk) TAs: Chris Birkbeck c.d.birkbeck@warwick.ac.uk), George

More information

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

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

RINGS OF INTEGERS WITHOUT A POWER BASIS

RINGS OF INTEGERS WITHOUT A POWER BASIS RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We

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

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 In Lecture 6 we proved (most of) Ostrowski s theorem for number fields, and we saw the product formula for absolute values on

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

arxiv: v1 [math.nt] 13 May 2018

arxiv: v1 [math.nt] 13 May 2018 Fields Q( 3 d, ζ 3 ) whose 3-class group is of type (9, 3) arxiv:1805.04963v1 [math.nt] 13 May 2018 Siham AOUISSI, Mohamed TALBI, Moulay Chrif ISMAILI and Abdelmalek AZIZI May 15, 2018 Abstract: Let k

More information

Places of Number Fields and Function Fields MATH 681, Spring 2018

Places of Number Fields and Function Fields MATH 681, Spring 2018 Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote

More information

Points of Finite Order

Points of Finite Order Points of Finite Order Alex Tao 23 June 2008 1 Points of Order Two and Three If G is a group with respect to multiplication and g is an element of G then the order of g is the minimum positive integer

More information

Notes on Chapter 2 of Dedekind s Theory of Algebraic Integers

Notes on Chapter 2 of Dedekind s Theory of Algebraic Integers Notes on Chapter 2 of Dedekind s Theory of Algebraic Integers Jeremy Avigad October 23, 2002 These notes are not a comprehensive summary of Chapter 2, but, rather, an overview of the main ideas. 1 Background

More information

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient

More information

Five peculiar theorems on simultaneous representation of primes by quadratic forms

Five peculiar theorems on simultaneous representation of primes by quadratic forms Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

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

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

Ramification Theory. 3.1 Discriminant. Chapter 3

Ramification Theory. 3.1 Discriminant. Chapter 3 Chapter 3 Ramification Theory This chapter introduces ramification theory, which roughly speaking asks the following question: if one takes a prime (ideal) p in the ring of integers O K of a number field

More information

Hamburger Beiträge zur Mathematik

Hamburger Beiträge zur Mathematik Hamburger Beiträge zur Mathematik Nr. 712, November 2017 Remarks on the Polynomial Decomposition Law by Ernst Kleinert Remarks on the Polynomial Decomposition Law Abstract: we first discuss in some detail

More information

1, for s = σ + it where σ, t R and σ > 1

1, for s = σ + it where σ, t R and σ > 1 DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,

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

x by so in other words ( )

x by so in other words ( ) Math 210B. Norm and trace An interesting application of Galois theory is to help us understand properties of two special constructions associated to field extensions, the norm and trace. If L/k is a finite

More information

Complex Numbers. Rich Schwartz. September 25, 2014

Complex Numbers. Rich Schwartz. September 25, 2014 Complex Numbers Rich Schwartz September 25, 2014 1 From Natural Numbers to Reals You can think of each successive number system as arising so as to fill some deficits associated with the previous one.

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

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

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

THE SPLITTING FIELD OF X 3 7 OVER Q

THE SPLITTING FIELD OF X 3 7 OVER Q THE SPLITTING FIELD OF X 3 7 OVER Q KEITH CONRAD In this note, we calculate all the basic invariants of the number field K = Q( 3 7, ω), where ω = ( 1 + 3)/2 is a primitive cube root of unity. Here is

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

1 Number Fields Introduction Algebraic Numbers Algebraic Integers Algebraic Integers Modules over Z...

1 Number Fields Introduction Algebraic Numbers Algebraic Integers Algebraic Integers Modules over Z... Contents 1 Number Fields 3 1.1 Introduction............................ 3 1.2 Algebraic Numbers........................ 5 2 Algebraic Integers 7 2.1 Algebraic Integers......................... 7 2.2 Modules

More information

On squares in Lucas sequences

On squares in Lucas sequences On squares in Lucas sequences A. Bremner N. Tzanakis July, 2006 Abstract Let P and Q be non-zero integers. The Lucas sequence {U n (P, Q)} is defined by U 0 = 0, U 1 = 1, U n = P U n 1 QU n 2 (n 2). The

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

CYCLOTOMIC FIELDS CARL ERICKSON

CYCLOTOMIC FIELDS CARL ERICKSON CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and

More information

Relative Densities of Ramified Primes 1 in Q( pq)

Relative Densities of Ramified Primes 1 in Q( pq) International Mathematical Forum, 3, 2008, no. 8, 375-384 Relative Densities of Ramified Primes 1 in Q( pq) Michele Elia Politecnico di Torino, Italy elia@polito.it Abstract The relative densities of rational

More information

Continuing the pre/review of the simple (!?) case...

Continuing the pre/review of the simple (!?) case... Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m

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

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

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

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

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

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

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation

More information

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1 Zsigmondy s Theorem Lola Thompson Dartmouth College August 11, 2009 Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 1 / 1 Introduction Definition o(a modp) := the multiplicative order

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 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going

More information

x by so in other words ( )

x by so in other words ( ) Math 154. Norm and trace An interesting application of Galois theory is to help us understand properties of two special constructions associated to field extensions, the norm and trace. If L/k is a finite

More information

Two Diophantine Approaches to the Irreducibility of Certain Trinomials

Two Diophantine Approaches to the Irreducibility of Certain Trinomials Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;

More information

POWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS

POWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS MATHEMATICS OF COMPUTATION Volume 66, Number 220, October 1997, Pages 1689 1696 S 002-718(97)00868- POWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS Abstract. We consider the

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

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

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

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields. [Parts from Chapter 16. Also applications of FTGT] Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

More information

FACTORING AFTER DEDEKIND

FACTORING AFTER DEDEKIND FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents

More information

Computation of a Power Integral Basis of a Pure Cubic Number Field

Computation of a Power Integral Basis of a Pure Cubic Number Field Int. J. Contemp. Math. Sci., Vol. 2, 2007, no. 13, 601-606 Computation of a Power Integral Basis of a Pure Cubic Number Field L houssain EL FADIL Faculté Polydisciplinaire de Ouarzazat Ouarzazat-Morocco

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

w d : Y 0 (N) Y 0 (N)

w d : Y 0 (N) Y 0 (N) Upper half-plane formulas We want to explain the derivation of formulas for two types of objects on the upper half plane: the Atkin- Lehner involutions and Heegner points Both of these are treated somewhat

More information

DONG QUAN NGOC NGUYEN

DONG QUAN NGOC NGUYEN 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

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

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

NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY

NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY Introduction In a first course on algebraic number theory, a typical homework problem may possibly ask the student to determine the class group of a quadratic

More information

Solving Diophantine Equations With Unique Factorization

Solving Diophantine Equations With Unique Factorization Solving Diophantine Equations With Unique Factorization February 17, 2016 1 Introduction In this note we should how unique factorization in rings like Z[i] and Z[ 2] can be used to find integer solutions

More information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

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

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

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

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

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

NUMBER FIELDS WITHOUT SMALL GENERATORS

NUMBER FIELDS WITHOUT SMALL GENERATORS NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields

More information

32 Divisibility Theory in Integral Domains

32 Divisibility Theory in Integral Domains 3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

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

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even. 1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

Understanding hard cases in the general class group algorithm

Understanding hard cases in the general class group algorithm Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class

More information

Integral Bases. 1. Resultants

Integral Bases. 1. Resultants . Resultants Integral Bases Suppose f and g are polynomials in one or more variables including x) with integer coefficients. Say f = A 0 x m + A x m + + A m, g = B 0 x n + B x n + + B n, with A 0,...,

More information

Class numbers of cubic cyclic. By Koji UCHIDA. (Received April 22, 1973)

Class numbers of cubic cyclic. By Koji UCHIDA. (Received April 22, 1973) J. Math. Vol. 26, Soc. Japan No. 3, 1974 Class numbers of cubic cyclic fields By Koji UCHIDA (Received April 22, 1973) Let n be any given positive integer. It is known that there exist real. (imaginary)

More information

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Homework 4 Algebra. Joshua Ruiter. February 21, 2018 Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying

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

ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS

ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Math. J. Okayama Univ. 60 (2018), 155 164 ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Kenichi Shimizu Abstract. We study a class of integers called SP numbers (Sum Prime

More information

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

Sect Introduction to Rational Expressions

Sect Introduction to Rational Expressions 127 Sect 7.1 - Introduction to Rational Expressions Concept #1 Definition of a Rational Expression. Recall that a rational number is any number that can be written as the ratio of two integers where the

More information

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

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

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

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

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1 GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will

More information

Rigid Divisibility Sequences Generated by Polynomial Iteration

Rigid Divisibility Sequences Generated by Polynomial Iteration Rigid Divisibility Sequences Generated by Polynomial Iteration Brian Rice Nicholas Pippenger, Advisor Christopher Towse, Reader May, 2008 Department of Mathematics Copyright c 2008 Brian Rice. The author

More information