Math 581 Problem Set 9

Similar documents
Math 581 Problem Set 8 Solutions

Review for Exam 2/Solutions

Math 581 Problem Set 7 Solutions

Math 581 Problem Set 3 Solutions

Math 210A: Algebra, Homework 5

Name: Solutions Final Exam

Homework #11 Solutions

Solutions to Assignment 4

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

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

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

Math 546, Exam 2 Information.

NOTES ON FINITE FIELDS

Algebra SEP Solutions

Algebraic structures I

Math 210A: Algebra, Homework 6

Math 121 Homework 5: Notes on Selected Problems

2. THE EUCLIDEAN ALGORITHM More ring essentials

MATH 113 FINAL EXAM December 14, 2012

Parvati Shastri. 2. Kummer Theory

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

A Primer on Homological Algebra

Math 451, 01, Exam #2 Answer Key

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

Math 581 Problem Set 6 Solutions

Teddy Einstein Math 4320

Math 120 HW 9 Solutions

Lecture 7 Cyclic groups and subgroups

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

Elements of solution for Homework 5

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 222A W03 D. Congruence relations

(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Algebraic Structures Exam File Fall 2013 Exam #1

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

PROBLEMS FROM GROUP THEORY

Simple groups and the classification of finite groups

2MA105 Algebraic Structures I

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

A Little Beyond: Linear Algebra

Section 18 Rings and fields

HOMEWORK Graduate Abstract Algebra I May 2, 2004

(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k.

ISOMORPHISMS KEITH CONRAD

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Two subgroups and semi-direct products

Answers to Final Exam

Extra exercises for algebra

Homework 10 M 373K by Mark Lindberg (mal4549)

Theorems and Definitions in Group Theory

Algebra Exam Syllabus

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

Your Name MATH 435, EXAM #1

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

Modern Computer Algebra

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,

CSIR - Algebra Problems

Math 3450 Homework Solutions

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

MATH RING ISOMORPHISM THEOREMS

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

Some practice problems for midterm 2

MATH 361: NUMBER THEORY FOURTH LECTURE

MA441: Algebraic Structures I. Lecture 14

Normal Subgroups and Factor Groups

0 Sets and Induction. Sets

Mathematics for Cryptography

TROPICAL SCHEME THEORY

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

Discrete Mathematics with Applications MATH236

MODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b]

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

RED. Name: Math 290 Fall 2016 Sample Exam 3

Math 103 HW 9 Solutions to Selected Problems

Factorization in Polynomial Rings

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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

Section 15 Factor-group computation and simple groups

Exercises MAT2200 spring 2014 Ark 4 Homomorphisms and factor groups

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH ABSTRACT ALGEBRA DISCUSSIONS - WEEK 8

5 Group theory. 5.1 Binary operations

THE INFLATION-RESTRICTION SEQUENCE : AN INTRODUCTION TO SPECTRAL SEQUENCES

IUPUI Qualifying Exam Abstract Algebra

BASIC GROUP THEORY : G G G,

Cosets and Normal Subgroups

First Semester Abstract Algebra for Undergraduates

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

Transcription:

Math 581 Prolem Set 9 1. Let m and n e relatively prime positive integers. (a) Prove that Z/mnZ = Z/mZ Z/nZ as RINGS. (Hint: First Isomorphism Theorem) Proof: Define ϕz Z/mZ Z/nZ y ϕ(x) = ([x] m, [x] n ). It is clear this is a homormophism. Let ([a] m, [] n ) Z/mZ Z/nZ. Since gcd(m, n) = 1, there exists s, t Z so that ms + nt = 1. Multiply oth sides y a and set x = a + ( a)ms = + (a )nt. Then ϕ(x) = ([a] m, [] n ) and so ϕ is surjective. It is clear that mnz ker ϕ. If a ker ϕ, then [a] m = [0] m and [a] n = [0] n, i.e., m a and n a. Thus, mn a and so a mnz. Thus, using the first isomorphism theorem we have the result. () Show y example that part (a) may e false if m and n are not assumed to e relatively prime. Let m = n = 2. Oserve that Z/4Z is a cyclic group of order 4 where Z/2Z Z/2Z has no elements of order 4. (c) Prove that if one has rings R and S and R = S as rings, then R = S as groups under multiplication, i.e., the units in the rings are isomorphic as groups. Proof: We already have a homomorphism etween them since R = S as rings, so we only need to show the map is a ijection. However, we showed last term that u R is a unit if and only if ϕ(u) is a unit. Thus, ϕ must e a ijection etween R and S as well. (d) Prove that if R and S are rings, then (R S) = R S as groups under multiplication. Proof: This just oils down to writing down what each thing is. Note that (R S) = {(a, ) R S : there exists (c, d) R S so that (a, )(c, d) = (1, 1)} and R S = {(a, ) R S : a R, S }. From this the result follows.

2 (e) Use part (d) to conclude that (Z/mnZ) = (Z/mZ) (Z/nZ). Proof: Apply part (d) to conclude that (Z/mZ) (Z/nZ) = (Z/mZ Z/nZ) and parts (a) and (c) to conclude (Z/mZ Z/nZ) = (Z/mnZ). Comining these we have the result. (f) Now let m = p and n = q for some primes p and q. Prove that the order of the group (Z/pqZ) is (p 1)(q 1). Proof: We know that (Z/pZ) has p 1 elements for any prime p and that G H = G H. Part (e) now gives the result. (g) Prove that if gcd(a, pq) = 1, then a (p 1)(q 1) 1(mod pq). Proof: Since gcd(a, pq) = 1 we have that a (Z/pqZ). Since this group has order (p 1)(q 1), we get that a (p 1)(q 1) = e G. Translated into a congruence statement, this reads a (p 1)(q 1) 1(mod pq). 2. Let N e a sugroup of G such that [G : N] = 2. Prove that N is a normal sugroup of G. Proof: Since [G : N] = 2 there are only two distinct cosets, either right or left. One of them will e en (just choose e as the representative for whatever coset it is in ) and lael the other one gn. So in particular, g / N. Similarly, we have that the right cosets are Ne and Ng. We know that G = en gn = Ne Ng. It is clear that en = Ne since they are oth just N as sets. Thus, it must e that gn = Ng. Since all the left cosets are equal to the right cosets we have that N is normal in G. 3. Show that every element in Q/Z has finite order. (Recall you showed last homework that there are infinitely many elements in Q/Z.) Proof: Let r s +Z e an element in Q/Z. Oserve that if we add this element to itself s times we get r + Z. However, r Z so we have s( r s + Z) = 0 + Z.

3 Thus, every element of Q/Z has finite order. 4. Let p e an odd prime. (a) Show that a 2 2 (mod p) if and only if a (mod p) or a (mod p). Proof: Oserve that a 2 2 = (a )(a + ). Thus, if a 2 2 (mod p) then we know p (a )(a+). Since p is prime, p (a ) or p (a+), as claimed. () Show that ϕ : (Z/pZ) (Z/pZ) defined y ϕ(a) = a 2 is a group homomorphism whose image is a sugroup H of index 2. (Hint: Use part (a) to determine the kernel of ϕ and use the first isomorphism theorem.) Proof: Let a, (Z/pZ). We have ϕ(a) = (a) 2 = a 2 2 = ϕ(a)ϕ() where we have used that (Z/pZ) is an aelian group. Thus, ϕ is a homomorphism. Let H e the image of ϕ. The first isomorphism theorem gives us that (Z/pZ) / ker ϕ = H. Therefore, if we can calculate the order of ker ϕ we will e ale to calculate the order of H and hence the index of H in (Z/pZ). Suppose a ker ϕ. Then we have a 2 1(mod p). Using part (a) this shows that a = 1 or a = p 1. Thus, ker ϕ = 2. Hence, H = (p 1)/2. Now we see that [(Z/pZ) : H] = (p 1) (p 1) = 2 as claimed. 2 (c) Define ψ : (Z/pZ) {±1} y { +1, if a is a square in Z/pZ ψ(a) = 1, otherwise. Prove that ψ is a group homomorphism. (Hint: Consider the quotient group (Z/pZ) /H.) Proof: Note that (Z/pZ) is an aelian group so all sugroups are normal. In particular, the H in part () is normal. Thus, (Z/pZ) /H is a group of order 2. Any group of order 2 must necessarily e isomorphic to the group {±1}. We proved in class that the natural map G G/N given y g gn is a surjective homomorphism. Applying this to our situation, we need only show that ψ is this natural map. Recall that H consists of all of the squares. Therefore, gh = H if and only if g is a square. Therefore, the map ψ is the correct map as it takes squares to the identity 1H and nonsquares to the nonidentity element 1H. Therefore, ψ is a homomorphism. (d) Conclude that if neither a nor is a square in Z/pZ, then their product a is a square in Z/pZ. (We used this result last term when showing there

4 was a polynomial that was irreducile ut reducile modulo every prime p.) Proof: Suppose neither a or is a square in Z/pZ. In particular, this means neither can e 0 so they oth lie in (Z/pZ). Applying ψ to a we otain ψ(a) = ψ(a)ψ() = ( 1)( 1) = 1. Thus, a must e a square. 5. If N is a normal sugroup of G and if every element of N and G/N has finite order, prove that every element of G has finite order. Proof: Let g G. We wish to show that there exists N N so that g N = e G. Consider the coset gn. Since every element in G/N has finite order, there exists n N so that g n N = (gn) n = en, i.e., g n N. Now we use the fact that every element in N has finite order, so there exists m N so that (g n ) m = e G, i.e., g mn = e G. Thus g has finite order. 6. Let G = R R. (a) Show that N = {(x, y) x = y} is a normal sugroup of G. Proof: Note that (0, 0) N so N is not empty. Let (a, ) and (c, d) e in N. Oserve that (a, )+(c, d) = (a+c, +d) and a+c = d = (+d) since a = and c = d. So N is closed under addition. Note that ( x, y) N if (x, y) is in N since x = y is equivalent to x = ( y). Thus N is a sugroup. To see it is normal, just oserve that R R is aelian so all sugroups are normal. () Descrie the quotient group G/N. Oserve first that the coset (0, 0) + N = N is just the line y = x. Let (a, ) R R. We wish to descrie the coset (a, ) + N. If we think of this in terms of elements, we are just taking each point on the line y = x and adding (a, ) to it. Geometrically, this amounts to shifting the line to the line y = a+ x. Therefore, the group G/N consists of lines with slope 1. 7. Prove that R / 1, 1 = R >0 where R >0 is the group of positive real numers. Proof: Oserve that R and R >0 are oth groups under multiplication with identity e = 1. Define ϕ : R R >0 y ϕ(x) = x. It is clear that this is a homomorphism as ϕ(xy) = xy = x y = ϕ(x)ϕ(y). To see it is surjective, let x R >0. Then x = x and so ϕ(x) = x. The first isomorphism theorem

5 now gives that R / ker ϕ = R >0. It is clear that {±1} ker ϕ since each has asolute value 1. Since these are the only real numers with asolute value 1, we have the reverse containment as well. Thus, R /{±1} = R >0. 8. Let G e the set of all matrices of the form 0 1 c where a,, c Q. (a) Show that G is a group under matrix multiplication. Proof: Note that each matrix in this set has nonzero determinant, so is a suset of GL 2 (R). Thus we need only show it is a sugroup to show it is in fact a group. Firstoserve that theidentity matrix is in G so G is 1 d e nonempty. Let 0 1 c and 0 1 f e in G. Oserve that 1 d e + d e + af + 0 1 c 0 1 f = 0 1 c + f G since Q is closed under addition and multiplication. Thus, Gis closed under 1 a ac matrix multiplication. The inverse of 0 1 c is given y 0 1 c which is clearly still in G. Thus, G is a sugroup of GL 2 (R) and hence a group itself. () Find the center Z(G) of G and show it is isomorphic to Q. Proof: Recall the center of the group is the set of elements that commute with everything. Reversing the order of the multiplication aove we get 1 d e + d + dc + e 0 1 f 0 1 c = 0 1 c + f. Therefore, for 0 1 c to e in Z(G), we must have a = c = 0. There-

6 fore, 1 0 Z(G) = 0 1 0 : Q. 1 0 Define a map ϕ : Z(G) Q y 0 1 0. It is not difficult to check this is an isomorphism. (c) Show that G/Z(G) = Q Q. Proof: Define ϕ : G Q Q y ϕ 0 1 c = (a, c). Note that this map is clearly surjective. To see it is a homomorphism, oserve that 1 d e + d e + af + ϕ 0 1 c 0 1 f = ϕ 0 1 c + f = (a + d, c + f) = (a, c) + (d, f) 1 d e = ϕ 0 1 c + ϕ 0 1 f. It is not difficult to see that ker ϕ = Z(G), and so the first isomorphism theorem gives the result.