Homework #7 Solutions

Similar documents
Homework #5 Solutions

Homework #11 Solutions

Section 3 Isomorphic Binary Structures

Math 210A: Algebra, Homework 5

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

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

Math 547, Exam 1 Information.

and this makes M into an R-module by (1.2). 2

2MA105 Algebraic Structures I

Lecture 7 Cyclic groups and subgroups


The Chinese Remainder Theorem

MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

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

Part IV. Rings and Fields

Lecture 3. Theorem 1: D 6

Math Introduction to Modern Algebra

0 Sets and Induction. Sets

Simple groups and the classification of finite groups

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

INTRODUCTION TO THE GROUP THEORY

Some practice problems for midterm 2

Lecture 4.1: Homomorphisms and isomorphisms

Math 3140 Fall 2012 Assignment #3

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

Answers to Final Exam

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

GROUPS OF ORDER p 3 KEITH CONRAD

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

Abstract Algebra, HW6 Solutions. Chapter 5

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

MATH 436 Notes: Homomorphisms.

ISOMORPHISMS KEITH CONRAD

MA441: Algebraic Structures I. Lecture 15

NON-TRIVIAL PSEUDOCHARACTERS ON GROUPS

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

Problem 1.1. Classify all groups of order 385 up to isomorphism.

13 More on free abelian groups

Math Introduction to Modern Algebra

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.

Math 210A: Algebra, Homework 6

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

Math 210B:Algebra, Homework 2

1. (7 points)state and PROVE Cayley s Theorem.

(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.

Math 370 Homework 2, Fall 2009

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

SCHOOL OF DISTANCE EDUCATION

Chapter 9: Group actions

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Math 3140 Fall 2012 Assignment #4

Algebraic Structures Exam File Fall 2013 Exam #1

Algebra Homework, Edition 2 9 September 2010

MA441: Algebraic Structures I. Lecture 14

Math 120A: Extra Questions for Midterm

A connection between number theory and linear algebra

Section 15 Factor-group computation and simple groups

Math 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk.

Solutions of Assignment 10 Basic Algebra I

Solutions to Assignment 4

GALOIS THEORY BRIAN OSSERMAN

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually

Joseph Muscat Universal Algebras. 1 March 2013

Teddy Einstein Math 4320

6 Cosets & Factor Groups

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

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

Zachary Scherr Math 370 HW 7 Solutions

Factorization in Polynomial Rings

(Rgs) Rings Math 683L (Summer 2003)

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7

Theorems and Definitions in Group Theory

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

CONSEQUENCES OF THE SYLOW THEOREMS

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES

DIHEDRAL GROUPS II KEITH CONRAD

Math 546, Exam 2 Information.

Algebra homework 6 Homomorphisms, isomorphisms

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

1 Chapter 6 - Exercise 1.8.cf

Lecture 7.3: Ring homomorphisms

c i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].

Stirling Numbers of the 1st Kind

Groups that Distribute over Stars

MATH 430 PART 2: GROUPS AND SUBGROUPS

A Survey of Lance s Weak Expectation Property, The Double Commutant Expectation Property, and The Operator System Local Lifting Property

Solution Outlines for Chapter 6

Section III.15. Factor-Group Computations and Simple Groups

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

The category of linear modular lattices

Part IA Groups. Based on lectures by J. Goedecke Notes taken by Dexter Chua. Michaelmas 2014

Introduction to Groups

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

Algebra SEP Solutions

The converse is clear, since

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Transcription:

Homework #7 Solutions p 132, #4 Since U(8) = {1, 3, 5, 7} and 3 2 mod 8 = 5 2 mod 8 = 7 2 mod 8, every nonidentity element of U(8) has order 2. However, 3 U(10) we have 3 2 mod 10 = 9 3 3 mod 10 = 7 3 4 mod 10 = 1 so that 3 = 4 in U(10). Since U(8) does not have any elements of order 4, there can be no isomorphism between U(10) and U(8), by Part 5 of Theorem 6.2. p 132, #6 Let G, H and K be groups and suppose that G = H and H = K. Then there are isomorphisms φ : G H and ψ : H K. The composite ψ φ is a function from G to K that is one-to-one and onto since both φ and ψ are (this is general nonsense about functions). We will show that it is operation preserving, and hence gives an isomorphism between G and K. For any a, b G we have (since φ and ψ are operation preserving) (ψ φ)(ab) = ψ(φ(ab)) = ψ(φ(a)φ(b)) = ψ(φ(a))ψ(φ(b)) = (ψ φ)(a)(ψ φ)(b) which proves that ψ φ is operation preserving. As noted above, this completes the proof that G = K. p 133, #18 Since φ Aut(Z 50 ), we know that φ(x) = rx mod 50 for some r U(50). Since φ(7) = 13, it must be the case that 13 = φ(7) = 7r mod 50. We can remove the 7 and solve for r by multiplying by 7 s inverse in U(50). That is, since 43 7 mod 50 = 1 we have r = 1 r mod 50 = 43 7r mod 50 = 43 13 mod 50 = 9. Hence, φ(x) = 9x mod 50 for all x Z 50.

p 133, #22 It is easy to see that U(24) = {1, 5, 7, 11, 13, 17, 19, 23} and 5 2 mod 24 = 25 mod 24 = 1 7 2 mod 24 = 49 mod 24 = 1 11 2 mod 24 = 121 mod 24 = 1 13 2 mod 24 = 169 mod 24 = 1 17 2 mod 24 = 289 mod 24 = 1 19 2 mod 24 = 361 mod 24 = 1 23 2 mod 24 = 529 mod 24 = 1 so that every non-identity element of U(24) has order 2. However, since 3 U(20) and 3 2 mod 20 = 9 1, U(20) has an element with order greater than 2. As above, Theorem 6.2 (part 5) implies that there cannot be an isomorphism between U(24) and U(20). p 133, #24 Although we won t prove it here, it is straightforward to verify that G and H are both groups under addition. So it makes sense to ask whether or not G and H are isomorphic. Since every element in g G has the form g = a + b 2, a, b Q, and this expression is unique 1, the function ρ : G H a + b ( a 2b 2 b a ) is well-defined. Ourgoal is to showthat ρ is an isomorphism. 1-1: If ρ(a 1 + b 1 2) = ρ(a2 + b 2 2) then, by the definition of ρ, we must have a1 2b 1 a1 2b = 1 b 1 a 1 b 1 a 1 which implies that a 1 = a 2 and b 1 = b 2. Hence, a 1 + b 1 2 = a2 + b 2 2, which proves that ρ is one-to-one. Onto: This is clear, given the definitions of G, H and ρ. Operation Preservation: Let x 1 = a 1 + b 1 2, x2 = a 2 + b 2 2 G. Then x 1 + x 2 = (a 1 + b 1 2) + (a2 + b 2 2) = (a1 + a 2 ) + (b 1 + b 2 ) 2 1 This fact is essential to our construction, so let s quickly prove it. Let x G and suppose x = a 1 + b 1 2 = a2 + b 2 2 with a 1, a 2, b 1, b 2 Q. Then a 1 a 2 = (b 2 b 1 ) 2 and if b 1 b 2 then we have 2 = (a 1 a 2 )/(b 2 b 1 ) Q, which is impossible. So it must be that b 1 = b 2 from which it follows that a 1 = a 2 as well.

so that ρ(x 1 + x 2 ) = ρ((a 1 + a 2 ) + (b 1 + b 2 ) 2) a1 + a = 2 2(b 1 + b 2 ) b 1 + b 2 a 1 + a 2 a1 2b = 1 a2 2b + 2 b 1 a 1 b 2 a 2 = ρ(a 1 + b 1 2) + ρ(a2 + b 2 2) = ρ(x 1 ) + ρ(x 2 ) which proves that ρ is operation preserving. Since ρ : G H is 1-1, onto and preserves the group operations, we conclude that ρ is an isomorphism and hence that G = H. It s easy to check that both G and H are closed under multiplication (an exercise left to the reader) and that ρ preserves these operations as well (which we now prove). Let x 1 = a 1 + b 1 2, x2 = a 2 + b 2 2 G. Then so that x 1 x 2 = (a 1 + b 1 2)(a2 + b 2 2) = (a1 a 2 + 2b 1 b 2 ) + (a 1 b 2 + a 2 b 1 ) 2 On the other hand, we have That is, ρ(x 1 x 2 ) = ρ(x 1 )ρ(x 2 ) = ρ(x 1 x 2 ) = which proves that ρ preserves multiplication. a1 a 2 + 2b 1 b 2 2(a 1 b 2 + a 2 b 1 ). a 1 b 2 + a 2 b 1 a 1 a 2 + 2b 1 b 2 = a1 2b 1 a2 2b 2 b 1 a 1 b 2 a 2 a1 a 2 + 2b 1 b 2 2(a 1 b 2 + a 2 b 1 ) a 1 b 2 + a 2 b 1 a 1 a 2 + 2b 1 b 2 a1 a 2 + 2b 1 b 2 2(a 1 b 2 + a 2 b 1 ) = ρ(x a 1 b 2 + a 2 b 1 a 1 a 2 + 2b 1 b 1 )ρ(x 2 ) 2 p 134, #32 Define f : R + R by f(a) = log 10 (a). As usual, to prove this is an isomorphism we need to verify that f is one-to-one, onto and preserves the group operations. One-to-one: If f(a) = f(b) then log 10 (a) = log 10 (b) so that a = 10 log 10 (a) = 10 log 10 (b) = b, proving that f is one-to-one. Onto: Let y R. Then a = 10 y R + and we see that which shows that f is onto. f(a) = log 10 (a) = log 10 (10 y ) = y,

Operation preservation: Let a, b R +. Then, using a familiar property of logarithms we have f(ab) = log 10 (ab) = log 10 (a) + log 10 (b) = f(a) + f(b). Since the operation in R + is multiplication and that in R is addition, we conclude that f is operation preserving. Having verified the three defining conditions, we conclude that f is an isomorphism, i.e. R + = R. p 134, #42 Lemma 1. Let φ : Q Q be an operation preserving function 2. Then for all r Q. Proof. Let n Z +, r Q. Then If we let r = 1 this becomes φ(r) = rφ(1) φ(nr) = φ(r } + r + {{ + r } = φ(r) + φ(r) + + φ(r) = nφ(r). }{{} n times n times whereas if we let r = 1/n we get or Also, since φ(0) = 0 3 we have so that φ(n) = nφ(1) 1 φ(1) = nφ n 1 φ = 1 n n φ(1). 0 = φ(0) = φ(r + ( r)) = φ(r) + φ( r) φ( r) = φ(r). With these facts in hand we can now complete the proof. Let r Q. If r > 0 then r = m/n with m, n Z + and we have ( m ) ( φ(r) = φ = φ m 1 ) 1 = mφ = m 1 φ(1) = rφ(1). n n n n On the other hand, if r < 0 then r = s with s Q, s > 0 and so by what we have just proven φ(r) = φ( s) = φ(s) = sφ(1) = rφ(1). 2 Such a function is called a homomorphism. 3 This is proven for homomorphisms the same way it is for isomorphisms.

Proposition 1. Let φ : Q Q be one-to-one and operation preserving 4. Then φ is onto. Proof. Let s Q. Since φ is one-to-one and φ(0) = 0, we must have φ(1) 0. Set r = s/φ(1). Then r Q and so by the Lemma s φ(r) = φ = s φ(1) φ(1) φ(1) = s which proves that φ is onto. Finishing the exercise is now almost trivial. Let H Q and suppose that φ : Q H is an isomorphism. Since H Q, we can view φ as a one-to-one, operation preserving map into Q. The Proposition then tells us that, in fact, φ must map onto Q. That is, Q = φ(q) = H, so that H is not a proper subgroup of Q. Therefore, Q cannot be isomorphic to any of its proper subgroups. Isomorphism Exercise 1: The basic idea here is that given an element σ G, we can simply forget that σ acts on the entire set {1, 2,..., n}. To be specific, let σ G. Since σ is one-to-one and σ(n) = n, σ must map the complementary set {1, 2,..., n 1} onto itself. That is σ G σ {1,2,...,n 1} S n 1. We can therefore define ψ : G S n 1 by ψ(σ) = σ {1,2,...,n 1}. We claim that ψ is an isomorphism. One-to-one: Suppose that ψ(σ) = ψ(τ). Then, by the definition of ψ, it must be that σ {1,2,...,n 1} = τ {1,2,...,n 1} i.e. as functions σ and τ agree on the set {1, 2,..., n 1}. But since σ, τ G, we know that σ(n) = τ(n) = n. Hence, σ and τ actually agree on all of {1, 2,..., n} and so σ = τ. Onto: To build an element σ G, we must specify the values of σ on the set {1, 2,..., n 1}, since we are forced to set σ(n) = n. As there are n 1 choices for the image of 1, n 2 choices for the image of 2, etc., we find that there are (n 1)! elements in G (this is the same argument that was used to count S n in the first place). That is G = (n 1)! = S n 1. Therefore ψ is a one-to-one map between two finite sets of the same size. It follows that ψ is onto. Operation preservation: Let σ, τ G. For any i {1, 2,..., n 1} we have (στ){1, 2,..., n 1}(i) = (στ)(i) = σ(τ(i)) = σ {1,2,...,n 1} (τ {1,2,...,n 1} (i)) = (σ {1,2,...,n 1} τ {1,2,...,n 1} )(i) which shows that ψ(στ) = (στ){1, 2,..., n 1} = σ {1,2,...,n 1} τ {1,2,...,n 1} = ψ(σ)ψ(τ). 4 Such a function is called a monomorphism.

Isomorphism Exercise 2: Let 0 1 A = and B = ( 0 1 1 0 ). We begin by computing: A 2 = A 3 = 1 0 A 4 = I B 2 = I 1 0 AB = A 2 B = A 3 B = = BA 0 1 Since G is a group containing A and B, then by closure G must contain the matrices I, A, A 2, A 3, B, AB, A 2 B, A 3 B, and we now see that these are all distinct. We claim that in fact, these 8 matrices form a group, i.e. G = {I, A, A 2, A 3, B, AB, A 2 B, A 3 B}. This is most easily seen using a Cayley table: I A A 2 A 3 B AB A 2 B A 3 B I I A A 2 A 3 B AB A 2 B A 3 B A A A 2 A 3 I AB A 2 B A 3 B B A 2 A 2 A 3 I A A 2 B A 3 B B AB A 3 A 3 I A A 2 A 3 B B AB A 2 B B B A 3 B A 2 B AB I A 3 A 2 A AB AB B A 3 B A 2 B A I A 3 A 2 A 2 B A 2 B AB B A 3 B A 2 A I A 3 A 3 B A 3 B A 2 B AB B A 3 A 2 A I The entry in the X th row and Y th column is XY, and each was computed using the relations given above: A 4 = B 2 = I and A 3 B = BA. It is clear from the table that the set {I, A, A 2, A 3, B, AB, A 2 B, A 3 B} is closed under matrix multiplication and so the finite subgroup test implies it is a group. Thus, the smallest group containing A and B is G = {I, A, A 2, A 3, B, AB, A 2 B, A 3 B}. Isomorphism Exercise 3: Let 0 1 A = and B = ( 0 i i 0 ).

As in Exercise 2, we begin by computing: A 2 = A 3 = 1 0 A 4 = I B 2 = = A 2 0 i B 3 = i 0 B 4 = I i 0 AB = = B 0 i 3 A A 2 B = B( 3 ) i 0 A 3 B = = AB 0 i 3 Since G is a group containing A and B, then by closure G must contain the matrices I, A, A 2, A 3, B, B 3, AB, A 3 B, and we now see that these are all distinct. We claim that in fact, these 8 matrices form a group, i.e. G = {I, A, A 2, A 3, B, B 3, AB, A 3 B}. This is most easily seen using a Cayley table: I A A 2 A 3 B B 3 AB A 3 B I I A A 2 A 3 B B 3 AB A 3 B A A A 2 A 3 I AB A 3 B B 3 B A 2 A 2 A 3 I A B 3 A 3 B B AB A 3 A 3 I A A 2 A 3 B AB B B 3 B B A 3 B B 3 AB A 2 I A A 3 B 3 B 3 AB B A 3 B I A 2 A 3 A AB AB B A 3 B B 3 A 3 A A 2 I A 3 B A 3 B B 3 AB B A A 3 I A 2 The entry in the X th row and Y th column is XY, and each was computed using the relations given above. It is clear from the table that the set {I, A, A 2, A 3, B, B 3, AB, A 3 B} is closed under matrix multiplication and so the finite subgroup test implies it is a group. Thus, the smallest group containing A and B is G = {I, A, A 2, A 3, B, B 3, AB, A 3 B}. G is not isomorphic to D 4 because D 4 has only 2 elements of order 4 (R 90 and R 270 ) whereas G has at least 3 elements of order 4 (A, B and AB). And G is not isomorphic to Z 8 because G is not cyclic (every element has order 1, 2 or 4). Isomorphism Exercise 4: Let H Z, H {0}. Since Z is cyclic, we know that H is cyclic as well. Write H = k, k Z +. Define f : Z H by f(n) = nk. It is clear that f is onto. If f(m) = f(n) then mk = nk and, since k 0, m = n. Thus f is one-to-one. Finally, we see that f(m + n) = (m + n)k = mk + nk = f(m) + f(n)

proving that f preserves operations. It follows that f is an isomorphism and hence that Z = H. Since H was arbitrary, we conclude that Z is isomorphic to all of its nontrivial subgroups.