Math 3140 Fall 2012 Assignment #4

Similar documents
Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #2

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

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

Math 581 Problem Set 8 Solutions

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

Math 581 Problem Set 7 Solutions

Lecture 7 Cyclic groups and subgroups

Name: Solutions Final Exam

5 Group theory. 5.1 Binary operations

Math 210A: Algebra, Homework 5

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

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

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Algebra homework 6 Homomorphisms, isomorphisms

SF2729 GROUPS AND RINGS LECTURE NOTES

Teddy Einstein Math 4320

Fall /29/18 Time Limit: 75 Minutes

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

Cosets and Normal Subgroups

EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

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

SUPPLEMENT ON THE SYMMETRIC GROUP

A Little Beyond: Linear Algebra

(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 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

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

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

Elements of solution for Homework 5

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

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

Cosets, factor groups, direct products, homomorphisms, isomorphisms

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

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

Pseudo Sylow numbers

Math 121 Homework 5: Notes on Selected Problems

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

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.

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

INTRODUCTION TO THE GROUP THEORY

Lecture 4.1: Homomorphisms and isomorphisms

Higher Algebra Lecture Notes

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

Math 120A: Extra Questions for Midterm

2MA105 Algebraic Structures I

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

MODEL ANSWERS TO THE FIFTH HOMEWORK

NOTES ON FINITE FIELDS

Solutions of exercise sheet 8

INVERSE LIMITS AND PROFINITE GROUPS

MATH ABSTRACT ALGEBRA DISCUSSIONS - WEEK 8

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

REU 2007 Discrete Math Lecture 2

Solutions Cluster A: Getting a feel for groups

0 Sets and Induction. Sets

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

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

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

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

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

Exercises on chapter 1

Modern Computer Algebra

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

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

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

BASIC GROUP THEORY : G G G,

Algebra Qualifying Exam Solutions. Thomas Goller

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

Math 31 Take-home Midterm Solutions

* 8 Groups, with Appendix containing Rings and Fields.

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

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

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.

HOMEWORK Graduate Abstract Algebra I May 2, 2004

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

Algebraic structures I

Two subgroups and semi-direct products

Simple groups and the classification of finite groups

MATH FINAL EXAM REVIEW HINTS

MA441: Algebraic Structures I. Lecture 14

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

Lecture 3. Theorem 1: D 6

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

Homework #2 solutions Due: June 15, 2012

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.

TCC Homological Algebra: Assignment #3 (Solutions)

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

ISOMORPHISMS KEITH CONRAD

Math 370 Spring 2016 Sample Midterm with Solutions

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

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

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

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

120A LECTURE OUTLINES

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

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

The mapping class group of a genus two surface is linear

Transcription:

Math 3140 Fall 2012 Assignment #4 Due Fri., Sept. 28. Remember to cite your sources, including the people you talk to. In this problem set, we use the notation gcd {a, b} for the greatest common divisor of a and b. My solutions will 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 27. [Fra, 6, #16] 1. [Arm, 5, #10]. Make a list of all elements of Z/12Z that generate Z/12Z. Recall that an element g of a group G generates G if every element of G is of the form g n for some integer n. Solution. The elements 1, 5, 7, 11 generate Z/12Z. 2. An automorphism of a group is an isomorphism from that group to itself. Find all automorphisms of the group Z/12Z. (Hint: if ϕ is an automorphism of Z/12Z, what values are possible for ϕ(1)?) Solution. Observe that because Z/12Z is finite, a homomorphism ϕ : Z/12Z Z/12Z is an automorphism if and only if it is bijective (bijectivity is equivalent to surjectivity for functions between finite sets of the same size). But ϕ is surjective if and only if every x Z/12Z is ϕ(n) = nϕ(1) for some n Z/12Z; therefore ϕ is surjective if and only if ϕ(1) generates Z/12Z. Therefore an automorphism of Z/12Z will have to have ϕ(1) {1, 5, 7, 11}. This means that ϕ has to be one of the following functions: ϕ(n) = n ϕ(n) = 5n ϕ(n) = 7n ϕ(n) = 11n. We can also see directly that these are homomorphisms: the function ϕ : Z/12Z Z/12Z given by ϕ(n) = kn is well-defined because ϕ(n + 12l) = kn + 12kl kn (mod 12) and ϕ is a homomorphism because ϕ(n + m) = k(n + m) = kn + km = ϕ(n) + ϕ(m). 1

Exercise 30. Let X be a set and Y X a subset. Let G be the subset of all g S X such that g(y) Y for all y Y and the function g Y : Y Y is surjective 12 then G is a subgroup of S X. Solution. To check this is a subgroup, we have to check that G is non-empty (it contains the identity function) and that gh 1 G whenever g and h are. We have to verify that if y Y then gh 1 (y) Y. Suppose that y Y. Then because h G we know that h Y is surjective so there is some y Y such that h(y) = y. Therefore h 1 (y) = y Y. Then 1 2 g(h 1 (y)) = g(y ) is in Y as well because y Y and g takes elements of Y to elements of Y. Therefore gh 1 G. By Proposition 1, this means that G is a subgroup of S X. Exercise 31. [Fra, 8, #21] (a) Verify that the six matrices 1 0 0 0 1 0, 0 1 0 1 0 0, 0 0 1 0 1 0, 1 0 0 0 0 1, 0 1 0 0 0 1, 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 form a group in which the operation is multiplication of matrices. (Hint: one solution to this problem uses the last exercise; let X = R 3 and let Y = {e 1, e 2, e 3 } where e 1 = (1, 0, 0), e 2 = (0, 1, 0), and e 3 = (0, 0, 1) are the standard basis vectors.) Solution. Let Y be as in the hint and let G be the set of elements of S R 3 that restrict to surjections Y Y. Let H be the set of 6 matrices above. By the previous exercise, G is a subgroup of S R 3. The group of invertible matrices GL(3, R) is also a subgroup of S R 3. Furthermore, H = G GL(3, R) so H is also a subgroup of S R 3. Therefore H is in particular a group. (b) Show that this group is isomorphic to S 3. Solution. We construct a bijective homomorphism. Let ϕ : S 3 H be the function that sends σ to the matrix ϕ(σ) = T σ T σ = ( e σ(1) e σ(2) e σ(3) ). 1 Correction! I left out this important hypothesis originally; thanks Tyler 2 second correction: the original correction broke the sentence in the wrong place 2

I claim ϕ is a homomorphism. To check this, we have to check that T σ T τ = T στ. These are matrices, so it s the same to check that T σ T τ (e i ) = T στ (e i ) for all i. We have T σ T τ (e i ) = T σ (e τ(i) ) = e σ(τ(i)) T στ (e i ) = e στ(i). These are the same so ϕ is a homomorphism. Also, if ϕ(σ) = ϕ(τ) then T σ (e i ) = T τ (e i ) for all i. But T σ (e i ) = e σ(i) and T τ (e i ) = e τ(i) so this means that σ(i) = τ(i) for all i = 1, 2, 3. Therefore σ = τ. So ϕ is injective. Since both S 3 and H have 6 elements, this means that ϕ is bijective, hence is an isomorphism. Exercise 32. In the fifteen puzzle you are given a 4 4 grid containing 15 square tiles and one empty space. Any tile adjacent to the empty space can be slid into the empty space. The goal is, given a scrambled puzzle like the one on the left below 2 13 4 8 5 1 3 7 9 12 6 15 10 14 11 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 to return it to the starting position on the right. If you haven t played with a fifteen puzzle before, you may want to practice online before doing this exercise: migo.sixbit.org/puzzles/fifteen/. (a) Explain a correspondence between every position of the fifteen puzzle and the elements of the group S 16. Solution. Label the positions of the tiles in the 15-puzzle by the numbers 1, 2,..., 16 (with 16 corresponding to the blank square). Then any rearrangement of the tiles moves the tile with number i to some position σ(i). Thus σ is a rearrangement of the set {1, 2,..., 16} so σ S 16. (b) Write down the permutation corresponding to the unsolved fifteen puzzle above, using cycle notation. Solution. (1, 6, 11, 15, 12, 10, 13, 2)(3, 7, 8, 4)(5)(9)(14) (c) Demonstrate that under this correspondence each move on a 15-puzzle corresponds is a transposition. 3

Solution. The only legal moves correspond to exchanging the position of the blank square (16) and an adjacent tile. The legal moves all therefore correspond to transpositions (16, a) where a {1, 2,..., 15}. (d) Show that a sequence of moves beginning with the empty tile in the upper left and ending with it in the lower right must consist of an even number of moves. Solution. Suppose that σ is a position of the 15-puzzle. Let a(σ) be the number of rows away from the bottom row the blank square is; let b(σ) be the number of columns away from the rightmost column blank square is. Let n(σ) = a(σ)+b(σ). If the blank tile is in the upper left then n(σ) = 6; if it is in the lower right then n(σ) = 0. Consider the number ( 1) n(σ). Notice that if we make any move, the value of n(σ) will change by exactly one because the blank tile will either change row or column but not both. Therefore if we achieve the permutation σ with an odd number of moves we will have to get n(σ) = 1. But if σ is a permutation that moves the blank tile from the upper left to the lower right then n(σ) is even so ( 1) n(σ) = 1, which means that σ could not have been achieved with an odd number of moves. That is, σ must have taken an even number of moves. (e) Write down the permutation correpsonding to the unsolved fifteen puzzle below: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Solution. Let 16 represent the blank tile. The permutation is (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16). (f) Show that the fifteen puzzle shown above cannot be solved. Solution. The sign of the permutation above is ( 1) 16 1 = 1, but any sequence of moves that moves the blank square from the upper left to the lower right involves an even number of moves (as we just saw). Thus a solvable puzzle must correspond to an even permutation, with sign +1. Exercise 33. (a) [Fra, 6, #23]. List all subgroups of Z/36Z and indicate which subgroups are contained in which others. 4

Solution. Z/36Z 18Z/36Z 12Z/36Z 9Z/36Z 6Z/36Z 4Z/36Z 3Z/36Z 2Z/36Z {0}. Here az/36z is the subgroup generated by a in Z/36Z. (b) Describe all subgroups of Z/nZ. Solution. If n = cd for some positive integers c and d then we have a subgroup d = {0, d, 2d, 3d, 4d,..., (c 1)d}. Every subgroup of Z/nZ is of this form. Exercise 34. (a) Let n be an integer. Show that the order of k Z/nZ is n/ gcd {k, n}. Solution. If mk 0 (mod n) then mk = ln so n divides mk. Therefore n/ gcd {k, n} divides m. Conversely, if n/ gcd {k, n} divides m hen nk/ gcd {k, n} divides mk. Since k/ gcd {k, n} is an integer, this means that n divides mk so mk 0 (mod n). (b) Let m and n be integers. Show that there is a homomorphism ϕ : Z/mZ Z/nZ such that ϕ(1) = k if and only if n/ gcd {k, n} divides m. Solution. We know that homomorphisms ϕ : Z/mZ G, for any group G, correspond to the elements of G such that g m = 1. In the case of Z/nZ, the homomorphisms ϕ : Z/mZ Z/nZ correspond to the k Z/nZ such that mk = 0. But mk = 0 if and only if the order of k divides m. We saw above that ord(k) = n/ gcd n, k so we deduce that n/ gcd n, k divides m. 5

Exercise 35. Show that if G is an abelian group and n is a positive integer then H = {g G g n = 1} is a subgroup of G. (Hint: One way to solve this exercise is to show that ϕ(g) = g n is an homomorphism from G to itself.) Solution. Let ϕ : G G be the function ϕ(g) = g n. Then ϕ(gh) = (gh) n = g n h n = ϕ(g)ϕ(h) because g is abelian. Therefore ϕ is a homomorphism so the kernel of ϕ (the set of all g G such that ϕ(g) = 1) is a subgroup of G. But the kernel of G is precisely H. Solution. A second solution verifies the assertion directly, using Proposition 1: H contains 1 since 1 n = 1; therefore H is non-empty. Also, if g, h H then g n = 1 and h n = 1 so g n h n = 1 1 = 1 and (gh 1 ) n = g n h n (because G is abelian). Thus (gh 1 ) n = g n h n = 1 so gh H. References [Arm] M. A. Armstrong. Groups and symmetry. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1988. [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