Math 3140 Fall 2012 Assignment #3

Similar documents
Math 3140 Fall 2012 Assignment #4

Math 3140 Fall 2012 Assignment #2

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

Name: Solutions Final Exam

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

Homework #5 Solutions

Teddy Einstein Math 4320

INTRODUCTION TO THE GROUP THEORY

Fall /29/18 Time Limit: 75 Minutes

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

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

Part IA. Numbers and Sets. Year

Math 210A: Algebra, Homework 5

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

Lecture 4.1: Homomorphisms and isomorphisms

Theorems and Definitions in Group Theory

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

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 121 Homework 3 Solutions

Math 120A: Extra Questions for Midterm

Group Theory

What is a semigroup? What is a group? What is the difference between a semigroup and a group?

Name: Solutions - AI FINAL EXAM

Algebra homework 6 Homomorphisms, isomorphisms

5 Group theory. 5.1 Binary operations

Algebraic Structures Exam File Fall 2013 Exam #1

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

0 Sets and Induction. Sets

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

Name: Solutions Final Exam

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Math 103A Fall 2012 Exam 2 Solutions

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

Quiz 2 Practice Problems

RINGS: SUMMARY OF MATERIAL

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

Introduction to Abstract Algebra (Math 113)

Higher Algebra Lecture Notes

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

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

Algebraic structures I

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

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

The Symmetric Groups

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

Homework Problems, Math 200, Fall 2011 (Robert Boltje)

NOTES ON FINITE FIELDS

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

Part II Permutations, Cosets and Direct Product

Section 15 Factor-group computation and simple groups

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

Algebra SEP Solutions

Pseudo Sylow numbers

Two subgroups and semi-direct products

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

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

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

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

CSIR - Algebra Problems

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

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

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.

A Little Beyond: Linear Algebra

Solutions of exercise sheet 4

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Math Introduction to Modern Algebra

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

6 Cosets & Factor Groups

Author: Bob Howlett Group representation theory Lecture 1, 28/7/97. Introduction

Math 4320, Spring 2011

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

Math 581 Problem Set 8 Solutions

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

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

Quasi-reducible Polynomials

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Math 121 Homework 5: Notes on Selected Problems

HOMEWORK Graduate Abstract Algebra I May 2, 2004

Cosets and Normal Subgroups

REU 2007 Discrete Math Lecture 2

MA441: Algebraic Structures I. Lecture 14

Math 4400, Spring 08, Sample problems Final Exam.

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

Cosets and Lagrange s theorem

Lecture 3. Theorem 1: D 6

FIELD THEORY. Contents

book 2005/1/23 20:41 page 132 #146

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

Math 103 HW 9 Solutions to Selected Problems

Math 430 Exam 2, Fall 2008

BASIC GROUP THEORY : G G G,

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

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

Selected Solutions to Math 4107, Set 4

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

Math 120: Homework 6 Solutions

Transcription:

Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition 1. Let G be a group and H G a subset. If H is non-empty and for every x, y H we have xy 1 H as well then H is a subgroup of G. Exercise 12. Suppose that G is a group with 5 elements. (a) Show that G is isomorphic to Z/5Z, the group of integers modulo 5. (Hint: Let x be a non-zero element of G and consider the permutation L x of G induced by left multiplication by x. What could the orbits of this action look like?) Solution. Let x be an element of G other than the identity. Then ord(x) divides the size of G, which is 5. Since the only divisors of 5 are 1 and 5 this means that x has order either 1 or 5. But the only element with order 1 is the identity, so this means the order of x is 5. That means that the elements of G must be 1, x, x 2, x 3, x 4. (Indeed, if x a = x b for a, b < 5 then x a b = 1 so ord(x) must divide a b, which impossible becuase a b < 5 and ord(x) = 5.) Now consider the function ϕ : Z/5Z G defined by ϕ(n) = x n. This is well-defined because if n m (mod 5) we have n m = 5k for some integer k, so x m = x n+5k = x n (x 5 ) k = x n since x 5 = 1. Furthermore, this is a homomorphism because ϕ(n + m) = x n+m = x n x m = ϕ(n)ϕ(m). Finally, this is a bijection because if ϕ(n) = ϕ(m) then x n = x m so x n m = 1 so n m is a multiple of 5 so n m (mod 5). (b) Suppose p is a prime number. Up to isomorphism, how many groups are there with p elements? (You do not have to prove your answer is correct, but try to give a sentence or two of justification.) Solution. All of the reasoning of the solution above works equally well if 5 is replaced by any prime number p. Therefore all groups with p elements are isomorphic to Z/pZ. Exercise 21. Justify your answers below. (a) Is [0, 1] R a subgroup? (Recall that [0, 1] is the interval of all real numbers x such that 0 x 1.) 1

Solution. No: 1 [0, 1] but its inverse 1 is not in [0, 1]. (b) Is 3Z R a subgroup? (Here 3Z is the set of integers that are multiples of 3.) Solution. Yes: 3Z is not empty (it contains 0, for example) and if a, b 3Z then a = 3x and b = 3y so a b = 3(x y) is also in 3Z. Therefore by Proposition 1, 3Z is a subgroup of R. (c) Is Q C a subgroup? Solution. Yes: it s non-empty because 0 Q and if x and y are rational numbers then so is x y. Therefore by Proposition 1, Q is a subgroup of C. (d) Is R Q R a subgroup? (Note that R Q is the set of all irrational real numbers.) Solution. No: R Q doesn t contain the identity! (e) Let A D n be the subset consisting of all reflections and the identity. Is A a subgroup? Solution. If n = 2 then yes, this is a group: D 2 consists of two elements, a reflection and the identity. If n > 2 then D n contains two different reflections τ and σ. Each of τ and σ fixed a different line. Let θ be the angle between the lines fixed by τ and σ. Then I claim τσ has the effect of rotating by an angle of 2θ. To prove this, select a ray S fixed by σ and a ray T fixed by τ such that the angle from S to T is θ. If the angle from S to a ray R is φ then the angle from S to σ(r) is φ. Therefore the angle from T to σ(r) makes an angle θ φ. Then the angle from T to τ(σ(r)) will be θ + φ. The angle from S to τσ(r) is therefore 2θ + φ. Thus acting by τσ has the effect of rotation by 2θ. (f) Let B D n be the subset of all rotations (including the identity). Is B a subgroup? Solution. Yes. B is non-empty (contains the identity) and if σ and τ are rotations by angles θ and φ, respectively, then στ 1 is rotation by θ φ. Therefore B is a subgroup. Exercise 22. Suppose that ϕ : A B is a homomorphism of groups. Let K A be the set of all elements a A such that ϕ(a) = 1. Symbolically, Show that K is a subgroup of A. K = {a A ϕ(a) = 1}. 2

Solution. We know that ϕ(1) = 1 by an earlier exercise so 1 K. Therefore K. Also, if a, b K then ϕ(ab 1 ) = ϕ(a)ϕ(b) 1 = 1 1 1 = 1 so ab 1 K. Therefore K is a subgroup by Proposition 1. Exercise 23. [Arm, Exercise 5.1]. (a) Find all subgroups of Z/12Z. Solution. The subgroups are Z/12Z 2Z/12Z 3Z/12Z 4Z/12Z 6Z/12Z {0}. The lines indicate which groups are contained in which others: if X and Y are connected by a line and X appears above Y then X contains Y. (b) Find all subgroups of D 5. Solution. There are 10 elements in D 5. Let ρ be a rotation by 72 = 2π 5 and let τ be a reflection in D 5. Then the elements of D 5 are 1, ρ, ρ 2, ρ 3, ρ 4, τ, τρ, τρ 2, τρ 3, τρ 4. The elements in the first line are reflections and the elements in the second line are rotations. Suppose that G D 5 is a subgroup. If it contains a rotation other than the identity then it contains all rotations (since every element of Z/5Z has order 5!) and the collection of reflections is a subgroup of D 5. Each reflection generates a subgroup with 2 elements. If a subgroup contains a non-trivial rotation and a non-trivial reflection then it must be all of D 5. Therefore we have named all of the subgroups already: D 5 ρ τ τρ τρ 2 τρ 3 τρ 4 {e} 3

Exercise 24. Suppose that G is a group and A and B are subgroups of G. (a) Show that A B is also a subgroup. Solution. If A and B are subgroups then both contain the identity e G. Therefore e A B so A B. Also, if a, b A B then a, b A and a, b B so ab 1 A and ab 1 B so ab 1 A B. Therefore A B is a subgroup by Proposition 1. (b) Assume that G is abelian. Let C = {ab a A, b B}. Show that C is a subgroup of G. Solution. We know that C is non-empty because e A and e B so e = ee C. Also, if we have two elements x, y C then x = ab with a A and b B and y = cd with c A and d B. We have xy 1 = ab(cd) 1 = ac 1 bd 1 (because G is abelian!). Furthermore, ac 1 A and bd 1 B because A and B are subgroups of G. Therefore their product ac 1 bd 1 = xy 1 is in C. Therefore C is a subgroup of G by Proposition 1. (c) Show that in the last part, the assumption G be abelian is essential by giving an example of a non-abelian group G and subgroups A and B such that if C is defined as above then C is not a subgroup of G. Solution. Consider G = S 3, let A = {e, (12)} and B = {e, (23)}. These are both subgroups but C consists of five elements: {e, (12), (23), (123), (132)} and this is not a subgroup (it does not contain (23)(123) = (13)). Exercise 25. Compute the sign of each of the following permutations: ( ) 1 2 3 4 5 (a) 3 4 5 2 1 Solution. We can count the number of crossings in 1 2 3 4 5 1 2 3 4 5. There are 7 crossings so the permutation is odd. Its sign is 1. We can also compute by writing it in cycle notation: (135)(24) = (13)(35)(24). This is a product of an odd number of transpositions so its sign is 1. 4

(b) (1364)(25) Solution. We can write this as a product of transpositions (13)(36)(64)(25). There is an even number of transpositions, so the permutation is even. Its sign is +1. (c) (a 1 a 2 a n ). Solution. Write this as a product of transpositions: (a 1 a 2 )(a 2 a 3 ) (a n 1 a n ). There are n 1 transpositions above, so the sign is ( 1) n 1. Exercise 26. The first 3 parts of this problem are meant to give you ideas for the last part. It is also permissible to use the last part to solve the first 3 parts. (a) Compute the order of the permutation (12)(345) S 5. Solution. ord((12)(345)) = 6 (b) Compute the order of (123)(4567) S 7. Solution. ord((123)(4567)) = 12 (c) Compute the order of (12)(34)(567) S 7. Solution. ord((12)(34)(567)) = 6 (d) Suppose that σ = σ 1 σ k is a product of disjoint cycles in S n. Prove that ord(σ) = lcm {ord(σ 1 ),..., ord(σ k )}. 5

Solution. Because disjoint cycles commute, we have σ l = σ l 1 σ l k. Therefore the order of σ is the smallest value of l such that σi l = e for all i. But σi l = e if and only if l is a multiple of the order of σ i. Therefore the smallest l such that σi l = e for all i is precisely the least common multiple of the orders of all of the σ i. Exercise 28. Let A be a group. Let be the set of automorphisms of A: G = {f : A A f is an isomorphism of groups}. Show that G is a group where the operation is composition of functions. (Hint: show that G is a subgroup of S A.) Solution. Since every isomorphism of groups is a bijection, G is a subset of S A. To show it is a subgroup we have to show that it is non-empty and that if f, g G then fg 1 G (by Proposition 1). We certainly have the identity function id A G because the identity is definitely a automorphism of A. Furthermore, we can check that if f and g are automorphisms of G then so is fg 1 : We have to check that fg 1 is a bijective homomorphism. It is a bijection because it is the composition of the bijections f and g 1. It is a homomorphism because both f and g 1 are homomorphisms, which implies that fg 1 (xy) = f(g 1 (xy)) = f(g 1 (x)g 1 (y)) because g 1 is a homomorphism = f(g 1 (x))f(g 1 (y)) because f is a homomorphism = fg 1 (x)fg 1 (y). Thus fg 1 is a homomorphism. It follows now that G is a subgroup of S A and is in particular therefore a group. Exercise 29. Let G be the set of all surjective functions from N (the set of natural numbers) to itself. Is G a group with the operation being composition of functions? If so, prove it. If not, say which axioms of a group fail. Solution. This is not a group. Composition of functions is associative, so G has an associative composition law; the identity function serves as an identity element. And if f : N N is a surjection then for each y N there is some x N such that f(x) = y. If we choose such an x for each y N then we can define a function g : N N such that f(g(y)) = y. However, g is only a right-sided inverse to f. It is possible to find a surjection f : N N that has no left-sided inverse. For example, let { 0 x = 0 f(x) = x 1 x > 0. 6

This function is surjective but not injective, so it cannot have an inverse. However, the function g(y) = y + 1 is a right-sided inverse for f: we have, fg(y) = y but gf(0) = 1 0 so g is not a left-sided inverse for f. References [Arm] M. A. Armstrong. Groups and symmetry. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1988. 7