Just like the ring of Gaussian integers, the ring of Eisenstein integers is a Unique Factorization Domain.

Similar documents
ALGEBRAIC NUMBER THEORY PART II (SOLUTIONS) =

School of Mathematics

Introduction to Algebraic Number Theory Part I

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

Homework 6 Solution. Math 113 Summer 2016.

1. Factorization Divisibility in Z.

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

OSTROWSKI S THEOREM FOR Q(i)

18. Cyclotomic polynomials II

Prime Numbers and Irrational Numbers

QUADRATIC RINGS PETE L. CLARK

Introduction to Number Theory

arxiv: v1 [math.nt] 29 Feb 2016

Test 2. Monday, November 12, 2018

Homework due on Monday, October 22

Math 412: Number Theory Lecture 26 Gaussian Integers II

FACTORING IN QUADRATIC FIELDS. 1. Introduction

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

(IV.C) UNITS IN QUADRATIC NUMBER RINGS

Algebraic Number Theory and Representation Theory

M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS

Selected Math 553 Homework Solutions

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

Explicit Methods in Algebraic Number Theory

0.1 Valuations on a number field

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

PMATH 340 Lecture Notes on Elementary Number Theory. Anton Mosunov Department of Pure Mathematics University of Waterloo

Chapter One Hilbert s 7th Problem: It s statement and origins

Wilson s Theorem and Fermat s Little Theorem

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

Notes on Continued Fractions for Math 4400

FERMAT S LAST THEOREM FOR n = 3, NOTES FOR MATH In these notes, we prove Fermat s Last Theorem for n = 3.

8. Dirichlet s Theorem and Farey Fractions

Table of Contents. 2013, Pearson Education, Inc.

Contest Number Theory

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c

Algebraic Number Theory

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Simultaneous Diophantine Approximation with Excluded Primes. László Babai Daniel Štefankovič

Fields in Cryptography. Çetin Kaya Koç Winter / 30

Fermat s Last Theorem for Regular Primes

Number Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru

Direction: You are required to complete this test by Monday (April 24, 2006). In order to

Mathematics 324 Riemann Zeta Function August 5, 2005

Perspectives of Mathematics

THE UNIT GROUP OF A REAL QUADRATIC FIELD

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations

Winter Camp 2009 Number Theory Tips and Tricks

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.

Solutions I.N. Herstein- Second Edition

HMMT February 2018 February 10, 2018

12.2 Existence proofs: examples

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem

Practice problems for first midterm, Spring 98

Section 1.1 Notes. Real Numbers

LINEAR FORMS IN LOGARITHMS

NOTES ON DIOPHANTINE APPROXIMATION

5.1 Monomials. Algebra 2

Proofs Not Based On POMI

TRANSCENDENTAL NUMBERS AND PERIODS. Contents

Introduction to Number Theory

NOTES ON DIOPHANTINE APPROXIMATION

Fundamentals of Pure Mathematics - Problem Sheet

Some Highlights along a Path to Elliptic Curves

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

Summary Slides for MATH 342 June 25, 2018

Solutions to Practice Final

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013

MATH98 Intermediate Algebra Practice Test Form A

Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials

Problem 4 (Wed Jan 29) Let G be a finite abelian group. Prove that the following are equivalent

1 Adeles over Q. 1.1 Absolute values

Algebraic number theory

Number Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru

INTRODUCTION TO TRANSCENDENTAL NUMBERS

NORM OR EXCEPTION? KANNAPPAN SAMPATH & B.SURY

Favorite Topics from Complex Arithmetic, Analysis and Related Algebra

Factorization of zeta-functions, reciprocity laws, non-vanishing

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

Sums of four squares and Waring s Problem Brandon Lukas

MATH 117 LECTURE NOTES

Introduction to Abstract Mathematics

Homework 4 Solutions

Solutions to Assignment 1

1. Fermat, Euler, and Nonunique Factorization

1. a) Let ω = e 2πi/p with p an odd prime. Use that disc(ω p ) = ( 1) p 1

Algebraic number theory Solutions to exercise sheet for chapter 4

Algebraic integers of small discriminant

12. Quadratic Reciprocity in Number Fields

Math 109 HW 9 Solutions

Chapter 8. P-adic numbers. 8.1 Absolute values

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Homework problems from Chapters IV-VI: answers and solutions

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

Approximation exponents for algebraic functions in positive characteristic

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Pell s Equation Claire Larkin

Transcription:

Fermat s Infinite Descent PMATH 340 Assignment 6 (Due Monday April 3rd at noon). (0 marks) Use Femtat s method of infinite descent to prove that the Diophantine equation x 3 + y 3 = 4z 3 has no solutions in positive integers x, y and z. Hint: Let (x,y,z) be a solution. Explain why x is even, and then write x = x. Deduce that y and z are even as well, so y = y and z = z. Explain why (x,y,z ) is also a solution and why this leads to a contradiction. Eisenstein Integers Let ω denote the primitive third root of unity. That is, ω = e πi 3 = + 3. Note that ω satisfies the equation ω + ω + = 0. The set Z[ω] := {a + bω : a,b Z} is called the ring of Eisenstein integers. For any Eisenstein integer α = a + bω, where a,b Z, the norm map is defined by N(a + bω) := a ab + b. () Just like the ring of Gaussian integers, the ring of Eisenstein integers is a Unique Factorization Domain.. (a) ( marks) Prove that Z[ω] is a ring by showing that 0, Z[ω], and for all α,β Z[ω] it is the case that α ± β Z[ω] and α β Z[ω]; (b) (3 marks) Prove that the norm map defined in () is multiplicative. That is, for every α,β Z[ω] it is the case that N(αβ) = N(α)N(β). Explain why N(α) 0 for every α Z[ω] and why N(α) = 0 if and only if α = 0;

(c) (3 marks) We say that υ Z[ω] is a unit if υ α for every α Z[ω]. Prove that υ Z[ω] is a unit if and only if N(υ) =. Hint. To prove the sufficient condition, let υ = a+bω. Given the fact that N(υ) =, we will show that υ, i.e. there exists c + dω Z[ω] such that (c + dω)(a + bω) =. To see that this is true, determine c and d in terms of a and b by viewing the above equation as the equation in complex numbers. That is, convert a + bω and c + dω into their complex form, and then equate real and imaginary parts of (c + dω)(a + bω) and. You will get a system of two equations with two unknowns c and d. Explain why c and d are integers. Conclude that c + dω Z[ω], which means that a + bω. Why does this imply that a + bω is a unit? (d) ( marks) Find all units in Z[ω]. The Diophantine Equation n = x xy + y Consider the setup as in Question. We say that γ 0 is an Eisenstein prime if the factorization γ = αβ for α,β Z[ω] implies that either α is a unit or β is a unit. 3. (a) (5 marks) Prove that every rational prime p (mod 3) is also an Eisenstein prime. Hint: See Example 9.0. (b) (5 marks) Note that 3 = ( ω)( ω ), so 3 is not an Eisenstein prime. Also, it can be shown that every rational prime p (mod 3) is not an Eisenstein prime. Use this fact, as well as the results you proved in Questions (b) and 3 (a), to show that every integer n with the prime factorization n = 3 t p e pe pe k k q f q f q f l l, where p i (mod 3) for all i =,,...,k and q j (mod 3) for all j =,,...,l, admits a solution (x,y) to the Diophantine equation n = x xy + y. It can be shown that the numbers of the above form are the only numbers that admit solutions, but you do not have to prove that. Rings With Infinitely Many Units

4. (0 marks) Let Z[ ] := { a + b } : a,b Z. We say that υ Z[ ] is a unit if υ α for every α Z[ ]. Prove that there are infinitely many units in Z[ ]. Hint: Consider the Pell equation x y = ±. Explain why, for every (x,y ) satisfying this Diophantine equation, the value x + y is a unit in Z[ ]. Find any solution (x,y ), and then prove that, for every positive integer n, the integer coefficients x n and y n of the number x n + y n := (x + y ) n also satisfy the equation x n y n = ±. The Failure of Unique Factorization Consider the ring Z[ 3] = {a + b 3: a,b Z}. For every a,b Z, the norm map on Z[ 3] is defined by N(a + b 3) := a + 3b. You may assume that the norm is multiplicative. We will show that the unique factorization fails in Z[ 3]. To solve this problem, you might want to refer to Section.3 in Frank Zorzitto, A Taste of Number Theory. 5. (a) (3 marks) Prove that the only units of Z[ 3] are ±. Hint: Let υ = a + b 3 for a,b Z. By definition, υ Z[ 3] is a unit if υ α for every α Z[ 3]. Thus, in particular, υ. Explain why this fact implies the equality a +3b =. What are the solutions to this Diophantine equation? (b) (5 marks) We say that a non-zero number γ Z[ 3] is prime if the factorization γ = αβ for α,β Z[ 3] implies that either α is a unit or β is a unit. Prove that the numbers,7, + 3 and 3 are prime in Z[ 3]; (c) ( marks) Using Part (b), explain why the unique factorization fails in Z[ 3]. Preperiodic and Periodic Continued Fractions 3

Let α be a real number with the canonical continued fraction expansion α = [a 0,a,...,a n ;b,b,...,b k,b,b,...,b k,b,...]. In other words, at some point the elements of the continued fraction expansion start to repeat. We indicate this by writing α = [a 0,a,...,a n ;b,b,...,b k ]. A canonical continued fraction expansion of such kind is called preperiodic, and if the terms a 0,a,a,...,a n are missing we say that it is periodic. The smallest number k such that the terms repeat is called the period of a continued fraction. 6. (a) (5 marks) Determine canonical continued fraction expansions for + 5 and. Are they both preperiodic? Are they both periodic? What are the periods of their continued fraction expansions? (b) (5 marks) Prove that if a real number α has a preperiodic canonical continued fraction expansion, then there exist rational integers a, b and c, not all zero, such that aα + bα + c = 0. Properties of Convergents Let α be a real number with the canonical continued fraction expansion α = [a 0,a,a,...] and for a non-negative integer n let the rational number p n / := [a 0,a,...,a n ] denote the n-th convergent of α. 7. (a) (5 marks) Prove that p n p n = ( ) n. (b) (5 marks) Let p/q be a rational number and let α be a real number. Prove that, if α p q < q, then p/q = p n / for some positive integer n. That is, p/q appears as a convergent in the canonical continued fraction expansion of α. 4

Hint: Suppose not and p/q p n / for any n N. Since the denominators q < q < q 3 <... of n-th convergents p n / grow, there must exist an integer n such that < q < +. Explain why p q p n. () q Then, using the triangle inequality p q p n α p q + α p n, as well as Proposition 3.4 in the lecture notes, prove that p q p n <, q in contradiction to the inequality (). The First Transcendental Number Let α be a complex number. We say that α is algebraic if there exists a nonzero polynomial f (x) with rational coefficients such that f (α) = 0. Otherwise we call it transcendental. In 840 s, the French mathematician Joseph Liouville proved that for each irrational algebraic number α there exist an integer d and a real number C > 0 such that α x y C y d for all integers x and y > 0. In other words, every irrational algebraic number cannot be approximated too well by a rational number x/y. This property of irrational algebraic numbers allowed him to discover the first transcendental number k=0 0 k!, which is now called the Liouville Number. 8. (a) (6 marks) Prove that, for every integer n, the number α := k=0 k! = + + 4 + 64 + 67776 +... satisfies the inequality n α k=0 k! < ( n! ) n. (3) 5

Hint: Note that k=n+ k! < k=(n+)! k. Use the formula for the infinite geometric series afterwards. (b) (4 marks) Use Liouville s Theorem and the inequality established in Part (a) to prove that the number α is either rational or transcendental. Hint: Suppose not. Then there exist fixed integers d and C > 0 such that α x y C y d for all integers x and y > 0. Why does this inequality contradict the inequality (3)? 6