Math 3140 Fall 2012 Assignment #2

Similar documents
Math 3140 Fall 2012 Assignment #4

Math 3140 Fall 2012 Assignment #3

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

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

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

Math 103 HW 9 Solutions to Selected Problems

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

NOTES ON FINITE FIELDS

EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6

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

Exercises on chapter 1

5 Group theory. 5.1 Binary operations

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

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

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

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

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

Algebraic Structures Exam File Fall 2013 Exam #1

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

DIHEDRAL GROUPS II KEITH CONRAD

CHAPTER 3: THE INTEGERS Z

Lecture 4.1: Homomorphisms and isomorphisms

Algebraic structures I

MATH RING ISOMORPHISM THEOREMS

Teddy Einstein Math 4320

Physics 251 Solution Set 1 Spring 2017

ABSTRACT ALGEBRA. Romyar Sharifi

UMASS AMHERST MATH 411 SECTION 2, FALL 2009, F. HAJIR

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

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

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

ISOMORPHISMS KEITH CONRAD

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

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

Math 581 Problem Set 7 Solutions

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

COMBINATORIAL GROUP THEORY NOTES

Algebra SEP Solutions

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

1 First Theme: Sums of Squares

Math 120A: Extra Questions for Midterm

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.

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

Name: Solutions Final Exam

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.

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

Name: Solutions - AI FINAL EXAM

Groups and Symmetries

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

GALOIS GROUPS AS PERMUTATION GROUPS

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

TCC Homological Algebra: Assignment #3 (Solutions)

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

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

A Little Beyond: Linear Algebra

Math 4320, Spring 2011

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

Group Theory

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

a(b + c) = ab + ac a, b, c k

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

Graph Theory. Thomas Bloom. February 6, 2015

SUPPLEMENT ON THE SYMMETRIC GROUP

Groups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8

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

UNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 2011

GENERATING SETS KEITH CONRAD

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

The number 6. Gabriel Coutinho 2013

Total 100

Symmetries and Polynomials

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

6.5 Elliptic Curves Over the Rational Numbers

Fall /29/18 Time Limit: 75 Minutes

BASIC GROUP THEORY : G G G,

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

* 8 Groups, with Appendix containing Rings and Fields.

Math 594. Solutions 5

Section II.1. Free Abelian Groups

Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms

Math 121 Homework 5: Notes on Selected Problems

Lecture 7 Cyclic groups and subgroups

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

Chapter 2. Vectors and Vector Spaces

Isomorphisms and Well-definedness

CSIR - Algebra Problems

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Profinite Groups. Hendrik Lenstra. 1. Introduction

Math 451, 01, Exam #2 Answer Key

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

REU 2007 Discrete Math Lecture 2

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

Group Isomorphisms - Some Intuition

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

Math 120 HW 9 Solutions

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

Transcription:

Math 3140 Fall 2012 Assignment #2 Due Fri., Sept. 14. sources. Remember to cite your Exercise 2. [Fra, 4, #9]. Let U be the set of complex numbers of absolute value 1. (a) Show that U is a group under multiplication of complex numbers. First we check that the group operation is well-defined: suppose that z = w = 1. Then zw = z w = 1. Therefore if z, w U, so is zw. The identity element is 1 = 1 + 0i. The inverse of z = x + iy is z = x iy since zz = z 2 = 1. Finally, associativity comes from the associativity of complex multiplication. It s okay to treat this fact as known, but if you don t cite it you have to check: ((a + ib)(c + id))(e + if) = (a + ib)((c + id)(e + if)). (b) Show that U is not isomorphic to R (with its additive group structure). Consider 1 U. We have ( 1) 2 = 1 in U. If ϕ : U R is a homomorphism then ϕ( 1) is an element x R such that 2x = 0. The only such element is x = 0. Therefore ϕ( 1) = 0. This proves that no homomorphism U R can be injective. In particular, there can be no isomorphism (bijective homomorphism) U R. Now that we have the notion of a subgroup, a more efficient solution to this problem is possible: we show that U is a subgroup of C. Since 1 U, we know that U. If z, w U then we check that zw 1 U. We have to check that zw 1 = 1 if z = w = 1. Remember that w 1 = w 1 so that we have zw 1 = z w 1 = 1 1 1 = 1. (c) Show that U is not isomorphic to R (with its multiplicative group structure). 1

Consider i U. We have i 4 = 1. Therefore if ϕ : U R is a homomorphism we will have ϕ(i) 4 = 1. The only solutions to this are ϕ(1) = ±1. But then we will have so ϕ cannot be injective. ϕ( 1) = ϕ(i 2 ) = (±1) 2 = 1 Hint: it might help to think about Exercise 13 while thinking about this one. Comments. Several people seemed confused about the definition of multiplication of complex numbers. Remember: (a + ib)(c + id) = ac + iad + ibc + i 2 bd = (ac bd) + i(ad + bc) because i 2 = 1. A frequent mistake was to forget to verify that the group operation is welldefined. You have to make sure that if z, w U then zw U as well. Exercise 13. Suppose that G is a group. An element x G is said to have order n if x n = e but x k e for 0 < k < n. If no such n exists, we say that x has infinite order. (a) What is the order of the identity element e? 1 1 We have e 1 = e and there is no integer k with 0 < k < 1 so ord(e) = 1. (b) Compute the orders of all of the elements of the symmetric group S 3. ord(e) = 1 ord((12)) = 2 ord((13)) = 2 ord((23)) = 2 ord((123)) = 3 ord((132)) = 3. (c) Give an example of a group with more than one element where every element other than e has infinite order. Let G = R. If x R and x has finite order then nx = 0 for some n Z other than n = 0. But then x = 1 n0 = 0. Therefore x = 0 is the only element of R of finite order. (d) Give an example of an infinite group where every element has finite order. (Hint: look for a subgroup of U.) 1 clarification added; thanks Rachel Benefiel 2

The simplest example is probably Q/Z, but we haven t discussed quotient groups yet. Let G be the set of all elements of U of the form e iq = cos(θ) + i sin(θ) where θ = 2πq for some rational number q. These elements form a subgroup of U because they are a non-empty subset and if x = e 2πiq and y = e 2πir are in G then y 1 = e ir and xy 1 = e 2πiq e 2πir = e 2πi(q r) is in G. If q = a/b and x = e 2πiq then x b = e 2πiqb = e 2πia = 1 because a is an integer. Therefore x has finite order (it might not actually have order b, but it has some order dividing b). Exercise 14. Prove that S 3 is not isomorphic to Z/6Z, the group of integers modulo 6. 2 2 Here is one way: Z/6Z is abelian because a + b (mod 6) = b + a (mod 6); on the other hand, (12)(23) = (123) and (23)(12) = (132) in S 3 so S 3 is not abelian. If ϕ : S 3 Z/6Z were an isomorphism then ϕ((123)) = ϕ((12)(23)) = ϕ((12))+ϕ((23)) = ϕ((23))+ϕ((12)) = ϕ((23)(12)) = ϕ((132)) so ϕ is not injective. Here is another: Z/6Z contains an element 1 whose order is 6, while we saw in the previous exercise that S 3 only contains elements of orders 1, 2, and 3. Since an isomorphism has to preserve the orders of elements, there is nowhere an isomorphism ϕ : Z/6Z S 3 could send 1: if ϕ were an isomorphism then ϕ(1) would have order 6 and there is no element of order 6 in S 3. Here is yet another: Z/6Z contains one element of order 2 it s 3 while we have just seen S 3 has 3 elements of order 2. If ϕ : S 3 Z/6Z were an isomorphism then it would send the set of elements of order 2 in S 3 to the set of elements of order 2 in Z/6Z. But the latter set has only 1 element while the former has 3. Therefore ϕ cannot be injective on the subset of elements of order 2 of S 3. In particular, ϕ takes two elements of S 3 to the same element of Z/6Z so ϕ can t be injective, hence can t be an isomorphism. Comments. I saw many arguments of the following form: S 3 is abelian and Z/6Z is not abelian; this is a structural property so the groups are not isomorphic. This argument is totally correct, but it s dangerous to get in the habit of claiming properties are structural without doing some verification; invariably someone will identify a non-structural property and claim without proof that it is structural, then use it to conclude incorrectly that two groups can t be isomorphic. Exercise 15. Suppose that G is a group and x is an element of G. Prove that the function ϕ : G G defined by ϕ(y) = xyx 1 2 this is the set {0, 1, 2, 3, 4, 5} with addition modulo six as the group operation 3

is an isomorphism from G to itself. An isomorphism from a group to itself is called an automorphism. First we check ϕ is a homomorphism. We have ϕ(y)ϕ(z) = xyx 1 xzx 1 = xyzx 1 = ϕ(yz) so ϕ is a homomorphism. Also, ϕ is a bijection because the function ψ(z) = x 1 yx is inverse to ϕ: ψ(ϕ(y)) = x 1 ϕ(y)x = x 1 xyx 1 x = y ϕ(ψ(z)) = xψ(z)x 1 = xx 1 zxx 1 = z. Comments. Many people assumed that G was abelian (either implicitly or explicitly). If G is abelian then ϕ(y) = xyx 1 = xx 1 y = y so ϕ is the identity function, which is obviously a homomorphism. The problem is only interesting when G is not abelian! Do not assume multiplication is commutative unless there is a valid reason to! Exercise 16. Do not show your work on this problem. Consider the following permutations in S 6 : σ = 3 1 4 5 6 2 τ = 2 4 1 3 6 5 µ = 5 2 4 3 1 6 (a) [Fra, 8, #2]. Compute τ 2 σ. τ 2 σ = = (124563) 2 4 1 5 6 3 (b) [Fra, 8, #8]. Compute σ 100. In cycle notation, σ = (134562). Therefore σ 100 = σ 6(16)+4 = (σ 6 ) 16 σ 4 = σ 4 since σ 6 = e. Therefore, σ 100 = σ 4 = (164)(253) =. 6 5 2 1 3 4 4

(c) Express µ in cycle notation. µ = (15)(2)(34)(6) = (15)(34). Exercise 17. Let σ be the permutaiton (a 1 a 2 a n ) in cycle notation. (a) Write σ 1 in cycle notation. σ 1 = (a n a n 1 a 2 a 1 ) (b) Write σ 2 in cycle notation. Hint: your answer may depend on n; try computing σ 2 for a few small values of n. If n is even we get σ 2 = (a 1 a 3 a 5 a n 1 )(a 2 a 4 a n ). If n is odd we get σ 2 = (a 1 a 3 a 5 a n 2 a n a 2 a 4 a n 3 a n 1 ). Exercise 18. Let A 4 be the subset of S 4 consisting of all permutations that are products of an even number 3 of transpositions. A transposition is a permutation that exchanges two things and leaves everything else stationary; in cycle notation, a transposition looks like (ab). Thus (12)(13) and (12)(24)(13)(24) are in A 4, but (23) and (12)(23)(34) are not. Write down all of the elements of A 4 using cycle notation. 4 3 4 First of all, A 4 contains the identity and all the products of disjoint transpositions of the form (ab)(cd). So A 4 contains e, (12)(34), (13)(24), (14)(23). We also see that if we multiple (ab)(bc) we get (abc) so A 4 also contains every 3-cycle. That is A 4 contains the eight 3-cycles, (123), (124), (132), (134), (142), (143), (234), (243). In fact, these are all of the elements of A 4, because the other elements of S 4 are the transpositions (ab) and the 4-cycles (abcd) = (ab)(bc)(cd), each of which is a product of an odd number of transpositions. 3 correction: accidentally left this out before! 4 I reworded this problem; note that you do not have to write down the multiplication table! 5

Exercise 19. [Fra, 8, #18]. List all of the subgroups of S 3. {e, (12)} S 3 {e, (13)} {e, (23)} {e, (123), (132)} {e} Exercise 20. Suppose that G is a group. How would you define a symmetry of G? A symmetry of G is an automorphism of G (an isomorphism from G to itself). Comments. This question was extra credit, since it did not have a precise answer and was merely asking for a reasonable definition. Many said that a symmetry of G would be a symmetry of the underlying set of G that is, a bijection from this set to itself. This answer is reasonable in a sense, but it takes no account of the group structure. The correct answer is a bijection from G to itself that respects the group structure that is, an automorphism. References [Fra] John B. Fraleigh. A first course in abstract algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., seventh edition edition, 2002. ISBN-10: 0201763907, ISBN-13: 978-0201763904. 6