Solution Outlines for Chapter 6

Similar documents
Math 103 HW 9 Solutions to Selected Problems

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.

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

MA441: Algebraic Structures I. Lecture 15

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

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

MA441: Algebraic Structures I. Lecture 14

Homework #11 Solutions

Math 581 Problem Set 8 Solutions

Algebra homework 6 Homomorphisms, isomorphisms

Teddy Einstein Math 4320

Elements of solution for Homework 5

Solutions to Assignment 4

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

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

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

Algebra-I, Fall Solutions to Midterm #1

First Semester Abstract Algebra for Undergraduates

Lecture 3. Theorem 1: D 6

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.

Answers to Final Exam

Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism.

PROBLEMS FROM GROUP THEORY

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

Solutions for Homework Assignment 5

MA441: Algebraic Structures I. Lecture 26

Solutions for Assignment 4 Math 402

Quiz 2 Practice Problems

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.

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

Extra exercises for algebra

Theorems and Definitions in Group Theory

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

Group Isomorphisms - Some Intuition

INTRODUCTION TO THE GROUP THEORY

Math 210A: Algebra, Homework 6

2MA105 Algebraic Structures I

Abstract Algebra II Groups ( )

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

Recall: Properties of Homomorphisms

Physics 251 Solution Set 1 Spring 2017

Section 15 Factor-group computation and simple groups

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

Part IV. Rings and Fields

Your Name MATH 435, EXAM #1

Definition : Let G be a group on X a set. A group action (or just action) of G on X is a mapping: G X X

Solutions of exercise sheet 4

Part II Permutations, Cosets and Direct Product

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

Lecture 4.1: Homomorphisms and isomorphisms

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University

Math 450 Fall 2000 Solutions to selected problems. Proof. Let i mod n = k and j mod n = l. Then we need to show that. i = qn + k and j = sn + l.

Lecture Note of Week 2

Zachary Scherr Math 370 HW 7 Solutions

Name: Solutions - AI FINAL EXAM

Fall 2014 Math 122 Midterm 1

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

The Outer Automorphism of S 6

Introduction to Groups

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

Group Theory

Written Homework # 1 Solution

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

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

Chapter 9: Group actions

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

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

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

Algebra Lecture Notes for MTH 818/819 Fall 12/Spring 13. Ulrich Meierfrankenfeld

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

Math 210B: Algebra, Homework 4

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

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

Normal Subgroups and Factor Groups

Groups and Symmetries

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Cosets and Normal Subgroups

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.

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

Contemporary Abstract Algebra (6th ed.) by Joseph Gallian

Math Introduction to Modern Algebra

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

x 2 = xn xn = x 2 N = N = 0

Math 546, Exam 2 Information.

Proposition 1.3. Let S and T be sets of the same cardinality. Then any free group on S is isomorphic to any free group

Mathematics Department Qualifying Exam: Algebra Fall 2012

Cosets, factor groups, direct products, homomorphisms, isomorphisms

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

NOTES ON FINITE FIELDS

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

HALF-ISOMORPHISMS OF MOUFANG LOOPS

Lecture 7 Cyclic groups and subgroups

A Little Beyond: Linear Algebra

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

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

Transcription:

Solution Outlines for Chapter 6 # 1: Find an isomorphism from the group of integers under addition to the group of even integers under addition. Let φ : Z 2Z be defined by x x + x 2x. Then φ(x + y) 2(x + y) 2x + 2y φ(x) + φ(y), so φ is a homomorphism. Now, φ(x) φ(y) if and only if 2x 2y, which holds if and only if x y. Thus φ is one-to-one. Finally, let y 2Z. Then y 2k for some k Z. Since k Z and φ(k) 2k y, φ is onto. # 3: Let R + be the group of positive real numbers under multiplication. Show that the mapping φ(x) x is an automorphism of R +. Let φ : R + R + be defined by φ(x) x. Since x will be in the positive reals, and the positive reals is an appropriate domain for φ, φ is an automorphism. Now, φ(xy) xy x y φ(x)φ(y), so φ is a homomorphism. Notice that Ker φ {x x 1} {1}, so φ is one to one. Finally, let y R +. Then y 2 x is also in R +. Moreover, φ(x) φ(y 2 ) y 2 y, so φ is onto. # 4: Show that U(8) is not isomorphic to U(10). Observe that U(10) is cyclic while U(8) is not. # 5: Show that U(8) is isomorphic to U(10). First notice that U(8) {1, 3, 5, 7}, U(12) {1, 5, 7, 11} and all elements of both U(8) and U(12) square to the identity. Let φ be defined by φ(1) 1, φ(3) 5, φ(5) 7, and φ(7) 11. You can check the multiplications of φ(1a), φ(3 5), φ(3 7) and φ(5 7) in order to see that φ indeed is a homomorphism. It is clear by construction that φ is onto and one to one. # 6: Prove that isomorphism is an equivalence relation. Proof. To show that isomorphism is an equivalence relation, I must show reflexive, symmetric and transitive. First, notice that G G by the identity map. Thus the isomorphism relation is reflexive. Suppose that G H. Then there exists an isomorphism φ : G H. But this implies that φ 1 : H G is also an isomorphism. Thus H G and the relation is symmetric. Finally, supposes that G H and H K. Then there exist two isomorphisms: φ : G H and σ : H K. Then σφ : G k is also an isomorphism (you have previously shown that the composition of bijections is a bijection; you should argue that the composition is still a homomorphism if you have not done so yet). Thus, the relation is transitive. # 10: 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. Define α as above. Suppose that α is an automorphism. Then α(ab) α(a)α(b) for all a, b G. This implies that (ab) 1 a 1 b 1. But this means that b 1 a 1 a 1 b 1

and multiplying we see that ab ba. Now suppose instead that G is Abelian. Then reversing the previous argument shows that α must be a homomorphism. The kernel of α is {g g 1 e} {e} so α is one-to-one. Finally, let a G. Then a 1 is also in G since G is a group. Moreover, α(a 1 ) (a 1 ) 1 a so α is onto. (Note: You should recognize most of this problem from an earlier chapter). # 11: If g and h are elements from a group, prove that φ g φ h φ gh. Proof. Let x G. Then (φ g φ h )(x) φ g (φ h (x)) φ g (hxh 1 ) ghxh 1 g 1 (gh)x(gh) 1 φ gh (x). Thus, φ g φ h φ gh. # 12: Find two groups G and H such that G H, but Aut(G) Aut(H). Consider G Z 6 and H Z 3. Since Z 6 Z 3, G H. But Aut(Z 6 ) U(6) {1, 5} < 5 > Z 2 and Aut(Z 3 ) U(3) {1, 2} < 2 > Z 2. Thus Aut(G) Aut(H). # 14: Find Aut(Z 6 ). As above, Aut(Z 6 ) U(6) < 5 > Z 2. Thus there are only two elements in Aut(Z 6 ). Clearly one is the identity map. Also, since the inverse map is an automorphism, this must be the second map. Thus Aut(Z 6 ) {id, φ} where φ(g) g. Alternately: The generators of Z 6 are 1 and 5. Thus Aut(Z 6 ) {φ 1, φ 5 } where φ i is defined as the map that sends 1 to i. Since φ 1 (1) 1, φ 1 is just the identity. Similarly, we can see that φ 5 (1) 5 implies that 2 maps to 4 and 3 maps to 3. Thus φ 5 is the inverse map that sends g to g. # 15: If G is a group, prove that Aut(G) and Inn(G) are groups. Proof. Clearly both Aut(G) and Inn(G) are associative because function composition is associative. Now consider φ 1, φ 2 Aut(G). Since the composition of an isomorphism is an isomorphism (if you don t remember this, prove it to yourself), φ 1 φ 2 Aut(G), giving closure. Let φ e be the automorphism defined by φ e (x) x. Then φ 1 φ e (x) φ 1 (x) φ e φ 1 (x) so this is the identity map. Finally, by Theorem 6.1, property 1, we know that the inverse of an isomorphism is also an isomorphism, thus Aut(G) contains inverses. This completes the proof that Aut(G) is a group. Now, let φ g, φ h Inn(G). By homework problem 11, we know that φ g φ h Inn(G) so it is closed. Using the same calculation (in problem 11), φ g φ e φ ge φ g φ eg φ e φ g, so the group identity is indeed φ e, which is in Inn(G). Similarly, we see φ g φ g 1 φ gg 1 φ e φ g 1 g φ g 1φ g and inverses exist in Inn(G). Thus Inn(G) is also a group. # 20: Show that Z has infinitely many subgroups isomorphic to Z. Consider az where a Z. If a ±1, az Z, and if a 0, az {0}. For all other a, az is a proper, non-trivial subgroup of Z (as shown previously). Consider

φ : az Z defined by az z (Note: φ clearly maps to Z by construction). Then φ(az 1 + az 2 ) φ(a(z 1 + z 2 )) z 1 + z 2 φ(az 1 ) + φ(az 2 ), so φ is a homomorphism. Now, φ(az 1 ) φ(az 2 ) implies that z 1 z 2. But, since a a, this means az 1 az 2 thus φ is one to one. Finally, for any z Z, az az thus our map is onto. Since there are an infinite number of a 1, 0, 1, there are an infinite number of subgroups isomorphic to Z. # 35: Show that the mapping φ(a+bi) a bi is an automorphism of the group of complex numbers under addition. Show that φ preserves complex multiplication as well. First, we show φ is a homomorphism: φ((a + bi) + (c + di)) φ((a + c) + (b + d)i) (a + c) (b+d)i (a bi)+(c di) φ(a+bi)+φ(c+di). Now suppose that φ(a+bi) φ(c+di). Then a bi c di. But this implies that a c and b d. Hence, a+bi c+di, and φ is 1-1. Finally, let a+bi be any element of C. Then a bi is also in C and φ(a bi) a ( b)i a+bi. Thus φ is onto. We see that φ also preserves multiplication since φ((a + bi)(c + di)) φ((ac bd) + (ad + bc)i) (ac bd) (ad + bc)i, which is the same as φ(a + bi)φ(c + di) (a bi)(c di) (ac bd) (bc + ad). # 36: Let G {a + b 2 {[ ] } a 2b a, a, re rational} and H re rational. 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? To show G is isomorphic to H under addition, define φ : G H by the map a + b [ ] 2 a 2b. Then φ(a + b 2 + c + d 2) φ((a + c) + (b + d) [ ] a + c 2b + 2d 2) [ ] [ ] b + d a + c a 2b c 2d + φ(a + b 2) + φ(c + d [ ] a 2b 2). It is clear that φ is onto since d c is mapped to by a + b { 2 and in both cases a, b Q. Finally we see that φ is onto since Ker φ a + b [ ] [ ]} a 2b 0 0 2 {a + b 2 a 0 b} {0}. 0 0 Because (a+b 2)(c+d 2) (ac+2bd)+(bc+ad) 2 and the rationals are closed under multiplication, [ G is closed ] [ under ] multiplication. [ We similarly ] see [ that H is closed under multiplication:. ] a 2b c 2d ac + 2bd 2ad + 2bd (ac + 2bd) 2(ad + bc) d c bc + ad 2bd + ac (ad + bc) (ac + 2bd) Finally, we also see that φ preserves multiplication since φ((a + b 2)(c + d 2)) φ((ac + 2bd) + (bc + ad) [ ] [ ] [ ] ac + 2bd 2(bc + ad) a 2b c 2d 2) φ(a + bc + ad ac + 2bd d c b 2)φ(c + d 2). # 37: Prove that Z under addition is not isomorphic to Q under addition.

The proof is simply that Z is cyclic while Q is not cyclic. We have already shown Z < 1 > but, for completeness, we should argue that Q is not cyclic. Assume that it is cyclic. Then Q < p > for some reduced rational (note: p, q Z). But p ( p q 2q q )i for any i [there is one case q 2 that has to be considered separate, but clearly Q is not generated by p since you 2 can t get a third]. But this means that p Q, which is a contradiction. 2q # 40: Let R n {(a 1, a 2,..., a n ) a i R}. Show that the mapping φ : (a 1, a 2,..., a n ) ( a 1, a 2,..., a n ) is an automorphism of the group R n under component wise addition. This automorphism is called inversion. Describe the action of φ geometrically. Clearly, (a 1, a 2,..., a n ) R n implies that ( a 1, a 2,..., a n ) is also in R n, thus φ : R n R n. Now, φ((a 1, a 2,..., a n ) + (b 1, b 2,..., b n )) φ((a 1 + b 1, a 2 + b 2,..., a n + b n )) ( (a 1 + b 1 ), (a 2 + b 2 ),..., (a n + b n )) ( a 1 b 1, a 2 b 2,..., a n b n ) ( a 1, a 2,..., a n ) + ( b 1, b 2,..., b n ) φ((a 1, a 2,..., a n )) + φ((b 1, b 2,..., b n )). thus φ is a homomorphism. The ker φ {(a 1, a 2,..., a n ) ( a1, a 2,..., a n ) (0, 0,..., 0)} {(a 1, a 2,..., a n ) ai 0 i} {(a 1, a 2,..., a n ) ai 0 i} {(0, 0,..., 0)}. Thus, φ is one-to-one. Finally, we need to show φ is onto. Let (a 1, a 2,..., a n ) R n. Then ( a 1, a 2,..., a n ) is also in R and φ(( a 1, a 2,..., a n )) (a 1, a 2,..., a n ). Geometrically, this is a reflection through the origin. # 42: 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. Since G is closed under the operation, g 2 G for all g G. Thus φ, defined as above, maps G to G. Now, for g, h G, φ(gh) (gh) 2 g 2 h 2 φ(g)φ(h) so φ is a homomorphism. [Recall, (gh) 2 g 2 h 2 because G is Abelian.] Let φ(g) φ(h). Then g 2 h 2, which implies g 2 h 2 (gh 1) 2 e. Since G has no elements of order two, this means that gh 1 e so g h and φ is one-to-one. [Alternatively, ker φ {g g 2 e} {g g e} {e} since there are no elements of order 2.] Since G is finite and φ is one-to-one, we know φ is onto. Thus φ is an automorphism. Let G Z 0. Then φ is still 1-1 and a homomorphism. However, φ is not onto. For example, nothing maps to 3. Thus φ is not an automorphism. # 43: Let G be a group and let g G. If z Z(G), show that the inner automorphism induced by g is the same as the inner automorphism induced by zg. Let g G and z Z(G). Then φ zg (x) (zg)x(zg) 1 zgxg 1 z 1 zz 1 gxg 1. This last step is true because z is in the center, and the center is a group so z 1 is also in the center. Now zz 1 gxg 1 gxg 1 φ g (x). # 45: Suppose that g and h induce the same inner automorphism of a group G. Prove that h 1 g Z(G).

Proof. Suppose that g and h induce the same inner automorphism of a group G. Then for all x G, φ g (x) φ h (x). Hence, gxg 1 hxh 1. Multiplying on the right of each side of the equation by g, we have gx hxh 1 g. Now we multiply each side on the left by h 1. this gives h 1 gx xh 1 g. Thus h 1 g commutes with x for all x G so h 1 g Z(G). # 48: Let φ be an isomorphism from a group G to a group G and let a belong to G. Prove that φ(c(a)) C(φ(a)). We know that ab ba if and only if φ(a)φ(b) φ(b)φ(a). Let g C(a). Then ga ag which implies φ(g)φ(a) φ(a)φ(g). Hence, φ(g) C(φ(a)), illustrating the first containment. Now let h C(φ(a)). Then hφ(a) φ(a)h. But φ is onto so there exists a g G such that h φ(g). Further, ga ag because h and φ(a) commute. Thus h φ(c(a)). Since both containments hold, φ(c(a)) C(φ(a)). # 52: Given a group G, define a new group G that has the same elements as G with the operation defined by a b ba for all a and b in G. Prove that the mapping from G to G defined by φ(x) x 1 for all x in G is an isomorphism from G onto G. Since G contains the same elements of G, and G is closed under inverses, φ maps from G to G. Now for g, h G, φ(gh) (gh) 1 h 1 g 1 φ(h)φ(g) φ(g) φ(h). Thus φ is a homomorphism. The kernel of φ is {g G φ(g) g 1 e} {g G g 1 g eg} {g G e g} {e}. Hence, φ is also one to one. [Note: If G is finite, we are done since this implies φ is onto.] Now let h G. Then h 1 G, and hence in G. Farther, φ(h 1 ) (h 1 ) 1 h. Thus, φ is onto, which completes the proof that φ is an isomorphism.