MODEL ANSWERS TO THE FIFTH HOMEWORK

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

Math 581 Problem Set 8 Solutions

Solution Outlines for Chapter 6

Homework #11 Solutions

2MA105 Algebraic Structures I

Teddy Einstein Math 4320

Elements of solution for Homework 5

Algebra homework 6 Homomorphisms, isomorphisms

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

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Modern Algebra Homework 9b Chapter 9 Read Complete 9.21, 9.22, 9.23 Proofs

MA441: Algebraic Structures I. Lecture 14

Chapter 9: Group actions

Introduction to Groups

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

Normal Subgroups and Factor Groups

Math 210A: Algebra, Homework 5

Section 13 Homomorphisms

Fall /29/18 Time Limit: 75 Minutes

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

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.

Answers to Final Exam

Lecture 4.1: Homomorphisms and isomorphisms

MA441: Algebraic Structures I. Lecture 15

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

First Semester Abstract Algebra for Undergraduates

Section 15 Factor-group computation and simple groups

Solutions for Assignment 4 Math 402

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

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

Your Name MATH 435, EXAM #1

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

Solutions of exercise sheet 4

Lecture 3. Theorem 1: D 6

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

Math 3140 Fall 2012 Assignment #3

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

Solutions to Assignment 4

BASIC GROUP THEORY : G G G,

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

INTRODUCTION TO THE GROUP THEORY

Theorems and Definitions in Group Theory

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.

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

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.

(5.11) (Second Isomorphism Theorem) If K G and N G, then K/(N K) = NK/N. PF: Verify N HK. Find a homomorphism f : K HK/N with ker(f) = (N K).

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

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

Lecture Note of Week 2

MA441: Algebraic Structures I. Lecture 26

Fall 2014 Math 122 Midterm 1

Algebra I: Final 2012 June 22, 2012

Algebra-I, Fall Solutions to Midterm #1

Solutions for Chapter Solutions for Chapter 17. Section 17.1 Exercises

AM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11

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

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.

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

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Two subgroups and semi-direct products

Part II Permutations, Cosets and Direct Product

SUPPLEMENT ON THE SYMMETRIC GROUP

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Course 311: Abstract Algebra Academic year

Quiz 2 Practice Problems

Algebra I Notes. Clayton J. Lungstrum. July 18, Based on the textbook Algebra by Serge Lang

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

Group Theory

Math 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.

Math 31 Take-home Midterm Solutions

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

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Cosets, factor groups, direct products, homomorphisms, isomorphisms

CONSEQUENCES OF THE SYLOW THEOREMS

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

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 Cluster A: Getting a feel for groups

Zachary Scherr Math 370 HW 7 Solutions

The number 6. Gabriel Coutinho 2013

Normal Subgroups and Quotient Groups

Solutions for Homework Assignment 5

Ideals, congruence modulo ideal, factor rings

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

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

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

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

Written Homework # 2 Solution

Name: Solutions - AI FINAL EXAM

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

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

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

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

Math 581 Problem Set 9

Solutions of Assignment 10 Basic Algebra I

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

Math 4320, Spring 2011

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

Transcription:

MODEL ANSWERS TO THE FIFTH HOMEWORK 1. Chapter 3, Section 5: 1 (a) Yes. Given a and b Z, φ(ab) = [ab] = [a][b] = φ(a)φ(b). This map is clearly surjective but not injective. Indeed the kernel is easily seen to be nz. (b) No. Suppose that G is not abelian and that xy yx. Then x 1 y 1 y 1 x 1. On the other hand φ(xy) = (xy) 1 = y 1 x 1 x 1 y 1 = φ(x)φ(y), and one wrong certainly does not make a right. (c) Yes. Suppose that x and y are in G. As G is abelian φ(xy) = (xy) 1 = y 1 x 1 = x 1 y 1 = φ(x)φ(y). Thus φ is a homomorphism. Suppose that a G. Then a is the inverse of b = a 1, so that φ(b) = a. Thus φ is surjective. Suppose that a is in the kernel of φ. Then a 1 = e and so a = e. Thus the kernel of φ is trivial and φ is injective. (d) Yes. φ is a homomorphism as the product of two positive numbers is positive, the product of two negative numbers is positive and the product of a negative and a positive number is negative. This map is clearly surjective. The kernel consists of all positive real numbers. Thus φ is far from injective. (e) Yes. Suppose that x and y are in G. Then φ(xy) = (xy) n = x n y n = φ(x)φ(y). 1

In general this map is neither injective nor surjective. For example, if G = Z and n = 2 then the image of φ is 2Z, and for example 1 is not in the image. Now suppose that G = Z 4 and n = 2. Then 2[2] = [4] = [0], so that [2] is in the kernel. 10. We need to check that aha 1 = H for all a G. If we pick a H there is nothing to prove. Now a = f i g j. Conjugation by a is the same as conjugation by g j followed by conjugation by f i. So we only need to worry about conjugation by f. Now gf = fg 1 so that fgf 1 = g 1. Thus conjugation by f leaves H fixed, as it sends a generator to a generator. 12. Let g G. We want to show that gzg 1 Z. Pick z Z. Then z commutes with g, so that gzg 1 = zgg 1 = z Z. Thus Z is normal in G. 17. Let g G. We want to show that g(m N)g 1 M N. Pick h M N. Then h M and h N. It follows that ghg 1 M and ghg 1 N, as both M and N are normal in G. But then ghg 1 M N and so M N is normal. 22. H = {i, (1, 2)}. Then the left cosets of H are (a) and the right cosets are (b) H = {e, (1, 2)} (1, 3)H = {(1, 3), (1, 2, 3)} (2, 3)H = {(2, 3), (1, 3, 2)} H = {e, (1, 2)} H(1, 3) = {(1, 3), (1, 3, 2)} H(2, 3) = {(2, 3), (1, 2, 3)}. (c) Clearly not every left coset is a right coset. For example {(1, 3), (1, 2, 3)} is a left coset, but not a right coset. 27. Let g G. We have to show that gθ(n)g 1 θ(n). Now as θ is surjective, we may write g = θ(h), for some h G. Pick m θ(n). Then m = θ(n), for some n N. We have gmg 1 = θ(h)θ(n)θ(h) 1 = θ(hnh 1 ). 2

Now hnh 1 N as N is normal. So gmg 1 θ(n) and θ(n) is normal in G. 37. Note that S 3 is the group of permutations of three objects. So we want to find three things on which G acts. Pick any element h of G. Then the order of h divides the order of G. As the order of G is six, it follows that the order of h is one, two, three, or six. It cannot be six, as then G would be cyclic, whence abelian, and it can only be one if h is the identity. Note that elements of order 3 come in pairs. If a is an element of order 3 then a 2 = a 1 also has order three and they are the two elements of a not equal to the identity. So the number of elements of order 3 is even. As there are five elements of G which don t have order one, it follows that at least one element a of G has order 2. If H = a then H is a subgroup of G of order two. Let b be any other element of G. Consider the subgroup K = a, b of G generated by a and b. Then K has at least three elements, e, a and b and on the other hand the order of K is even by Lagrange as H is a subgroup of order 2. Thus K has at least four elements. As the order of K divides the order of G the order of K is six, so that G = a, b is generated by a and b. If ab = ba it is not hard to check that G is abelian. As G is not abelian we must have ab ba. As H is a subgroup of G of order two, the number of left cosets of H in G (the index of H in G) is equal to three, by Lagrange. Let S be the set of left cosets. Define a map from G to A(S), φ: G A(S) by sending g to σ = φ(g), where σ is the map, σ : S S σ(xh) = gxh, that is, σ acts on the left cosets by left multiplication by g. If xh = yh so that y = xh for some h H then gy = g(xh) = (gx)h, so that (gy)h = (gx)h and σ is well-defined. σ is a bijection, as its inverse τ is given by left multiplication by g 1. Now we check that φ is a homomorphism. Suppose that g 1 and g 2 are two elements of G. Set σ i = φ(g i ) and let τ = φ(g 1 g 2 ). We need to check that τ = σ 1 σ 2. Pick 3

a left coset xh. Then σ 1 σ 2 (xh) = σ 1 (g 2 xh) = g 1 g 2 xh = τ(xh). Thus φ is a homomorphism. We check that φ is injective. It suffices to prove that the kernel of φ is trivial. Pick g Ker φ. Then σ = φ(g) is the identity permutation, so that for every left coset xh, gxh = xh. Consider the left coset H. Then gh = H. It follows that g H, so that either g = e or g = a. If g = a, then consider the left coset bh. We would then have abh = bh, so that ab = bh, where h H. So h = e or h = a. If h = e, then ab = b, and a = e, a contradiction. Otherwise ab = ba, a contradiction. Thus g = e, the kernel of φ is trivial and φ is injective. As A(S) has order six and φ is injective, it follows that φ is a bijection. Thus G is isomorphic to S 3. 43. Let G be a group of order nine. Let g G be an element of G. Then the order of g divides the order of G. Thus the order of g is 1, 3 or 9. If G is cyclic then G is certainly abelian. Thus we may assume that there is no element of order nine. On the other hand the order of g is one if and only if g = e. Thus we may assume that every element of G, other than the identity, has order three. Let a G be an element of G, other than the identity. Let H = a. Then H has order three. Let S be the set of left cosets of H in G. By Lagrange S has three elements. Let φ: G A(S) S 3 be the corresponding homomorphism. Let G be the order of the image. Then the order of G is the number of left cosets of the kernel, which divides G by Lagrange. On the other hand the order of G divides the order of A(S), again by Lagrange. Thus G must have order three. It follows that the kernel of φ has order three. Thus the kernel of φ is H and H is a normal subgroup of G. Let b G be any element of G that does not commute with a. Then bab 1 must be an element of H, as H is normal in G, and so bab 1 = a 2. 4

It follows that ba = a 2 b 2. In this case (ba) 2 = baba = a 2 b 2 ba = a 2 a = e. Thus ba is an element of order 2, which is impossible as G has order 9. 49. Let S be the set of left cosets of H in G. Define a map φ: G A(S) by sending g G to the permutation σ A(S), a map σ : S S defined by the rule σ(ah) = gah. Note that τ, which acts by multiplication on the left by g 1 is the inverse of σ, so that σ is indeed a permutation of S. It is easy to check, as before, that φ is a homomorphism. Let N be the kernel of φ. Then N is normal in G. Suppose that a N and let σ = φ(a). Then σ is the identity permutation of S. In particular σ(h) = H, so that ah = H. Thus a H and so N H. Let n be the index of H, so that the image of G has at most n! elements. In this case there are at most n! left cosets of N in G, since each left coset of N in G is mapped to a different element of A(S). Thus the index of N is at most n!. 52. Let A be the set of elements such that φ(a) = a 1. Pick an element g G and let B = g 1 A. Then A B = A + B A B > (3/4) G + (3/4) G G = (1/2) G. Now pick h A B and suppose that g A. Then gh A. It follows that h 1 g 1 = (gh) 1 = φ(gh) = φ(g)φ(h) = g 1 h 1. Taking inverses, we see that g and h must commute. Let C be the centraliser of g. Then A B C, so that C contains more than half the elements of G. On the other hand, C is subgroup of G. By 5

Lagrange the order of C divides the order of G. Thus C = G. Hence g is in the centre Z of G and so the centre Z of G contains at least 3/4 of the elements of G. But then the centre of G must also equal G, as it is also a subgroup of G. Thus G is abelian. 6