Math 103 HW 9 Solutions to Selected Problems

Similar documents
Solution Outlines for Chapter 6

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

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

Group Isomorphisms - Some Intuition

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

MA441: Algebraic Structures I. Lecture 15

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

Teddy Einstein Math 4320

Lecture 4.1: Homomorphisms and isomorphisms

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.

Solutions to Assignment 4

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

Solutions for Assignment 4 Math 402

MA441: Algebraic Structures I. Lecture 14

NOTES ON FINITE FIELDS

Elements of solution for Homework 5

6 Cosets & Factor Groups

Math 581 Problem Set 8 Solutions

Algebra I: Final 2018 June 20, 2018

Math 3140 Fall 2012 Assignment #2

Solutions of exercise sheet 4

PROBLEMS FROM GROUP THEORY

Abstract Algebra II Groups ( )

Group Theory

Homework #11 Solutions

A Little Beyond: Linear Algebra

Lecture 3. Theorem 1: D 6

Answers to Final Exam

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

Theorems and Definitions in Group Theory

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

A while back, we saw that hai with hai = 42 and Z 42 had basically the same structure, and said the groups were isomorphic, in some sense the same.

Lecture Note of Week 2

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

Section 15 Factor-group computation and simple groups

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

Math 3140 Fall 2012 Assignment #3

(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 210B: Algebra, Homework 4

BASIC GROUP THEORY : G G G,

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

INTRODUCTION TO THE GROUP THEORY

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

The Outer Automorphism of S 6

Math 370 Spring 2016 Sample Midterm with Solutions

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

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

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

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

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Homework 6 Solutions to Selected Problems

Math 120 HW 9 Solutions

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

M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA

MODEL ANSWERS TO THE FIFTH HOMEWORK

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

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

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

MATH ABSTRACT ALGEBRA DISCUSSIONS - WEEK 8

ALGEBRA QUALIFYING EXAM PROBLEMS

Total 100

Recall: Properties of Homomorphisms

Section 3 Isomorphic Binary Structures

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

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

Cosets and Normal Subgroups

Math 581 Problem Set 9

SCHOOL OF DISTANCE EDUCATION

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

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

6. The Homomorphism Theorems In this section, we investigate maps between groups which preserve the groupoperations.

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

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

Abstract Algebra, HW6 Solutions. Chapter 5

Math 210A: Algebra, Homework 6

Lecture 7.3: Ring homomorphisms

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

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

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.

Algebraic Structures Exam File Fall 2013 Exam #1

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

Algebra homework 6 Homomorphisms, isomorphisms

MATH 430 PART 2: GROUPS AND SUBGROUPS

Your Name MATH 435, EXAM #1

Name: Solutions - AI FINAL EXAM

Extra exercises for algebra

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

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions)

5 Group theory. 5.1 Binary operations

Lecture 7 Cyclic groups and subgroups

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

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

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

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Transcription:

Math 103 HW 9 Solutions to Selected Problems 4. Show that U(8) is not isomorphic to U(10). Solution: Unfortunately, the two groups have the same order: the elements are U(n) are just the coprime elements of Z n, so U(8) = {1, 3, 5, 7} while U(10) = {1.3.7.9}. Thus, we must examine the elements further. We claim that U(10) is cyclic. This is easy to calculate: which means 3 generates U(10). 3 2 9 3 3 = 27 7 3 4 3 7 1 (mod 10) Now if U(10) and U(8) were isomorphic, we have seen that this would mean U(8) was cyclic as well. In particular, it would have a generator of order 4. However, we can see that 3 2 = 9 1 5 2 = 25 1 7 2 = 49 1 (mod 8) so every element of U(8) has order dividing 2. Therefore, U(8) is not cyclic, hence is not isomorphic to U(10). 12. Let G be a group. Prove that the mapping α(g) = g 1 for all g in G is an automorphism if and only if G is Abelian. 1

Solution: α is clearly its own inverse, so it is always a bijective map. The only question is whether it is a morphism of groups, so it is enough to show this is true if and only if G is Abelian. If G is Abelian, then certainly α(gh) = (gh) 1 = h 1 g 1 = g 1 h 1 = α(g)α(h) since we can commute elements, so α is a morphism. On the other hand, by definition α being a morphism is equivalent to (gh) 1 = g 1 h 1 for every g, h G. By problem 25 from Homework 4, this implies that G is Abelian. Putting the two together, we have our result. 17. If G is a group, prove that Aut(G) and Inn(G) are groups. Solution: We first show that each has an identity. The operation is function composition, so the identity here is just the identity function id G on G. This is certainly bijective, and it is a morphism simply because G is a group. This shows id G Aut(G). Function composition is also associative (see Theorem 0.8.1), we know that the composition of bijective functions is bijective, and it easy to check that the composition of morphisms is again a morphism 1. Thus, Aut(G) is closed under multiplication. It remains to show it is closed under inversion. We know at least that the function α 1 exists for α Aut(G) (since bijective is equivalent to invertible). If we let g, h be in G, then α 1 (gh) = α 1 (α(α 1 (g))α(α 1 (h)) = α 1 (α(α 1 (g)α 1 (h))) (since α is a morphism) = α 1 (g)α 1 (h) meaning α 1 is actually in Aut(G). This shows that Aut(G) is a group. Inn(G) is defined as a subset of Aut(G), so we need not show associativity again. For any g G, ege = g, so id G = φ e, which is certainly an element of Inn(G). Furthermore, φ g φ h (x) = φ g (hxh 1 ) = ghxh 1 g 1 = φ gh (x) for each x G, so φ g φ h = φ gh is in Inn(G). In particular, this show thats φ g φ g 1 = φ g 1φ g = φ e, the identity, so (φ g ) 1 = φ g 1. Thus Inn(G) is closed under multiplication and taking inverses, and contains the identity, so it is indeed a subgroup of Aut(G). 1 that is, if α and β are two morphisms from G to G, α(β(gh)) = α(β(gh)) = α(β(g)β(h)) = α(β(g))α(β(h)) Page 2

24. Let φ be an automorphism of a group G. Prove that H = {x G φ(x) = x} is a subgroup of G. Solution: For any morphism G G, φ(e) = e, meaning e H. Since φ is a morphism, if x, y H, φ(xy) = φ(x)φ(y) = xy, so xy H as well. We also know that φ(g) 1 = φ(g 1 ) for all g G, so x H implies φ(x 1 ) = φ(x) 1 = x 1 ; ie, x 1 H. Thus, H is a subgroup. 26. Suppose that φ : Z 20 Z 20 is an automorphism and φ(5) = 5. What are the possiblities for φ(x)? Solution: Note that since Z 20 is cyclic, generated by 1, φ is completely determined by φ(1): φ(x) = φ(x 1) = x φ(1) since φ is a morphism. This shows that the morphisms from Z 20 to itself are precisely given by φ m (x) = mx for m Z 20 (this is a morphism because φ(x + y) = m(x + y) = mx + my). To be an automorphism, it is enough for φ m (1) = m to generate Z 20, since for finite sets, surjective implies bijective. This means that m must be coprime to 20. Let our φ be one of these φ m. The only other constraint we have is that φ(5) = 5 in Z 20 ; that is, 5m 5 (mod 20). But we know this is true if and only if 20 divides 5m 5 = 5(m 1), or in other words 4 divides m 1. Checking all the members of Z 20, we see that the only m satisfying this condition are m = 1, 9, 13 and 17, so these are the only possibilities for φ(x) = mx. { ( ) 1 a 30. The group a Z} is isomorphic to what familiar group? What if Z is replaced by R? Solution: Let G be this group (implicit here is that the operation is matrix multiplication). We claim that G is isomorphic ( ) to Z. To this end, we try to use the easiest map 1 a φ : G Z possible, given by φ( ) = a. This is a morphism because 1 a 1 b φ( ) ) = φ( ( 1 a + b ) ) = a + b 1 a 1 b = φ( ) + φ( ) ( ) 1 a On the other hand, we can see that φ is invertible: if we let ψ : Z G, a, 1 a 1 a then certainly ψ φ( ) = and φ ψ(a) = a for all a Z, so ψ = φ 1. Thus, φ is an isomorphism. Nothing about our proof relied on any properties of Z, besides that it had an additive structure, so,, replacing Z with R everywhere, it would work for R as well. Page 3

38. Let and G = {a + b 2 a, b are rational} { ( ) a 2b H = a, b are rational}. b a Show that G and H are isomorphic under addition. Prove that G and H are closed under multiplication. Does your isomorphism preserve multiplication as well as addition? ( ) a 2b Solution: Define φ : H G by φ( ) = a + b 2 (which is in G since a, b b a Q). This is definitely surjective, so we must show it is an injective morphism. Given a, b, c, d Q, ( ) a 2b c 2d a + c 2(b + d) φ( + ) = φ( b a d c b + d a + c = (a + c) + (b + d) 2 = a + b 2 + c + d 2 a 2b c 2d = φ( ) + φ( ) b a d c as desired, hence φ is a morphism. As we ( proved) in section 2, φ being injective is equivalent to saying that φ(h) = 0 implies h = (the identity in H) for any h H. In 0 0 0 ( 0 ) a 2b other words, we must show that (letting h = ) if a, b Q, a + b 2 = 0 implies b a a = b = 0. Suppose not; then a = b 2, so b must not be 0 or else a = 0 2 = 0. But then a = 2, meaning we can write 2 as the quotient of two rational numbers. b This forces 2 itself to be rational, as Q is a field (so closed under division by nonzero elements). However, it is well known (for example, often proved in Math 109) that 2 is irrational, so we must have a = b = 0 after all. G is closed under multiplication, as (a + b 2)(c + d 2) = ac + 2bd + (ad + bc) 2 which is in G since the rationals are closed under multiplication and addition. What s more, ( ) a 2b c 2d ac + 2bd 2(bc + ad) = b a d c (bc + ad) ac + 2bd which is in H for the same reasons. This shows that H is closed under multiplication, and also that φ preserves multiplication. 2 and is useful to prove yourself if you didn t go to section Page 4

44. Suppose that G is a finite Abelian group and G has no element of order 2. Show that the mapping g g 2 is an automorphism of G. Show, by example, that there is an infinite Abelian group for which the mapping g g 2 is one-to-one and operation preserving but not an automorphism. Solution: Call this map α. Since G is Abelian, α(gh) = ghgh = g 2 h 2 g, h G, hence α is a morphism. Suppose α(g) = e. Then either g = e or g has order 2, so by assumption we must have g = e. By the fact mentioned in the previous problem, this is enough to show α is injective. As G is finite, injective implies bijective, so α is an automorphism. Now consider the infinite Abelian group Z. In additive notation, α : Z Z is defined by α(x) = 2x. We know that every element of Z has infinite order except the identity, so the proof above still works to show that α is an injective morphism (or we can just divide the equation 2x = 2y by 2). However, injective does not imply bijective in this case: the image of α is the even integers, which definitely isn t all of Z. Therefore, α is not surjective, and hence cannot be an automorphism. 55. Let φ be an automorphism of C, the group of nonzero complex numbers under multiplication. Determine φ( 1). Determine the possibilities for φ(i). Solution: We have seen that isomorphisms preserve orders, and so ( 1) 2 = 1 implies that φ( 1) has order 2. What are the elements of order 2 in C? Such an element call it x must be a solution to x 2 1 = 0, which factorizes as (x 1)(x +1) = 0. We cannot have x = 1 since 1 has order 1, so we can divide by (the nonzero) x 1 to get x + 1 = 0; ie, x = 1. Thus, the only option is φ( 1) = 1. Similarly, i 2 = 1, i 3 = i, and i 4 = 1, so φ(i) must have the same order, 4, as i. The elements of order 4 are solutions in C to x 4 1 = 0, which we can factorize as 0 = x 4 1 = (x 2 1)(x 2 + 1) = (x 1)(x + 1)(x i)(x + i) By the same reasoning as above, this means that the elements of order 4 must be ±1 or ±i. The former do not have order 4, and i has order 4 too (for example, because it s i 1 ), so φ(i) must be ±i. 64. Prove that Q, the group of rational numbers under addition, is not isomorphic to a proper subgroup of itself. Solution: Let φ : Q H be an isomorphism with a subgroup H of Q. We want to show that H = Q. However, if x, y are Z, φ(x) = x φ(1), while φ( x ) (if y 0) y is equal to xφ( 1 1 ), which since φ(1) = φ(y ) = yφ( 1) must be x φ(1). This shows y y y y that φ is completely determined by φ(1), and in fact that φ is just multiplication by φ(1). Page 5

φ is an isomorphism, so in particular it must be injective, with φ(1) 0. But then for any g Q, φ( g ) = g, so the image of φ is Q. Since im(φ) is contained in H almost φ(1) by definition, this forces H = Q, so H cannot be a proper subgroup. Page 6