Math 31 Homework 5 Solutions

Similar documents
Assignment 8: Selected Solutions

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

GROUPS ACTING ON A SET

Chapter 7. Permutation Groups

S on n elements. A good way to think about permutations is the following. Consider the A = 1,2,3, 4 whose elements we permute with the P =

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Group Fundamentals. Chapter Groups and Subgroups Definition

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

NOTES ON GROUP THEORY

Abstract Algebra Cheat Sheet

Computing the Symmetry Groups of the Platonic Solids With the Help of Maple

Chapter 13: Basic ring theory

Test1. Due Friday, March 13, 2015.

4. FIRST STEPS IN THE THEORY 4.1. A

Group Theory. Contents

CONSEQUENCES OF THE SYLOW THEOREMS

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

G = G 0 > G 1 > > G k = {e}

Geometric Transformations

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

= = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

1 Symmetries of regular polyhedra

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

Group Theory and the Rubik s Cube. Janet Chen

6.2 Permutations continued

GROUP ACTIONS KEITH CONRAD

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.

Chapter 7: Products and quotients

(Q, ), (R, ), (C, ), where the star means without 0, (Q +, ), (R +, ), where the plus-sign means just positive numbers, and (U, ),

Practice with Proofs

9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Lecture 13 - Basic Number Theory.

it is easy to see that α = a

Introduction to Modern Algebra

Abstract Algebra. Definition of fields is assumed throughout these notes. Algebra is generous; she often gives more than is asked of her.

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

Notes on finite group theory. Peter J. Cameron

How To Solve The Group Theory

GROUP ALGEBRAS. ANDREI YAFAEV

Group Theory. Chapter 1

NOTES ON LINEAR TRANSFORMATIONS

Triangle deletion. Ernie Croot. February 3, 2010

Math 4310 Handout - Quotient Vector Spaces

Math 319 Problem Set #3 Solution 21 February 2002

How To Prove The Dirichlet Unit Theorem

Notes on Group Theory

ABEL S THEOREM IN PROBLEMS AND SOLUTIONS

Handout #1: Mathematical Reasoning

Matrix Representations of Linear Transformations and Changes of Coordinates

The last three chapters introduced three major proof techniques: direct,

ADDITIVE GROUPS OF RINGS WITH IDENTITY

Elements of Abstract Group Theory

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

5. Linear algebra I: dimension

Quotient Rings and Field Extensions

Notes on Algebraic Structures. Peter J. Cameron

MATH PROBLEMS, WITH SOLUTIONS

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

6 Commutators and the derived series. [x,y] = xyx 1 y 1.

Algebra of the 2x2x2 Rubik s Cube

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

CONTENTS 1. Peter Kahn. Spring 2007

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

Fundamentele Informatica II

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

Pigeonhole Principle Solutions

LAMC Beginners Circle: Parity of a Permutation Problems from Handout by Oleg Gleizer Solutions by James Newton

Chapter 17. Orthogonal Matrices and Symmetries of Space

Algebra & Number Theory. A. Baker

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

University of Lille I PC first year list of exercises n 7. Review

Primality - Factorization

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

5544 = = = Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1

3. Prime and maximal ideals Definitions and Examples.

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Homework until Test #2

6.3 Conditional Probability and Independence

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

Cartesian Products and Relations

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

Galois Theory III Splitting fields.

Comments on Quotient Spaces and Quotient Maps

Galois Theory. Richard Koch

Permutation Groups. Tom Davis April 2, 2003

26 Ideals and Quotient Rings

Vector Notation: AB represents the vector from point A to point B on a graph. The vector can be computed by B A.

Basic Algebra (only a draft)

Mathematical Induction


Reading 13 : Finite State Automata and Regular Expressions

Math Circle Beginners Group October 18, 2015

Just the Factors, Ma am

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

NOTES ON CATEGORIES AND FUNCTORS

Vieta s Formulas and the Identity Theorem

GENERATING SETS KEITH CONRAD

1 Homework 1. [p 0 q i+j p i 1 q j+1 ] + [p i q j ] + [p i+1 q j p i+j q 0 ]

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Transcription:

Math 31 Homework 5 Solutions Easier 1. Determine if each mapping is a homomorphism. State why or why not. If it is a homomorphism, find its kernel, and determine whether it is one-to-one and onto. (a) Define ϕ : Z R by ϕ(n) = n. (Both are groups under addition here.) (b) Let G be a group, and define ϕ : G G by ϕ(a) = a 1 for all a G. (c) Let G be an abelian group, and define ϕ : G G by ϕ(a) = a 1 for all a G. (d) Let G be a group, and define ϕ : G G by ϕ(a) = a 2 for all a G. Solution. (a) Yes, this is a homomorphism. We clearly have ϕ(n + m) = n + m = ϕ(n) + ϕ(m) for all n, m Z. Since ϕ(n) = 0 if and only if n = 0, we see that ker ϕ = {0}. Since the kernel is trivial, ϕ is one-to-one. It is not onto, since the image consists only of the integers, which form a proper subset of R. (b) This is not a homomorphism. If a, b G, then ϕ(ab) = (ab) 1 = b 1 a 1, which is not equal to ϕ(a)ϕ(b) = a 1 b 1 in general. (c) When G is abelian, this map is a homomorphism. From the computation we did in part (b), we see that ϕ(ab) = b 1 a 1 = a 1 b 1 = ϕ(a)ϕ(b). Note that if a ker ϕ, then e = ϕ(a) = a 1, which means that a = e, and ker ϕ = {e}. This implies that ϕ is one-to-one. It is also onto: if a G, then ϕ(a 1 ) = (a 1 ) 1 = a, Thus ϕ is an isomorphism from G to G, or an automorphism of G. (d) This is not a homomorphism in general. If a, b G, then ϕ(ab) = (ab) 2 = abab, which is not necessarily equal to a 2 b 2. In fact, ϕ is a homomorphism if and only if G is abelian. 2. Consider the subgroup H = {i, m 1 } of the dihedral group D 3. Find all the left cosets of H, and then find all of the right cosets of H. Observe that the left and right cosets do not coincide. Solution. The left cosets are while the right cosets are H = {i, m 1 } r 1 H = {r 1, m 3 } r 2 H = {r 2, m 2 }, H = {i, m 1 } Hr 1 = {r 1, m 2 } Hr 2 = {r 2, m 3 }. These do not coincide. Note that in particular this shows that H is not normal in D 3. 1

3. Find the cycle decomposition and order of each of the following permutations. 5 6 7 8 9 (a) 3 1 4 2 7 6 9 8 5 5 6 7 (b) 7 6 5 4 3 2 1 5 6 7 5 6 7 (c) 7 6 5 3 4 2 1 2 3 1 5 6 7 4 Solution. (a) The cycle decomposition is (1 3 4 2)(5 7 9). Since the cycles have length 4 and 3, the order of this permutation is 12. (b) The cycle decomposition is (1 7)(2 6)(3 5), and the order is clearly 2. (c) We ll decompose both permutations into disjoint cycles, and then multiply them. The first is (1 7)(2 6)(3 5 4), and the second is Therefore, the product is (1 2 3)(4 5 6 7). Again, the order is simply 2. (1 7)(2 6)(3 5 4)(1 2 3)(4 5 6 7) = (1 6)(2 5)(3 7). 4. Determine whether each permutation is even or odd. 5 6 7 8 9 (a) 2 4 5 1 3 7 8 9 6 (b) ( 5 6)(7 8 9) (c) ( 5 6)( 5 7) (d) (1 2)(1 2 3)(4 5)(5 6 8)(1 7 9) Solution. (a) We ll first convert the permutation to cycle notation, and then write it as a product of transpositions: (1 2 4)(3 5)(6 7 8 9) = (1 4)(1 2)(3 5)(6 9)(6 8)(6 7). We can see that this permutation is even. (b) In terms of transpositions, we have (1 6)(1 5)(1 4)(1 3)(1 2)(7 9)(7 8), 2

so the permutation is odd. (c) The first cycle is the same as in the previous part, so we just need to know the parity of the second: (1 7)(1 5)(1 4)(1 3)(1 2). This is odd, as is the first cycle, so the whole permutation is even. (d) By now you ve probably noticed that a 3-cycle can be written as a product of two transpositions, so it is even. We have three 3-cycles and two transpositions, so the permutation is even. 5. Let G and G be groups, and suppose that G = p for some prime number p. Show that any group homomorphism ϕ : G G must either be the trivial homomorphism or a one-to-one homomorphism. Proof. Let ϕ : G G be a homomorphism. We know that ker ϕ is a subgroup of G, so its order must divide G by Lagrange s theorem. Since G = p is prime, we must have either ker ϕ = 1 or ker ϕ = p. In the first case, ker ϕ = {e}, so ϕ is one-to-one. In the second case, ker ϕ = G, so ϕ must be the trivial homomorphism. Medium 6. [Saracino, #12.13 modified] Let ϕ : G G be a group homomorphism. If G is abelian and ϕ is onto, prove that G is abelian. Proof. We need to show that if x, y G, then xy = yx. Since ϕ is onto, we can write x = ϕ(a) and y = ϕ(b) for some a, b G. We then have since G is abelian. But then, xy = ϕ(a)ϕ(b) = ϕ(ab) = ϕ(ba), xy = ϕ(ba) = ϕ(b)ϕ(a) = yx, so x and y indeed commute. Since x and y were arbitrary, G is an abelian group. 7. [Saracino, #12.3 and 12.20 modified] Let G be an abelian group, n a positive integer, and define ϕ : G G by ϕ(x) = x n. (a) Show that ϕ is a homomorphism. Proof. Let a, b G. Then since G is abelian, we have so ϕ is a homomorphism. ϕ(ab) = (ab) n = a n b n = ϕ(a)ϕ(b), (b) Suppose that G is a finite group and that n is relatively prime to G. Show that ϕ is an automorphism of G. 3

Proof. We saw in part (a) that ϕ is a homomorphism, so we simply need to prove that it is one-to-one and onto. To see that ϕ is one-to-one, suppose that a ker ϕ, i.e., that ϕ(a) = e. Then a n = e, so o(a) must divide n. But o(a) also divides G by Lagrange s theorem, and since gcd(n, G ) = 1, we must have o(a) = 1. Therefore, a = e, so ker ϕ = {e}, and ϕ is one-to-one. Since G is a finite group, any one-to-one map from G to G is necessarily onto. Therefore, ϕ is an automorphism of G. 8. [Saracino, #12.33 modified] Let V 4 = {e, a, b, c} denote the Klein 4-group. Since V 4 = 4, Cayley s theorem tells us that V 4 is isomorphic to a subgroup of S 4. In this problem you will apply techniques from the proof of the theorem to this specific example in order to determine which subgroup of S 4 is matched up to V 4. Suppose we label the elements of the Klein 4-group using the numbers 1 through 4, in the following manner: Now multiply every element by a in order, i.e., e a b c e a b c a e c b 2 1 4 3 Then multiplication by a determines a permutation of V 4 (by the proof of Cayley s theorem). This corresponds to an element of S 4 via the labels that we have given the elements of V 4. Do this for every element x of V 4. That is, write down the permutation in S 4 (in cycle notation) that is obtained by multiplying every element of V 4 by x. Proof. Certainly multiplication by the identity e yields the identity permutation ι. Also, we have shown above that a corresponds to the permutation, 2 1 4 3 which is (1 2)(3 4) in cycle notation. Similarly, if we multiply every element by b, we have e a b c b c e a 3 4 1 2 which results in the permutation ( 3 4 1 2 or (1 3)(2 4) in cycle notation. Finally, c yields 4 ),

e a b c c b a e 4 3 2 1 which gives the permutation ( 4 3 2 1 or (1 4)(2 3). ), Therefore, the subgroup of S 4 which is isomorphic to V 4 is {ι, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}. Hard 9. [Saracino, #10.32 modified] Let G be a group with identity element e, and let X be a set. A (left) action of G on X is a function G X X, usually denoted by for g G and x X, satisfying: (g, x) g x 1. g 1 (g 2 x) = (g 1 g 2 ) x for all g 1, g 2 G and all x X. 2. e x = x for all x X. Intuitively, a group action assigns a permutation of X to each group element. (You will explore this idea in part (d) below.) Finally, there are two important objects that are affiliated to any group action. For any x X, the orbit of x under G is the subset of X, and the stabilizer of x is the subset of G. orb(x) = {g x : g G} G x = {g G : g x = x} (a) (Warm up.) We have already seen that it is possible to view the elements of the dihedral group D 3 as permutations of the vertices of a triangle, labeled as below: 3 1 2 5

Thus D 3 acts on the set X = {1, 2, 3} of vertices by permuting them. Determine the orbit and stabilizer of each vertex under this action. Solution. Let s start with the vertex 1. First note that if r 1 denotes counterclockwise rotation by 120 degrees, r 1 1 = 2, so 2 orb(1). Also, r 2 1 = 3, so 3 orb(1), and orb(1) = {1, 2, 3} = X. Similarly, you can check that as well. orb(2) = orb(3) = X (b) (Another example.) Let G be a group, let X = G, and define a map G X G by (g, x) g x = gx for all g G and x X, i.e., the product of g and x as elements of G. Verify that this defines a group action of G on itself. (This action is called left translation.) Given x X = G, what are orb(x) and G x? Proof. To see that this is a group action, we need to check that if g 1, g 2 G and x X = G, then g 1 (g 2 x) = (g 1 g 2 ) x, and that e x = x. For the first one, observe that g 1 (g 2 x) = g 1 (g 2 x) = g 1 (g 2 x) = (g 1 g 2 )x, since multiplication in G is associative. For the second, note that e x = ex = x for all x X. Therefore, this defines an action of G on itself. Now let x X = G. Then given any other y X, there exists g G such that g x = y. In particular, g = yx 1 works: g x = gx = (yx 1 )x = y. Therefore, every element of X belongs to orb(x), so orb(x) = X for all x X. (This says that the action is transitive.) Finally, note that if x X, then g x = x if and only if g = e, so G x = {e} for all x X. (A fancy way of wording this is to say that the action is free.) (c) Prove that for every x X, the stabilizer G x is a subgroup of G. 6

Proof. Let x X. Clearly e G x, since e x = x by definition. Now suppose that g 1, g 2 G x. Then (g 1 g 2 ) x = g 1 (g 2 x) = g 1 x = x, since g 1 and g 2 both belong to the stabilizer of x. Therefore, g 1 g 1 G x as well, so G x is closed. Finally, if g G x, then g x = x, so Thus g 1 G x, and G x is a subgroup of G. g 1 x = g 1 (g x) = (g 1 g) x = e x = x. (d) Given a fixed g G, define a function σ g : X X by σ g (x) = g x. Show that σ g is bijective, so σ g defines a permutation of X. [Compare this to the proof of Cayley s theorem.] Proof. To see that σ g is one-to-one, suppose that x, y X with σ g (x) = σ g (y). Then so g x = g y, g 1 (g x) = g 1 (g y). But g 1 (g x) = (g 1 g) x = x, and similarly for y, so x = y and σ g is one-to-one. Now suppose that y X, and let x = g 1 y. Then so σ g is onto. Thus σ g is a bijection. σ g (x) = g x = g (g 1 y) = (gg 1 ) y = y, (e) Recall that S X denotes the group of permutations of X under composition. Define a function ϕ : G S X by ϕ(g) = σ g for all g G. Prove that ϕ is a homomorphism. [Note: The proof of Cayley s theorem is a special case of this phenomenon, with G acting on itself by left translation.] Proof. We simply need to check that ϕ(g 1 g 2 ) = ϕ(g 1 )ϕ(g 2 ) for all g 1, g 2 G, i.e. that If x X, then σ g1 g 2 = σ g1 σ g2. σ g1 g 2 (x) = (g 1 g 2 ) x = g 1 (g 2 x) = σ g1 (σ g2 (x)) = σ g1 σ g2 (x). Since x was arbitrary, we have σ g1 g 2 = σ g1 σ g2. Therefore, ϕ is a homomorphism. Parts (d) and (e) above show that a group action gives an alternative way of viewing a group as a collection of symmetries (or permutations) of some object. Cayley s theorem provides a specific example, where a group is viewed as a collection of permutations of itself. Group actions provide one of the most interesting ways in which groups are used in practice. 7