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

Similar documents
MA441: Algebraic Structures I. Lecture 18

MA441: Algebraic Structures I. Lecture 15

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Elements of solution for Homework 5

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

Abstract Algebra, HW6 Solutions. Chapter 5

Name: Solutions - AI FINAL EXAM

First Semester Abstract Algebra for Undergraduates

Theorems and Definitions in Group Theory

INTRODUCTION TO THE GROUP THEORY

120A LECTURE OUTLINES

We begin with some definitions which apply to sets in general, not just groups.

Answers to Final Exam

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.

Name: Solutions Final Exam

REU 2007 Discrete Math Lecture 2

Introduction to Groups

Lecture Note of Week 2

PROBLEMS FROM GROUP THEORY

Group Theory

Contents. Applied Algebra MAT Group Definitions Some Special Subgroups Conjugacy Conjugacy in S n...

Homework 7 Solution Chapter 7 - Cosets and Lagrange s theorem. due: Oct. 31.

Part II Permutations, Cosets and Direct Product

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

Quiz 2 Practice Problems

MAT301H1F Groups and Symmetry: Problem Set 2 Solutions October 20, 2017

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

Section 10: Counting the Elements of a Finite Group

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.

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Algebraic Structures Exam File Fall 2013 Exam #1

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

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

MA441: Algebraic Structures I. Lecture 26

The Outer Automorphism of S 6

Math 430 Exam 2, Fall 2008

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 433 Applied Algebra Lecture 22: Review for Exam 2.

Homework #11 Solutions

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

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

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS 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.

Direction: You are required to complete this test within 50 minutes. Please make sure that you have all the 10 pages. GOOD LUCK!

Math 430 Final Exam, Fall 2008

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

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

Extra exercises for algebra

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

Section 13 Homomorphisms

MA441: Algebraic Structures I. Lecture 14

CHAPTER 9. Normal Subgroups and Factor Groups. Normal Subgroups

Cosets. gh = {gh h H}. Hg = {hg h H}.

HOMEWORK Graduate Abstract Algebra I May 2, 2004

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

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

Cosets, factor groups, direct products, homomorphisms, isomorphisms

MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT

0 Sets and Induction. Sets

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

6 Permutations Very little of this section comes from PJE.

Math 581 Problem Set 8 Solutions

17 More Groups, Lagrange s Theorem and Direct Products

ALGEBRA QUALIFYING EXAM PROBLEMS

Solution Outlines for Chapter 6

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

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

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

Group Isomorphisms - Some Intuition

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

Algebra-I, Fall Solutions to Midterm #1

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

Math 3140 Fall 2012 Assignment #3

Math 546, Exam 2 Information.

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

Algebra I: Final 2015 June 24, 2015

Normal Subgroups and Factor Groups

Lecture 7 Cyclic groups and subgroups

Algebra Exercises in group theory

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Exercises on chapter 1

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

5 Group theory. 5.1 Binary operations

CONJUGATION IN A GROUP

Homework #5 Solutions

MODEL ANSWERS TO THE FIFTH HOMEWORK

Fundamental Theorem of Finite Abelian Groups

Contents. Math 110A Homework Solutions Fall Alexander J. Wertheim Last Updated: November 30, Problem Problem 1.

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

Section 15 Factor-group computation and simple groups

Math 120A: Extra Questions for Midterm

Cosets and Normal Subgroups

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

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

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

Math 4400, Spring 08, Sample problems Final Exam.

Linear Algebra Lecture Notes in progress

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Transcription:

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations (bijections). Definition A bijection from a set A to itself is also called a permutation Theorem Let A be a set, and let S A be the set of permutations on A, i.e., bijections from A to A. Then S A is a group under function composition. Examples (Important) S 1, S 2, S 3, S 4. 1

Cayley Theorem Definition If A has n elements, we may assume A = {1,..., n}, and write S A as S n, the symmetric group of degree n, which has n! elements. Remark The group S A is not Abelian if A has more than 2 elements. Theorem 6.1 Every group is isomorphic to a subgroup of S A. Proof. Use the Left (or right) regular representation of G 2

Cycles, and the Alternating Groups Definition and notation Let σ = (i 1,..., i m ) S n be the permutation of sending σ(i 1 ) = i 2,..., σ(i m 1 ) = i m, and σ(i m ) = i 1, and σ(j) = j for all other j. We call σ an m-cycle in S n. A 1-cycle is a fixed point, a two cycle is called a transposition. Examaple... Theorems 5.1 5.4 Consider S n with n > 1. (a) Disjoint cycles in S n commute. (b) Every permutation in S n is a product of disjoint cycles. (c) The order of σ S n is the lcm of the cycle lengths in its disjoint cycle decomposition. (d) Every permutation is a product of transpositions. 3

Even and odd permutations Definition A permutation is even (odd) if it is a product of even (odd) number of transpositions. Theorem 5.5 A permutation is either even or odd. The identity permutation ε is even. Proof. (1) Use isomorphism to the group of permutations and determinant theory. (2) p.107 110 in the book. Key step. Proof by induction that if ε = β 1 β r, then ε = ˆβ 1 ˆβ r 2 by the following trick if r 3. Let β r = (ab). Move β r = (ab) to the left until we see β 1 η j has the following form so that we can apply the reduction: (ab)(ab) = ε, (ac)(ab) = (ab)(bc), (bc)(ab) = (ac)(cb), (cd)(ab) = (ab)(cd). Eventually,... Theorem 5.7 The set A n of even permutations in S n form a subgroup of order n!/2. Proof. Use bijection to count! 4

Subgroups of permutation groups and applications (1) Dihedral groups (2) Rotations of tetrahedron. (3) Moves in Rubik s cube. (4) Construct check digit using D 5 ; see pp. 115-116. 5

Chapter 6 Isomorphisms Definition: Two groups are isomorphic if... Examples (1) The function exp : (R, +) (R +, ) is a group isomorphism. (2) The group (Z n, +) is somorhic to (G n, ), where G n = {exp(i2kπ/n) : k = 0, 1,..., n 1}. (3) Every cyclic group is isomorphic to (Z, n) or (Z, +). (4) [Theorem 6.1] Every group is isomorphic to a subgroup of S A. (5) The group S n is isomorphic to the group of n n permutation matrices. 6

Results on group isomorphisms and applications Theorem 6.2 Suppose φ : G 1 G 2 is an isomorphism. 1. φ(e 1 ) = e 2. 2. φ(a n ) = φ(a) n for any n Z. 3. Two elements a, b G 1 commute if and only if φ(a) and φ(b) commute. 4. G 1 = a if and only if G 2 = φ(a). 5. a = φ(a) for every a G 1. 6. For every integer k and b G 1, we have {x G 1 : x k = b} = {y G 2 : y k = φ(b)}. In particular, {x G 1 : x k = e 1 } = {y G 2 : y k = e 2 }. 7

Theorem 6.3 Suppose φ : G 1 G 2 is an isomorphism. 1. φ 1 : G 2 G 1 is an isomorphism. 2. G 1 is Abelian if and only if φ(g 1 ) = G 2 is Abelian. 3. G 1 is cyclic if and only if φ(g 1 ) = G 2 is. In particular, G 1 = a if and only if G 2 = φ(a). 4. If K G 1, then φ(k) G 2. 5. If H G 2, then φ 1 (H) G 1. 6. φ(z(g 1 )) = Z(G 2 ). 8

Definition Let G be a group, and a G. Then φ a : G G defined by φ a (x) = axa 1 is an automorphism. Theorem 6.4 Under function composition, the set Aut(G) of group automorphisms is a group, and the set Inn(G) of inner automorphisms is a subgroup. Theorem 6.5 [Automorphisms of Z n ] The groups Aut(Z n ) is isomorphic to (U(n), ) with U(n) = {k Z n : gcd(k, n) = 1}. 9

Chapter 7 Cosets and Lagrange s Theorem Definition Let G be a group and H G. For a G define the left coset of H containing a by ah = {ah : h H} and the right coset of H containing by Ha = {ha : h H}. Theorem 7.1 [LaGrange s Theoerem and other properties of cosets] Let G be a group, and H G. Define a relation on R on G by (a, b) R if a 1 b H. Then R is an equivalence relation so that the left cosets are equivalence classes. (a) We have ah = bh if and only if a 1 b H. (b) The group G is a union of disjoint left cosets of H. (c) The map ah bh is a bijection between two cosets ah and bh. (d) If G is finite, then it is a disjoint union of m left cosets of H with m = G / H. 10

Notation and Terminology The number of cosets of the subgroup H in G is called the index of H in G, and denoted by G : H. If G is finite, it is equal to G / H. Corollary Let G be a finite group. 1. If a G, then a is a factor of G so that a G = e. 2. If G has prime order than G is cyclic. Corollary [Fermat s Little Theorem] If a Z and p is a prime, then a p a is divisible by p. More generally, if x Z n, then k φ(n) = 1 if gcd(k, n) = 1, i.e., k U(n). 11

Remarks 1. The converse of Lagrange s Theorem is false. Example 5 in p.149. The group A 4 has order 12, but there is no subgroup of order 6. 2. One may consider the right cosets Ha so that Ha = Hb if and only if ab 1 H, G is a partition of the right cosets. 3. Left and right cosets are different in general. 4. A subgroup H in G satisfies ah = Ha for all a G if and only if aha 1 = H for all a H. Such a subgroup is called a normal subgroup of G. 12

Theorem 7.2 Let H, K be finite subgroups of a group. If HK = {hk : h H, k K}, then HK = H K / H K. Theorem 7.3 If G is a group with G = 2p for a prime number p > 2, then G is isomorphic to the cyclic group Z 2p or the dihedral group D p. 13