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

Size: px
Start display at page:

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

Transcription

1 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. Let K be an algebraic number field of degree n. Let O K denote the ring of integers of K. The field K is said to possess a power basis if there exists an element θ O K such that O K = Z+Zθ+ +Zθ n 1. A field having a power basis is called monogenic. For an extended history of monogenic number fields the reader should consult [3]. For recent work on this topic see [4,, 6, 8]. In this paper we exhibit infinitely many monogenic sextic fields with Galois group A 4. We prove the following result. Theorem. Let d Z. Set f d (x) := x 6 + (2d + 2)x 4 + (2d 1)x 2 1 Z[x]. (1.1) Let θ d C be a root of f d (x). Set K d = Q(θ d ). Then [K d : Q] = 6, Gal(f d ) A 4, and the fields K d (d Z) are distinct. Moreover K d is monogenic with ring of integers Z[θ d ] for infinitely many values of d. Remark. We prove that K d is monogenic whenever 4d 2 + 2d + 7 is squarefree, which occurs for infinitely many values of d by a result of Nagel [7]. We remark that Anai and Kondo [1] have stated without proof that Gal(x 6 + (2a + 2)x 4 + (2a 1)x 2 1) A 4 for all a Q for which x 6 + (2a + 2)x 4 + (2a 1)x 2 1 is irreducible in Q[x]. We show in Section 2 that f d (x) is, in fact, irreducible in Z[x] for all d Z (Lemma 2.2) and that Gal(f d ) A 4 for all d Z (Lemma 2.4). In Section 3 we complete the proof of the theorem. 2. Irreducibility and Galois Group of f d. Throughout this section d Z, f d (x) is given by (1.1), θ d C is a root of f d (x), and K d = Q(θ d ). Clearly [K d : Q] 6. We denote the splitting field of f d (x) by L d. 1

2 Lemma 2.1. (a) K d contains a unique cubic subfield C d. (b) C d is cyclic over Q. Proof. (a) Let g d (x) := x 3 + (2d + 2)x 2 + (2d 1)x 1 Z[x] so that g d (x 2 ) = f d (x). Suppose that g d (x) is reducible in Q[x]. As deg(g d (x)) = 3, g d (x) has a rational root r. As g d (x) Z[x], we have r Z. Then r g d (0)(= 1) so r = ±1. As g d ( 1) = 1 we have r 1 so r = 1. Hence, 4d + 1 = g d (1) = 0, contradicting d Z. Thus, g d (x) is irreducible in Q[x] so that Q(θd 2) is a cubic subfield of K d. Suppose C d = Q(θd 2) and F are two distinct cubic subfields of K d. Then the compositum field C d F is a subfield of K d of degree 9 over Q. Hence, 9 [K d : Q], contradicting [K d : Q] 6. We have shown that C d = Q(θd 2) is the unique cubic subfield of K d. (b) As disc(g d (x)) = (4d 2 + 2d + 7) 2, C d is a cyclic field. Lemma 2.2. f d (x) is irreducible in Q[x]. Proof. Suppose that f d (x) is reducible over Q so that [K d : Q] < 6. As 3 = [C d : Q] [K d : Q] we have [K d : Q] = 3. Thus, θ d is a root of an irreducible cubic in Z[x], say, h(x) = x 3 + ax 2 + bx + c. Clearly θ d is a root of h( x) and h( x) h(x). As θ d and θ d are roots of f d (x) it follows that f d (x) = h(x)h( x) = x 6 + ( a 2 + 2b)x 4 + (b 2 2ac)x 2 c 2. Equating constant terms of f d (x), we deduce that c = ±1. Next, equating the coefficients of x 4 and x 2, we obtain 2d + 2 = a 2 + 2b, 2d 1 = b 2 2ac. Eliminating d, we have (a c) 2 + (b 1) 2 = 1, 2

3 a contradiction, proving that f d (x) is irreducible in Q[x]. Lemma 2.3. [L d : Q] 12. Proof. Let ±φ 1, ±φ 2, ±φ 3 be the roots of f d (x) with φ 1 = θ d. Then 1 = f d (0) = φ 2 1φ 2 2φ 2 3 so φ 1 φ 2 φ 3 = ±1. Then L d = Q(φ 1, φ 2, φ 3 ) = Q(φ 1, φ 2 ) = C d (φ 1, φ 2 ) as C d = Q(θ 2 d ) = Q(φ2 1 ). Hence, [L d : C d ] 2 2 = 4 and so [L d : Q] = [L d : C d ][C d : Q] 4 3 = 12 by Lemma 2.1(a). Lemma 2.4. Gal(f d ) A 4. Proof. The field K d satisfies [K d : Q] = 6 (Lemma 2.2), K d contains a cubic subfield (Lemma 2.1(a)), and disc(f d ) = 2 6 (4d 2 + 2d + 7) 4 Z 2. Hence, from Cohen [2], we see that Gal(f d ) A 4 or S 4. By Lemma 2.3 we deduce that Gal(f d ) A 4. Lemma 2.. C d is the only subfield ( Q, K d ) of K d. Proof. This follows immediately from Lemmas 2.1 and Proof of Theorem. We begin by recalling the following result [8]. Lemma 3.1. Let f(x) = x n + a n 1 x n a 1 x + a 0 Z[x] be irreducible. Suppose that θ C is a root of f(x) and K = Q(θ). If p is a prime number such that p a 0 and p a 1, then the ideal < p > ramifies in K. We now prove our theorem. It is assumed throughout this section that d Z is such that 4d 2 + 2d + 7 is squarefree. If d 2 (mod 3), say d = 3m + 2 (m Z), then 4d 2 + 2d + 7 = 36m 2 + 4m (mod 9), a contradiction. Hence, d 2 (mod 3). As d Z we have (4d + 1) 2 1. Therefore, 4d 2 + 2d + 7 = (4d + 1) = 7. Also, (4d 2 + 2d + 7, 4d + 1) = (d + 7, 4d + 1) = (d + 7, 27) = 1 (3.1) 3

4 as d+7 0 (mod 3). Let p be a prime dividing 4d 2 +2d+7. As 4d 2 +2d+7 is assumed to be squarefree we have p 4d 2 + 2d + 7. Then from (3.1), we deduce that p 4d + 1. Let ( ) x 2d 2 k d (x) = 3 3 g d = x 3 3(4d 2 +2d+7)x+(4d+1)(4d 2 +2d+7). 3 Recall from the proof of Lemma 2.1(a) that g d (x) is irreducible in Q[x]. Hence, k d (x) is irreducible in Q[x]. A root of k d (x) is λ = 3θd 2 + (2d + 2) and Q(λ) = Q(3θd 2 + (2d + 2)) = Q(θ2 d ) = C d. Hence, by Lemma 3.1, the ideal < p > ramifies in C d so by Dedekind s Theorem p d(c d ). Thus, we have shown that every prime dividing 4d 2 + 2d + 7 divides d(c d ). As (4d 2 + 2d + 7) 2 = disc(g d ) = m 2 d(c d ) (3.2) for some m N, we see that every prime p dividing d(c d ) divides 4d 2 + 2d + 7. Thus, 4d 2 + 2d + 7 and d(c d ) are divisible by exactly the same set of primes. As 4d 2 + 2d + 7 is squarefree, we deduce from (3.2) that m = 1 and d(c d ) = (4d 2 + 2d + 7) 2. (3.3) Next, by the conductor-discriminant formula, see for example [2], we deduce using Lemma 2.1(a) and (3.3) that 4d 2 + 2d + 7) 4 d(k d ), say for some t N. Hence, d(k d ) = t(4d 2 + 2d + 7) 4 (3.4) 2 6 (4d 2 + 2d + 7) 4 = disc(f d ) = l 2 d(k d ) = l 2 t(4d 2 + 2d + 7) 4 (3.) for some l N. From (3.) we see that t = u 2 for some u N and lu = 2 3. Thus, u = 1, 2, 2 2 or 2 3 and d(k d ) = 2 α (4d 2 + 2d + 7) 4, α {0, 2, 4, 6}. We wish to show that α = 6. To do this it suffices to prove that none of the 32 elements { a0 + a 1 θ d + a 2 θ 2 d + a 3θ 3 d + a 4θ 4 d + θ d 2 } a 0, a 1, a 2, a 3, a 4 {0, 1} 4

5 is an algebraic integer. We just illustrate this with the element θ d + θ 3 d + θ4 d + θ d 2 as the remaining 31 elements can be treated in a similar manner. Let γ = θ d + θd 3 + θ4 d + θ d. We show first that γ does not belong to a proper subfield of K d. Suppose on the contrary that γ F, where F is a subfield of K d with F K d. Then by Lemma 2., γ C d. As γ = θ d (1 + θd 2 + θ4 d ) + θ4 d and θ2 d, θ4 d C d, we deduce that θ d C d, a contradiction. Hence, the minimal polynomial of γ over Q is of degree 6. Using MAPLE we find that the minimal polynomial of γ over Q is x 6 + a 1 x + a 2 x 4 + a 3 x 3 + a 4 x 2 + a x + a 6, where a 1 = (8d 2 + 8d + 12), a 2 = 32d + 64d d d d + 74, a 3 = (64d + 64d d d d + 76), a 4 = 64d + 208d 3 116d d 208, a = 32d d d d + 144, a 6 = (32d d d d + 104). Clearly, a = (4d4 + d d 2 + 9d + 13) d 3 + d (mod 2). Hence, 2 6 a 6 so that γ/2 is not an integer of K d. We treat the remaining 31 elements in a similar manner obtaining the same conclusion each time. Thus, we have proved that α = 6 and d(k d ) = 2 6 (4d 2 + 2d + 7) 4 = disc(f d ). Hence, { 1, θ d, θ 2 d, θ3 d, θ4 d, θ d} is an integral basis for Kd. As 4d 2 + 2d + 7 = 4d d (d, d 1 Z) = d = d 1,

6 we deduce that the fields K d are distinct. 4. Other Power Bases. If 4d 2 + 2d + 7 is squarefree, we have shown that {1, θ d, θ 2 d, θ3 d, θ4 d, θ d } is a power basis for the ring O K d of integers of K d. As N(θ d ) = 1, { 1, 1, 1 θ d θd 2, 1 θd 3, 1 θd 4, 1 } θd is also a power basis for O Kd, that is {1, φ d, φ 2 d, φ3 d, φ4 d, φ d } is a power basis for O Kd with φ d = 1 θ d = (2d 1)θ d + (2d + 2)θ 3 d + θ d. With d = 0 we carried out a computer search using an index form corresponding to { 1, θ d, θ 2 d, θ3 d, θ4 d, θ d}, and found five more power bases, namely the bases { 1, ψ i, ψ 2 i, ψ3 i, ψ4 i, ψ i } (i = 1, 2, 3, 4, ) with ψ 1 = 2θd 3 + θd, ψ 2 = 2θ d + 2θd 3 + θd, ψ 3 = 2θ d + θd 3 + θ d, ψ 4 = 2θ d + 3θd 3 + θd, ψ = 2θ d + 3θd 2 + 3θd 3 + θd 4 + θd. None of these power bases is an integer translate or a Galois conjugate of θ d. This can easily be checked by finding the minimal polynomials of the above elements and observing that they are distinct, even under integer translation. We do not know if there are any other power bases for this sextic field. Acknowledgement. The second and third authors were supported by grants from the Natural Sciences and Engineering Research Council of Canada. 6

7 Ref erences 1. H. Anai and T. Kondo, A Family of Sextic Polynomials With Galois Group A -the Computation of Splitting Fields and Galois Groups, Studies in the Theory of Computer Algebra and Its Applications, Kyoto, (199), H. Cohen, A Course in Computational Algebraic Number Theory, Springer-Verlag, I. Gaál, Diophantine Equations and Power Integral Bases: New Computational Methods, Birkhäuser, Boston, M. J. Lavallee, B. K. Spearman, K. S. Williams, and Q. Yang, Dihedral Quintic Fields With a Power Basis, Math. J. Okayama Univ., 47 (200), I. Járási, Power Integral Bases in Sextic Fields With a Cubic Subfield, Acta Sci. Math. (Szeged), 69 (2003), L. Miller-Sims and L. Robertson, Power Integral Bases for Real Cyclotomic Fields, Bull. Austral. Math. Soc., 71 (200), T. Nagel, Zur Arithmetik der Polynome, Abh. Math. Sem. Hamburg, 1 (1922), B. K. Spearman, A. Watanabe, and K. S. Williams, PSL(2,) Sextic Fields With a Power Basis, Kodai Math. J., 29 (2006), 12. Mathematics Subject Classification (2000): 11R21 Daniel Eloff Department of Mathematics and Statistics University of British Columbia Okanagan Kelowna, B.C. Canada V1V 1V7 dan.eloff@gmail.com Blair K. Spearman Department of Mathematics and Statistics University of British Columbia Okanagan Kelowna, B.C. Canada V1V 1V7 blair.spearman@ubc.ca Kenneth S. Williams School of Mathematics and Statistics Carleton University Ottawa, Ontario Canada K1S B6 williams@math.carleton.ca 7

INTEGRAL BASES FOR AN INFINITE FAMILY OF CYCLIC QUINTIC FIELDS*

INTEGRAL BASES FOR AN INFINITE FAMILY OF CYCLIC QUINTIC FIELDS* ASIAN J. MATH. Vol. 10, No. 4, pp. 765-772, December 2006 @ 2006 International Press 008 INTEGRAL BASES FOR AN INFINITE FAMILY OF CYCLIC QUINTIC FIELDS* DANIEL ELOFF?, BLAIR K. SPEAR MAN^^, AND KENNETH

More information

An Infinite Family of Non-Abelian Monogenic Number Fields

An Infinite Family of Non-Abelian Monogenic Number Fields An Infinite Family of Non-Abelian Monogenic Number Fields Ofer Grossman, Dongkwan Kim November 11, 2015 Abstract We study non-abelian monogenic algebraic number fields (i.e., non-abelian number fields

More information

Normal integral bases for Emma Lehmer s parametric family of cyclic quintics

Normal integral bases for Emma Lehmer s parametric family of cyclic quintics Journal de Théorie des Nombres de Bordeaux 16 (004), 15 0 Normal integral bases for Emma Lehmer s parametric family of cyclic quintics par Blair K. SPEARMAN et Kenneth S. WILLIAMS Résumé. Nous donnons

More information

On a Sequence of Nonsolvable Quintic Polynomials

On a Sequence of Nonsolvable Quintic Polynomials 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University

More information

A Normal Relative Integral Basis for the Normal Closure of a Pure Cubic Field over Q( 3)

A Normal Relative Integral Basis for the Normal Closure of a Pure Cubic Field over Q( 3) Int. J. Contemp. Math. Sciences, Vol. 3, 2008, no. 29, 1427-1432 A Normal Relative Integral Basis for the Normal Closure of a Pure Cuic Field over Q Blair K. Spearman Department of Mathematics and Statistics

More information

EXPLICIT DECOMPOSITION OF A RATIONAL PRIME IN A CUBIC FIELD

EXPLICIT DECOMPOSITION OF A RATIONAL PRIME IN A CUBIC FIELD EXPLICIT DECOMPOSITION OF A RATIONAL PRIME IN A CUBIC FIELD ŞABAN ALACA, BLAIR K. SPEARMAN, AND KENNETH S. WILLIAMS Received 19 June 5; Revised 19 February 6; Accepted 1 March 6 We give the explicit decomposition

More information

A Diophantine System and a Problem on Cubic Fields

A Diophantine System and a Problem on Cubic Fields International Mathematical Forum, Vol. 6, 2011, no. 3, 141-146 A Diophantine System and a Problem on Cubic Fields Paul D. Lee Department of Mathematics and Statistics University of British Columbia Okanagan

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

Integral bases and monogenity of pure fields

Integral bases and monogenity of pure fields arxiv:1809.10084v1 [math.nt] 26 Sep 2018 Integral bases and monogenity of pure fields István Gaál, and László Remete University of Debrecen, Mathematical Institute H 4002 Debrecen Pf.400., Hungary e mail:

More information

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary

More information

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz #A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain Introduction

PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain Introduction Functiones et Approximatio XXXV (2006), 249 259 PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain 2 Dedicated to Professor Eduard Wirsing on the occasion of his 75th birthday

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

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

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

A parametric family of quartic Thue equations

A parametric family of quartic Thue equations A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c

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

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

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS Acta Acad Paed Agriensis, Sectio Mathematicae 8 00) 79 86 POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS Gábor Nyul Debrecen, Hungary) Abstract We give a complete characterization of power integral

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

INTRODUCTORY ALGEBRAIC NUMBER THEORY

INTRODUCTORY ALGEBRAIC NUMBER THEORY INTRODUCTORY ALGEBRAIC NUMBER THEORY Algebraic number theory is a subject that came into being through the attempts of mathematicians to try to prove Fermat s last theorem and that now has a wealth of

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

x mv = 1, v v M K IxI v = 1,

x mv = 1, v v M K IxI v = 1, 18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source

More information

Solutions for Problem Set 6

Solutions for Problem Set 6 Solutions for Problem Set 6 A: Find all subfields of Q(ζ 8 ). SOLUTION. All subfields of K must automatically contain Q. Thus, this problem concerns the intermediate fields for the extension K/Q. In a

More information

WATSON'S METHOD OF SOLVING A QUINTIC EQUATION

WATSON'S METHOD OF SOLVING A QUINTIC EQUATION JP Jour. Algebra, Number Theory & Appl. 5(1) (2005), 49-73 WATSON'S METHOD OF SOLVING A QUINTIC EQUATION MELISA J. LAVALLEE Departlnelzt of Mathernatics and Statistics, Okalzagar~ University College Kelowl~a,

More information

On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px

On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px International Journal of Algebra, Vol. 3, 2009, no. 8, 401-406 On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px Angela J. Hollier, Blair K. Spearman and Qiduan Yang Mathematics, Statistics

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

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

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

DETERMINING GALOIS GROUPS OF REDUCIBLE POLYNOMIALS VIA DISCRIMINANTS AND LINEAR RESOLVENTS

DETERMINING GALOIS GROUPS OF REDUCIBLE POLYNOMIALS VIA DISCRIMINANTS AND LINEAR RESOLVENTS DETERMINING GALOIS GROUPS OF REDUCIBLE POLYNOMIALS VIA DISCRIMINANTS AND LINEAR RESOLVENTS CHAD AWTREY, TAYLOR CESARSKI, AND PETER JAKES Abstract. Let f(x) beapolynomialwithintegercoe cients of degree

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

ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND.

ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. 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

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

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

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

Finite fields: some applications Michel Waldschmidt 1

Finite fields: some applications Michel Waldschmidt 1 Ho Chi Minh University of Science HCMUS Update: 16/09/2013 Finite fields: some applications Michel Waldschmidt 1 Exercises We fix an algebraic closure F p of the prime field F p of characteristic p. When

More information

IRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS

IRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS IRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS NICOLAE CIPRIAN BONCIOCAT, YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE Abstract. We provide irreducibility conditions for polynomials

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

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

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

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

Binomial Thue equations and power integral bases in pure quartic fields

Binomial Thue equations and power integral bases in pure quartic fields arxiv:1810.00063v1 [math.nt] 27 Sep 2018 Binomial Thue equations and power integral bases in pure quartic fields István Gaál and László Remete University of Debrecen, Mathematical Institute H 4010 Debrecen

More information

Polynomials with nontrivial relations between their roots

Polynomials with nontrivial relations between their roots ACTA ARITHMETICA LXXXII.3 (1997) Polynomials with nontrivial relations between their roots by John D. Dixon (Ottawa, Ont.) 1. Introduction. Consider an irreducible polynomial f(x) over a field K. We are

More information

A Journey through Galois Groups, Irreducible Polynomials and Diophantine Equations

A Journey through Galois Groups, Irreducible Polynomials and Diophantine Equations A Journey through Galois Groups, Irreducible Polynomials and Diophantine Equations M. Filaseta 1, F. Luca, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia,

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

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

Explicit solution of a class of quartic Thue equations

Explicit solution of a class of quartic Thue equations ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting

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

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC

More information

University of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel

University of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel IRREDUCIBLE POLYNOMIALS WHICH ARE LOCALLY REDUCIBLE EVERYWHERE Robert Guralnick, Murray M. Schacher and Jack Sonn University of Southern California, Los Angeles, University of California at Los Angeles,

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

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

These warmup exercises do not need to be written up or turned in.

These warmup exercises do not need to be written up or turned in. 18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail

More information

RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS

RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS TODD COCHRANE, CRAIG V. SPENCER, AND HEE-SUNG YANG Abstract. Let k = F q (t) be the rational function field over F q and f(x)

More information

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY Christian Ballot Université de Caen, Caen 14032, France e-mail: ballot@math.unicaen.edu Michele Elia Politecnico di Torino, Torino 10129,

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

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

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

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

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

A linear resolvent for degree 14 polynomials

A linear resolvent for degree 14 polynomials A linear resolvent for degree 14 polynomials Chad Awtrey and Erin Strosnider Abstract We discuss the construction and factorization pattern of a linear resolvent polynomial that is useful for computing

More information

EFFICIENT COMPUTATION OF GALOIS GROUPS OF EVEN SEXTIC POLYNOMIALS

EFFICIENT COMPUTATION OF GALOIS GROUPS OF EVEN SEXTIC POLYNOMIALS EFFICIENT COMPUTATION OF GALOIS GROUPS OF EVEN SEXTIC POLYNOMIALS CHAD AWTREY AND PETER JAKES Abstract. Let f(x) =x 6 + ax 4 + bx 2 + c be an irreducible sextic polynomial with coe cients from a field

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

ON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS

ON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS ON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS M. Filaseta Mathematics Department University of South Carolina Columbia, SC 908 filaseta@math.sc.edu http://www.math.sc.edu/ filaseta/ T.-Y.

More information

Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

More information

ABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics

ABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics ABSTRACT Title of thesis: INVESTIGATION INTO SOLVABLE QUINTICS Maria-Victoria Checa, Master of Science, 2004 Thesis directed by: Professor Lawrence C. Washington Department of Mathematics Solving quintics

More information

An Approach to Hensel s Lemma

An Approach to Hensel s Lemma Irish Math. Soc. Bulletin 47 (2001), 15 21 15 An Approach to Hensel s Lemma gary mcguire Abstract. Hensel s Lemma is an important tool in many ways. One application is in factoring polynomials over Z.

More information

THE SPIEGELUNGSSATZ FOR p = 5 FROM A CONSTRUCTIVE APPROACH

THE SPIEGELUNGSSATZ FOR p = 5 FROM A CONSTRUCTIVE APPROACH Math. J. Okayama Univ. 47 (2005), 1 27 THE SPIEGELUNGSSATZ FOR p = 5 FROM A CONSTRUCTIVE APPROACH Yasuhiro KISHI Abstract. We describe explicitly the relation between the 5-ranks of the ideal class groups

More information

A TARGETED MARTINET SEARCH

A TARGETED MARTINET SEARCH A TARGETED MARTINET SEARCH ERIC D. DRIVER AND JOHN W. JONES Abstract. Constructing number fields with prescribed ramification is an important problem in computational number theory. In this paper, we consider

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

The genera representing a positive integer

The genera representing a positive integer ACTA ARITHMETICA 102.4 (2002) The genera representing a positive integer by Pierre Kaplan (Nancy) and Kenneth S. Williams (Ottawa) 1. Introduction. A nonsquare integer d with d 0 or 1 (mod 4) is called

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

M3P11/M4P11/M5P11. Galois Theory

M3P11/M4P11/M5P11. Galois Theory BSc and MSci EXAMINATIONS (MATHEMATICS) May-June 2014 This paper is also taken for the relevant examination for the Associateship of the Royal College of Science. M3P11/M4P11/M5P11 Galois Theory Date:

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

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

1 Spring 2002 Galois Theory

1 Spring 2002 Galois Theory 1 Spring 2002 Galois Theory Problem 1.1. Let F 7 be the field with 7 elements and let L be the splitting field of the polynomial X 171 1 = 0 over F 7. Determine the degree of L over F 7, explaining carefully

More information

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never

More information

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon

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

Determining the Galois group of a rational polynomial

Determining the Galois group of a rational polynomial JAH 1 Determining the Galois group of a rational polynomial Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523 hulpke@math.colostate.edu http://www.math.colostate.edu/

More information

ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0

ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 CHAD AWTREY, JAMES BEUERLE, AND MICHAEL KEENAN Abstract. Let f(x) beanirreducibledegreefourpolynomialdefinedover afieldf and

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

COLLOQUIUM MATHEMATICUM

COLLOQUIUM MATHEMATICUM COLLOQUIUM MATHEMATICUM VOL. 74 1997 NO. 1 ON PASCAL'S TRIANGLE MODULO p2 JAMES G. H U A RD (BUFFALO, N.Y.), BLAIR K. S P E ARM A N (KELOWNA, B.C.), AND KENNETH S. W I L L I A M S (OTTAWA, ONT.) 1. Introduction.

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

ON THE EQUATION X n 1 = BZ n. 1. Introduction

ON THE EQUATION X n 1 = BZ n. 1. Introduction ON THE EQUATION X n 1 = BZ n PREDA MIHĂILESCU Abstract. We consider the Diophantine equation X n 1 = BZ n ; here B Z is understood as a parameter. We give new conditions for existence of solutions to this

More information

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

More information

An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x]

An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x] An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x] Mark Kozek 1 Introduction. In a recent Monthly note, Saidak [6], improving on a result of Hayes [1], gave Chebyshev-type estimates

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

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

arxiv: v1 [math.nt] 4 Jun 2018

arxiv: v1 [math.nt] 4 Jun 2018 On the orbit of a post-critically finite polynomial of the form x d +c arxiv:1806.01208v1 [math.nt] 4 Jun 2018 Vefa Goksel Department of Mathematics University of Wisconsin Madison, WI 53706, USA E-mail:

More information

ERIC LARSON AND LARRY ROLEN

ERIC LARSON AND LARRY ROLEN PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant

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

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

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

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

On a Principal Ideal Domain that is not a Euclidean Domain

On a Principal Ideal Domain that is not a Euclidean Domain International Mathematical Forum, Vol. 8, 013, no. 9, 1405-141 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/imf.013.37144 On a Principal Ideal Domain that is not a Euclidean Domain Conan Wong

More information

Predictive criteria for the representation of primes by binary quadratic forms

Predictive criteria for the representation of primes by binary quadratic forms ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,

More information

ON A THEOREM OF TARTAKOWSKY

ON A THEOREM OF TARTAKOWSKY ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most

More information

RECOGNIZING GALOIS GROUPS S n AND A n

RECOGNIZING GALOIS GROUPS S n AND A n RECOGNIZING GALOIS GROUPS S n AND A n KEITH CONRAD 1. Introduction If f(x) K[X] is a separable irreducible polynomial of degree n and G f is its Galois group over K (the Galois group of the splitting field

More information