ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND.
|
|
- Magnus Wilkins
- 5 years ago
- Views:
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 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 informationDISCRETE 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 informationExplicit 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 informationIRREDUCIBILITY 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 informationCONSTRUCTION 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 informationAlgebraic 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 informationM3P14 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 informationFACTORIZATION 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 informationp-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 informationAlgebraic 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 informationUnits 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 informationAlgebraic 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 informationOn 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) [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 informationAlgebraic 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 informationThus, 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 informationMaximal 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 informationAlgebraic 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 informationRINGS 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
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 information18. 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 informationIntroduction 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 informationA 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 informationarxiv: 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 informationPlaces 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 informationPoints 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 informationNotes 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 informationTOTALLY 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 informationFive 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 informationChapter 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 informationGalois 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 informationThe 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 informationRamification 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 informationHamburger 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 information1, 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 informationA 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 informationx 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 informationComplex 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 informationA 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 informationFIELD 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 informationFORMAL 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 informationTHE 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 informationHomework 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 information1 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 informationOn 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 informationarxiv: 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 informationCYCLOTOMIC 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 informationRelative 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 informationContinuing 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 informationTo 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 informationALGEBRA 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 informationMATH 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 informationSolutions 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 informationMath 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 informationALGEBRA 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 informationCOUNTING 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 informationZsigmondy 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 informationLecture 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 informationx 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 informationTwo 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 informationPOWER 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 informationIdeal 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 information1 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 informationIDEAL 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 informationFinite 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 informationFACTORING 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 informationComputation 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 informationMath 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 informationw 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 informationDONG 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 information3. 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 informationQuasi-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 informationNORM 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 informationSolving 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 informationSOLVING 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 information1 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 informationON 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 informationChapter 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 informationSolutions 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 informationSEVERAL 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 informationNUMBER 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 information32 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 informationNOTES 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 informationProf. 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 informationCONSTRUCTIBLE 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 informationUnderstanding 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 informationIntegral 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 informationClass 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 informationHomework 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 informationA 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 informationARITHMETIC 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 informationExtension 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 informationSect 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 informationTOTALLY 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 informationAlgebra 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 informationLemma 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 informationA 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 informationbut 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 informationdisc 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 informationRigid 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