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

Size: px
Start display at page:

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

Transcription

1 Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S = R[α]. A domain R is said to be integrally closed if R is integrally closed in its quotient field Q. (1) Let R S be quadratic extension with α S \ R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S = R[α]. Show that: (i) R[α] = {a + bα a,b R}. (ii) there is α S such that f(x) = (x α)(x α) and R[α] = R[α]. () Let R S be quadratic extension of domains with α S \ R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S = R[α]. Let R be integrally closed domain. Show that: (i) For every s S \ R there is uniquely determined s S such that (x s)(x s) R[x]. Moreover, for s = a + bα, a,b R, holds s = a + bα, where α is the (uniquely determined) second root of f. (ii) For every x S there are uniquely determined a,b R such that x = a + bα. (iii) For a R put a = a. The map : S S, s s is a ring automorphism. This automorphism is the only non-identical automorphism of S as R-algebra. (iv) The map N : S R defined by N(x) = xx (called a multiplicative norm) is well defined and multiplicative, i.e. N(xy) = N(x)N(y). (v) x S is invertible (in S) if and only if N(x) is invertible (in R). (vi) If N(x) is irreducible element in R, then x is irreducible element in S. (3) Prove that every unique factorization domain is integrally closed. (Hence Z is integrally closed.) (4) Let R = Z[i] (the ring of Gaussian integers). (i) Prove that R is a Euclidean domain with degree function N(a+ib) = a +b. (ii) Show that x R is a prime element in R if and only if either (a) x = a + bi, where a 0 b and N(x) = a + b is a prime number (e.g =,1 + = 5, + 3 = 13,...) or (b) x {±p, ±ip}, where p is a prime number such that p a + b for any a,b Z (e.g. 3,7,11,...). (iii) Let I = Rx be maximal ideal ( x is prime in R). Prove that (a) R/I = Z p, if N(x) = p P, and (b) R/I = F p (a field with p elements), if N(x) = p, where p P. (iv) Use the Euclidean algorithm to find the greatest common divisor of i and 10 5i in the ring Z[i]. (You should also remember how to express this GCD as a linear combination of the numbers you started with by working backwards 1

2 through the algorithm.) (v) Express 7 + 6i as a product of primes in Z[i]. (vi) Prove that R is a normal domain (i.e. for every prime ideal p of R the localisation R p is an integrally closed domain). Deduce that Z[i] is a Dedekind domain. Is Z[i] a PID? Justify your answer. (5) Let R = Z[ ]. (a) Show that R is a Euclidean domain under the usual complex norm. (b) Show that the only positive integer x for which x+ is a cube in R is 5. (c) Show that is an irreducible element of R. (d) Show that if x and y are positive integer solutions of x + = y 3, then x + and x are relatively prime. (e) Deduce that the only solution in positive integers of x + = y 3 is x = 5,y = 3. (6) Let R = Z[ 3] = {a + b 3 a,b Z}. (a) Why is R an integral domain? (b) What are the units in R? (c) Is the element irreducible in R? (d) If x,y R, and divides xy, does it follow that divides either x or y? Justify your answer. (7) Let R be the ring Z[ 5]. (a) Show that R is not a UFD. (Hint. Prove that the two factorizations of 6 given by ()(3) and (1+ 5)(1 5) are indeed distinct, that is, the factors are not associates of each other.) (b) Also show that the principal ideal (6) admits the factorization (6) = (,1 + 5)(,1 5)(3,1 + 5)(3,1 5) and that the ideals on the right are distinct prime ideals. (8) Let R = Z[ 6]. (i) Show that 10 = 5 and 10 = ( + 6)( 6) are two factorizations of 10 Z[ 6] that are essentially distinct in the sense that the factorizations cannot be transformed into one another by multiplying the factors by units. (ii) Find the factorizations of the principal ideals (), (5), ( + 6) and ( 6) into a product of prime ideals of R = Z[ 6]. (9) Let R = Z[ 10]. (a) Show that R is not a PID. (Hint: Show that 10 admits two essentially different factorizations into irreducible elements of R.) (b) Let P = 7, Show that R/P is isomorphic to Z 7. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

3 positive integer, then determine the units in the ring Z[ n]. (ii) Prove that is irreducible Z[ 10]. Then use the observation that divides 6 = (4 + 10(4 10) to prove that is not a prime in Z[ 10]. Deduce that Z[ 10] is not a PID (hence it is not an ED for any choice of degree function). (iii) Is Z[ 10] a UFD? (iv) What is wrong with the following argument? The ring homomorphism ev 10 : Z[X] C, f(x) f( 10) ( evaluation at 10 ) has image Z[ 10]. Since Z[X] is a Euclidean domain it is a PID. Quotients of PIDs are PIDs. Hence Z[ 10] is a PID. (11) Let R = Z[ d] where d 0,1 is a square-free element of Z. (i) Assume d < 1. Find R. (ii) Assume d = 1. Find R and its group structure. (1) Let d 3 mod 4 be a square-free positive integer and let R = Z[ 1+ d ] be the usual quadratic domain. Use N : R N 0 to denote the norm map. (a) If d > 3, show that the only units in R are ±1. (b) If a,b R with b 0, show that there exist q,r R with a = bq + r and N(r) (4 + d)n(b)/16. (Hint. If a/b = u + v d with u,v Q, then v is distance at most 1/4 from an integer or half integer.) (c) Conclude that R is a Euclidean domain for d = 3,7,11. (d) Show that R is not a u.f.d. when d = 15 or 3. (Hint. Emulate the proof you know for Z[ 5].) Let a be an element of a domain S with a 0 and a not a unit. Then a is said to be a pseudo-unit if given any b S we have either a b or a (b + u) for some unit u S. (e) Find all pseudo-units in Z. (f) If S is a Euclidean domain and not a field, show that S has a pseudo-unit. (Hint. First check that the set A of elements of S that are not zero and not units is nonempty. If S is Euclidean with ν : S \ 0 Z +, consider an element a A with ν(a) minimal.) (g) Let d = 19. Show that R has no pseudo-units. Hence R is not Euclidean. (Hint. Suppose a is a pseudo-unit. Using b =, conclude that N(a) divides 1, 4 or 9. Using b = 1+ 19, conclude that N(a) divides 5 or 7.) (Another hint. Show that the only elements of norm less than 5 are {0, ±1, ±}. Taking x = in the definition of pseudo-unit, show that any pseudo-unit must be a nonunit divisor of of 3. Find all nonunit divisors of and 3. Now taking x = in the definition of pseudo-unit, find a contradiction.) (h) Repeat the argument for d = 163. (13) Note that ω = 1+ 3 is a cube root of 1, and ω + ω + 1 = 0. (i) Prove that the subset {x + yω Z[ω] x + y is divisible by 3} is an ideal of Z[ω]. Is it prime? (ii) Show that the ring R = Z[ω] (sometimes called the Eisenstein integers) is a Euclidean domain with respect to the norm function N(z) = z z, (where, as 3

4 usual, z denotes the complex conjugate of z). Hence R is a Unique Factorization Domain. (Hint: recall the proof for the Gaussian integers Z[i].) (iii) Factor, 3, 5, and 7 into primes in R. (Which one of them has a repeated prime factor? This prime factor is key to an elementary proof of Fermat s Last Theorem for n = 3.) (iv) Prove that Z[ω]/(p) = Z p [x]/(x + x + 1) and, as a consequence, that a prime p in Z is expressible as x +xy +y with integers x,y if and only if p 1 mod 3. (14) Let τ = 1+ 5 be the golden mean. Show that Z[τ] has infinitely many units. Definition: Let Q F be field extension of finite degree (i.e. dim Q F < ). Denote Z F the integral closure of Z in F. F is called number field and Z F is called the ring of integers of number field F. For [F : Q] := dim Q F = is F called quadratic number field. (15) Let 1 d Z be square-free integer and F = Q( d). (a) If d,3 mod 4 then (O F =)Z F = Z[ d] and {1, d} is an integral basis. (b) If d 1 mod 4 then (O F =)Z F = Z[ 1+ d ] = Z[ 1+ d ] and {1, 1+ d } is an integral basis. (16) Let d be a squarefree integer, and let O = Z[ω] be the ring of integers in the quadratic field F = Q( d), where ω = 1+ d if D 1 (mod 4), and ω = d otherwise. (i) For any positive integer f prove that the set O f = Z[fω] = {a + bfω a,b Z} is a subring of O. (ii) Prove that [O : O f ] = f (where the index is as additive abelian groups). (iii) Prove conversely that a subring of O containing the identity and having finite index f in O is equal to O f. (The ring O f is called the order of conductor f in the field Q( d). The ring of integers O is called the maximal order in Q( d).) (17) A quadratic number field is a number field K with [K : Q] =. (a) Show that every quadratic number field K can be represented as K = Q( d) for a square-free integer d 0,1. (b) Let K := Q( d) for some square-free integer d 0,1. Show that: D K = { Z[ 1+ d ] = Z[x]/(x x + 1 d 4 ),if d 1 (mod 4) Z[ d] = Z[x]/(x d),if d,3 (mod 4) (In particular, the ring of integers of Q(i) = {a + ib a,b Q} is the ring Z[i] = {a + ib a,b Z} of Gaussian integers.) (18) Let F = Q( 5). Let I be ideal in the O F generated by and Show that D = (I,1/ ) is a Hermitian line bundle of degree 0. Draw pictures 4

5 of the ideal lattices associated to (O F,1) and D. (19) Compute the ideal class group Cl(O F ) and the unit group OF for the number fields F = Q( d) for d = 47, 71, 163 and 147. (0) Compute the ideal class group Cl(O F ) and the unit group OF for the number fields F = Q( d) for d = 19,145,46 and 00. (1) Let F = Q( 5 ). Compute ring of integers O F, ideal class group Cl(O F ) and unit group O F. () (Euclidean complex quadratic rings.) Let F be an imaginary quadratic number field. We embed F in C. (i) Show that O F is Euclidean for the norm if and only if the disks with radius 1 and centers in O F cover C. (ii) Show that O F is Euclidean for the norm if and only if F = 3, 4, 7, 8 or 11. 5

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

Lecture 7.5: Euclidean domains and algebraic integers

Lecture 7.5: Euclidean domains and algebraic integers Lecture 7.5: Euclidean domains and algebraic integers Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley

More information

12 16 = (12)(16) = 0.

12 16 = (12)(16) = 0. Homework Assignment 5 Homework 5. Due day: 11/6/06 (5A) Do each of the following. (i) Compute the multiplication: (12)(16) in Z 24. (ii) Determine the set of units in Z 5. Can we extend our conclusion

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

Homework problems from Chapters IV-VI: answers and solutions

Homework problems from Chapters IV-VI: answers and solutions Homework problems from Chapters IV-VI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence

More information

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

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1. Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does

More information

MINKOWSKI THEORY AND THE CLASS NUMBER

MINKOWSKI THEORY AND THE CLASS NUMBER MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

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

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

More information

Homework due on Monday, October 22

Homework due on Monday, October 22 Homework due on Monday, October 22 Read sections 2.3.1-2.3.3 in Cameron s book and sections 3.5-3.5.4 in Lauritzen s book. Solve the following problems: Problem 1. Consider the ring R = Z[ω] = {a+bω :

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

Chapter 14: Divisibility and factorization

Chapter 14: Divisibility and factorization Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter

More information

18. Cyclotomic polynomials II

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

More information

Quizzes for Math 401

Quizzes for Math 401 Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution Johns Hopkins University, Department of Mathematics 110.40 Abstract Algebra - Spring 013 Midterm Exam Solution Instructions: This exam has 6 pages. No calculators, books or notes allowed. You must answer

More information

M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS

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

More information

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

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

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

More information

University of Ottawa

University of Ottawa University of Ottawa Department of Mathematics and Statistics MAT3143: Ring Theory Professor: Hadi Salmasian Final Exam April 21, 2015 Surname First Name Instructions: (a) You have 3 hours to complete

More information

1. Factorization Divisibility in Z.

1. Factorization Divisibility in Z. 8 J. E. CREMONA 1.1. Divisibility in Z. 1. Factorization Definition 1.1.1. Let a, b Z. Then we say that a divides b and write a b if b = ac for some c Z: a b c Z : b = ac. Alternatively, we may say that

More information

Modern Algebra Lecture Notes: Rings and fields set 6, revision 2

Modern Algebra Lecture Notes: Rings and fields set 6, revision 2 Modern Algebra Lecture Notes: Rings and fields set 6, revision 2 Kevin Broughan University of Waikato, Hamilton, New Zealand May 20, 2010 Solving quadratic equations: traditional The procedure Work in

More information

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr MATHEMATICS Introduction to Modern Algebra II Review. (1) Give an example of a non-commutative ring; a ring without unit; a division ring which is not a eld and a ring which is not a domain. (2) Show that

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

Part IX ( 45-47) Factorization

Part IX ( 45-47) Factorization Part IX ( 45-47) Factorization Satya Mandal University of Kansas, Lawrence KS 66045 USA January 22 45 Unique Factorization Domain (UFD) Abstract We prove evey PID is an UFD. We also prove if D is a UFD,

More information

Homework 6 Solution. Math 113 Summer 2016.

Homework 6 Solution. Math 113 Summer 2016. Homework 6 Solution. Math 113 Summer 2016. 1. For each of the following ideals, say whether they are prime, maximal (hence also prime), or neither (a) (x 4 + 2x 2 + 1) C[x] (b) (x 5 + 24x 3 54x 2 + 6x

More information

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.

More information

x 3 2x = (x 2) (x 2 2x + 1) + (x 2) x 2 2x + 1 = (x 4) (x + 2) + 9 (x + 2) = ( 1 9 x ) (9) + 0

x 3 2x = (x 2) (x 2 2x + 1) + (x 2) x 2 2x + 1 = (x 4) (x + 2) + 9 (x + 2) = ( 1 9 x ) (9) + 0 1. (a) i. State and prove Wilson's Theorem. ii. Show that, if p is a prime number congruent to 1 modulo 4, then there exists a solution to the congruence x 2 1 mod p. (b) i. Let p(x), q(x) be polynomials

More information

QUADRATIC RINGS PETE L. CLARK

QUADRATIC RINGS PETE L. CLARK QUADRATIC RINGS PETE L. CLARK 1. Quadratic fields and quadratic rings Let D be a squarefree integer not equal to 0 or 1. Then D is irrational, and Q[ D], the subring of C obtained by adjoining D to Q,

More information

Selected Math 553 Homework Solutions

Selected Math 553 Homework Solutions Selected Math 553 Homework Solutions HW6, 1. Let α and β be rational numbers, with α 1/2, and let m > 0 be an integer such that α 2 mβ 2 = 1 δ where 0 δ < 1. Set ǫ:= 1 if α 0 and 1 if α < 0. Show that

More information

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

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

More information

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

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

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Example: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x)

Example: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x) Math 4010/5530 Factorization Theory January 2016 Let R be an integral domain. Recall that s, t R are called associates if they differ by a unit (i.e. there is some c R such that s = ct). Let R be a commutative

More information

Total 100

Total 100 Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4

More information

Ideals: Definitions & Examples

Ideals: Definitions & Examples Ideals: Definitions & Examples Defn: An ideal I of a commutative ring R is a subset of R such that for a, b I and r R we have a + b, a b, ra I Examples: All ideals of Z have form nz = (n) = {..., n, 0,

More information

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

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

More information

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

Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials This Ark concerns the weeks No. (Mar ) andno. (Mar ). Status for this week: On Monday Mar : Finished section 23(Factorization

More information

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

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

Math 210B: Algebra, Homework 1

Math 210B: Algebra, Homework 1 Math 210B: Algebra, Homework 1 Ian Coley January 15, 201 Problem 1. Show that over any field there exist infinitely many non-associate irreducible polynomials. Recall that by Homework 9, Exercise 8 of

More information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

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

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

More information

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

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

More information

NOTES ON FINITE FIELDS

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

More information

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

More information

Rings. Chapter Homomorphisms and ideals

Rings. Chapter Homomorphisms and ideals Chapter 2 Rings This chapter should be at least in part a review of stuff you ve seen before. Roughly it is covered in Rotman chapter 3 and sections 6.1 and 6.2. You should *know* well all the material

More information

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved. Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that

More information

LEHMER S TOTIENT PROBLEM AND CARMICHAEL NUMBERS IN A PID

LEHMER S TOTIENT PROBLEM AND CARMICHAEL NUMBERS IN A PID LEHMER S TOTIENT PROBLEM AND CARMICHAEL NUMBERS IN A PID JORDAN SCHETTLER Abstract. Lehmer s totient problem consists of determining the set of positive integers n such that ϕ(n) n 1 where ϕ is Euler s

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

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral

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

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

Euclidean Domains. Kevin James

Euclidean Domains. Kevin James Suppose that R is an integral domain. Any function N : R N {0} with N(0) = 0 is a norm. If N(a) > 0, a R \ {0 R }, then N is called a positive norm. Suppose that R is an integral domain. Any function N

More information

ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS. In this handout we wish to describe some aspects of the theory of factorization.

ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS. In this handout we wish to describe some aspects of the theory of factorization. ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS PETE L. CLARK In this handout we wish to describe some aspects of the theory of factorization. The first goal is to state what it means for an arbitrary

More information

Factorization in Domains

Factorization in Domains Last Time Chain Conditions and s Uniqueness of s The Division Algorithm Revisited in Domains Ryan C. Trinity University Modern Algebra II Last Time Chain Conditions and s Uniqueness of s The Division Algorithm

More information

MODEL ANSWERS TO HWK #10

MODEL ANSWERS TO HWK #10 MODEL ANSWERS TO HWK #10 1. (i) As x + 4 has degree one, either it divides x 3 6x + 7 or these two polynomials are coprime. But if x + 4 divides x 3 6x + 7 then x = 4 is a root of x 3 6x + 7, which it

More information

Factorization in Polynomial Rings

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

More information

MATH 361: NUMBER THEORY TENTH LECTURE

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

More information

32 Divisibility Theory in Integral Domains

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

More information

Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0.

Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0. Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0. Examples: Z Q, R Polynomials over Z, Q, R, C The Gaussian Integers: Z[i] := {a + bi : a, b

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2 Solutions to odd-numbered exercises Peter J Cameron, Introduction to Algebra, Chapter 1 The answers are a No; b No; c Yes; d Yes; e No; f Yes; g Yes; h No; i Yes; j No a No: The inverse law for addition

More information

1. Fermat, Euler, and Nonunique Factorization

1. Fermat, Euler, and Nonunique Factorization 1. Fermat, Euler, and Nonunique Factorization The purpose of this chapter is mainly motivational. More precise definitions of the objects we will study will be given later. 1.1 Euler and Quadratic Irrationals

More information

Algebra Exam Syllabus

Algebra Exam Syllabus Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

More information

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G. Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

More information

M2P4. Rings and Fields. Mathematics Imperial College London

M2P4. Rings and Fields. Mathematics Imperial College London M2P4 Rings and Fields Mathematics Imperial College London ii As lectured by Professor Alexei Skorobogatov and humbly typed by as1005@ic.ac.uk. CONTENTS iii Contents 1 Basic Properties Of Rings 1 2 Factorizing

More information

Graduate Preliminary Examination

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

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of

More information

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

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

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

Algebra Qualifying Exam, Fall 2018

Algebra Qualifying Exam, Fall 2018 Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the

More information

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

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

More information

Homework 4 Solutions

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

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Part IX. Factorization

Part IX. Factorization IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect

More information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

Abstract Algebra II. Randall R. Holmes Auburn University

Abstract Algebra II. Randall R. Holmes Auburn University Abstract Algebra II Randall R. Holmes Auburn University Copyright c 2008 by Randall R. Holmes Last revision: November 30, 2009 Contents 0 Introduction 2 1 Definition of ring and examples 3 1.1 Definition.............................

More information

Algebraic number theory

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

More information

Abstract Algebra Study Sheet

Abstract Algebra Study Sheet Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,

More information

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March. SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set

More information

THE ARITHMETIC OF NUMBER RINGS. Peter Stevenhagen

THE ARITHMETIC OF NUMBER RINGS. Peter Stevenhagen THE ARITHMETIC OF NUMBER RINGS Peter Stevenhagen Abstract. We describe the main structural results on number rings, i.e., integral domains for which the field of fractions is a number field. Whenever possible,

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

CHAPTER 14. Ideals and Factor Rings

CHAPTER 14. Ideals and Factor Rings CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements

More information

Polynomials, Ideals, and Gröbner Bases

Polynomials, Ideals, and Gröbner Bases Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields

More information

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

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.

More information

Math 581: Skeleton Notes

Math 581: Skeleton Notes Math 581: Skeleton Notes Bart Snapp June 7, 2010 Chapter 1 Rings Definition 1 A ring is a set R with two operations: + called addition and called multiplication such that: (i) (R,+) is an abelian group

More information

2. THE EUCLIDEAN ALGORITHM More ring essentials

2. THE EUCLIDEAN ALGORITHM More ring essentials 2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Inverse Galois Problem for Totally Real Number Fields

Inverse Galois Problem for Totally Real Number Fields Cornell University Mathematics Department Senior Thesis Inverse Galois Problem for Totally Real Number Fields Sudesh Kalyanswamy Class of 2012 April, 2012 Advisor: Prof. Ravi Ramakrishna, Department of

More information

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston Undergraduate abstract algebra is usually focused on three topics: Group Theory, Ring Theory, and Field Theory. Of the myriad

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

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: Discrete valuation rings Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: 1. v is surjective. 2. v(ab) = v(a) + v(b). 3. v(a + b) min(v(a), v(b)) if a + b 0. Proposition:

More information

Eighth Homework Solutions

Eighth Homework Solutions Math 4124 Wednesday, April 20 Eighth Homework Solutions 1. Exercise 5.2.1(e). Determine the number of nonisomorphic abelian groups of order 2704. First we write 2704 as a product of prime powers, namely

More information