The symmetric group R + :1! 2! 3! 1. R :1! 3! 2! 1.

Similar documents
17 More Groups, Lagrange s Theorem and Direct Products

Lesson 1 WHAT S A GROUP?

Figure 1. Symmetries of an equilateral triangle

Examples of Groups

BMT 2014 Symmetry Groups of Regular Polyhedra 22 March 2014

Distance in the Plane

Chapter 12. The cross ratio Klein s Erlanger program The projective line. Math 4520, Fall 2017

Notes on Algebra. Donu Arapura

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

Vectors for Beginners

Chapter 3. Introducing Groups

COUNTING AND SYMMETRY

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Lecture 3.7: Conjugacy classes

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

REMARKS 1.4: (a) In general discussion the operation in a group G is usually written as multiplication and a b is written as ab. (b) If the operation

Lecture 1.6: The formal definion of a group

Counting Colorings Cleverly

GROUP THEORY AND THE 2 2 RUBIK S CUBE

Honors Advanced Mathematics Determinants page 1

Basic Math Review for CS1340

Math 40510, Algebraic Geometry

1. Groups Definitions

Basic Math Review for CS4830

Physics 251 Solution Set 1 Spring 2017

Section 4.4 Functions. CS 130 Discrete Structures

[Disclaimer: This is not a complete list of everything you need to know, just some of the topics that gave people difficulty.]

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

REPRESENTATION THEORY OF S n

Exercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.

REFLECTIONS IN A EUCLIDEAN SPACE

MA441: Algebraic Structures I. Lecture 14

2.1 Definition. Let n be a positive integer. An n-dimensional vector is an ordered list of n real numbers.

4 Linear Algebra Review

Matrix Multiplication

1 Counting spanning trees: A determinantal formula

Chapter 2. Ma 322 Fall Ma 322. Sept 23-27

Vector, Matrix, and Tensor Derivatives

MATH CIRCLE HIGH SCHOOL 2 GROUP, WINTER 2018 WEEK 3: QUANDLES AND KNOT INVARIANTS

(So SamID 1 ( ) = Ken W. Smith.)

Kevin James. MTHSC 3110 Section 2.2 Inverses of Matrices

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

Don t forget to think of a matrix as a map (a.k.a. A Linear Algebra Primer)

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

Key Point. The nth order linear homogeneous equation with constant coefficients

Visual Group Theory. Dana C. Ernst. Summer Plymouth State University Department of Mathematics D.C.

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

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Chapter 3: Groups in science, art, and mathematics

Notes on multivariable calculus

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.

v = ( 2)

11.1 Vectors in the plane

SPRING BREAK PRACTICE PROBLEMS - WORKED SOLUTIONS

Math 31 Take-home Midterm Solutions

6 CARDINALITY OF SETS

NOTES ON LINEAR ALGEBRA CLASS HANDOUT

22A-2 SUMMER 2014 LECTURE Agenda

Pre-sessional Mathematics for Big Data MSc Class 2: Linear Algebra

Math 345 Sp 07 Day 7. b. Prove that the image of a homomorphism is a subring.

1 Matrices and matrix algebra

Symmetries and Polynomials

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

* 8 Groups, with Appendix containing Rings and Fields.

Chapter 2 - Vector Algebra

Lecture 4.1: Homomorphisms and isomorphisms

MA441: Algebraic Structures I. Lecture 15

1.1.1 Algebraic Operations

Finding Prime Factors

MATH 22 FUNCTIONS: COMPOSITION & INVERSES. Lecture N: 10/16/2003. Mad world! mad kings! mad composition! Shakespeare, King John, II:1

Metric spaces and metrizability

Chapter 2. Matrix Arithmetic. Chapter 2

M208 Pure Mathematics GTA1. Symmetry

2.4 Investigating Symmetry

12. Perturbed Matrices

Sums of Squares (FNS 195-S) Fall 2014

We could express the left side as a sum of vectors and obtain the Vector Form of a Linear System: a 12 a x n. a m2

f(x) x

Notes on the definitions of group cohomology and homology.

1 Notes for lectures during the week of the strike Part 2 (10/25)

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

Solving Systems of Equations Row Reduction

ne varieties (continued)

Math 138: Introduction to solving systems of equations with matrices. The Concept of Balance for Systems of Equations

Discrete Mathematics lecture notes 13-2 December 8, 2013

DETERMINANTS. , x 2 = a 11b 2 a 21 b 1

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Chapter 4 Vector Spaces And Modules

Review 1 Math 321: Linear Algebra Spring 2010

STRAND J: TRANSFORMATIONS, VECTORS and MATRICES

A PRIMER ON SESQUILINEAR FORMS

MATH 430 PART 2: GROUPS AND SUBGROUPS

1 Dirac Notation for Vector Spaces

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

SUPPLEMENTARY NOTES: CHAPTER 1

Matrix Basic Concepts

STAT 309: MATHEMATICAL COMPUTATIONS I FALL 2018 LECTURE 13

NOTES ON FINITE FIELDS

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

ORDERS OF ELEMENTS IN A GROUP

Transcription:

Chapter 2 The symmetric group Consider the equilateral triangle. 3 1 2 We want to describe all the symmetries, which are the motions (both rotations and flips) which takes the triangle to itself. First of all, we can do nothing, call this I. In terms of the vertices, I sends 1! 1, 2! 2 and 3! 3. We can rotate once counterclockwise. We can rotate once clockwise We can also flip it in various ways R + :1! 2! 3! 1. R :1! 3! 2! 1. F 12 :1! 2, 2! 1, 3fixed F 13 :1! 3, 3! 1, 2fixed F 23 :2! 3, 3! 2, 1fixed To multiply means to follow one motion by another. For example doing two R + rotations takes 1 to 2 and then to 3 etc. So R + R + = R 2 + = R 4

Let s do two flips, F 12 followed by F 13 takes 1! 2! 2, 2! 1! 3, 3! 3! 1, so F 12 F 13 = R + Doing this the other way gives F 13 F 12 = R Therefore this multiplication is not commutative. The full multiplication table can be worked out with enough patience as. I F 12 F 13 F 23 R + R I I F 12 F 13 F 23 R + R F 12 F 12 I R + R F 13 F 23 F 13 F 13 R I R + F 23 F 12 F 23 F 23 R + R I F 12 F 13 R + R + F 23 F 12 F 13 R I R R F 13 F 23 F 12 I R + In exercises, you will study the symmetries of a square with vertices labelled by 1, 2, 3, 4. But first we need some terminology. Given a set X, say of vertices of triangle, square, or labels for them. A permutation of X is a one to one onto function f : X! X. This means to f takes each element of x 2 X to another (or perhaps the same) element f(x) 2 X, and every element of X equals f(x) for exactly one x 2 X. For examples of permutations of the set {1, 2, 3, 4}, let It may be helpful to visualize this: 1! 2 2! 3 f = 3! 1 4! 4 f(1) = 2, f(2) = 3, f(3) = 1, f(4) = 4 g(1) = 1, g(2) = 1, g(3) = 4, g(4) = 3 g = 1! 2 2! 1 3! 4 4! 3 Since the above representations are a bit cumbersome, we often write this in permutation notation as 1 2 3 4 1 2 3 4 f =,g = 2 3 1 4 2 1 4 3 Note these are not matrices. Instead of standard functional notation, f(1) = 2, it ll be more convenient denote this by 1 f! 2 5

as above. Think of f some kind of machine which takes an input such as 1, and then spits out the answer 2 We get new permutations by composition, in other words following one by another: so 1 f! 2 g! 1 1 fg! 1 Warning This is opposite of the usual composition rule. So it is easy to get confused. We can visualize this by splicing the pictures: fg = 1! 2! 1 2! 3! 4 3! 1! 2 4! 4! 3 = or in permutation notation, 1 2 3 4 1 2 3 4 = 2 3 1 4 2 1 4 3 1! 1 2! 4 3! 2 4! 3 1 2 3 4 1 4 2 3 Warning Many authors (including Gallian) multiply permutations in the reverse order to match functional notation. *** Let S n denote the set of permutations of {1, 2,...,n}. It is, called the symmetric group on n letters. Most of you have actually encountered this before, although perhaps not by name, in a discrete math, linear algebra, or probability class. In this last case, the elements describe the ways of shu ing a deck of n cards. In linear algebra, you have encountered it in the formula for the determinant which looks something like this det(a ij )= X 2S n ±a 1 (1)...a n (n) We will say more about the sign later on. But note that we almost never use this formula because it s extremely impractical as soon as n>3, because of: Theorem 2.1. The number of elements of S n is n! =1 2 3 n. We will postpone the proof. In linear algebra class, we learn many alternative methods for computing the determinant which are more e cient. Here is a famous open problem in theoretical computer science: Find an e cient method for computing the so called permanent of a matrix X 2S n a 1 (1)...a n (n) 6

/ The importance that many other problems in CS would follow from this. Let us recall some of the special features. This has a special element called the identity which is the function I(x) = x, or in permutation notation I = Given two permutations f,g 2 S n, we can form a new permutation fg 2 S n given by composing the functions: x f y We will often refer to this as multiplication. Lemma 2.2. Composition is associative f(gh) =(f g)h. fg Proof. Given elements x, y, z, w 2{1,...,n} such that x! f y, y! g z, z! h w, we have x! fg z and therefore x (fg)h! w. Similarly y! gh w, so that x f(gh)! w. Since both f(gh) and (fg)h take x to w, they are equal. The identity permutation is the function i(x) = x which does returns the same value it is given. In permutation notation i = Lemma 2.3. if = f and fi = f Proof. We check the first equation if = = f(1) f(2) f(3)... z g = f f(1) f(2) f(3)... Lemma 2.4. Given f 2 S n, there exists a permutation g 2 S n with gf = i and fg = i. Proof. Let X = {1, 2, 3,...,n}. SInce f is one to one and onto, given y 2 X, there exists a unique x 2 X with y = f(x). This means that x is determined by y, so we can write x = g(y) for some function g. In our alternate notation, we would write this as x f! y and y g! x. Therefore x f! y g! x y g! x f! y which means that both fg and gf are the identity. 7

Now come to the key definition. Definition 2.5. A group is a set G with an operation and a special element e satisfying 1. The associative law: (x y) z = x (y z) 2. e is the identity: x e = e x = x 3. Existence of inverses: given x, there exists y such that x y = y x = e It is also worth repeating what we said in the first chapter in this context. Definition 2.6. An abelian group is a group G for which the commutative law x y = y x holds. So far we have encountered 3 examples: R with addition +, the circle C with addition are abelian and S n is a group, but it is not abelian when n 3. We will see many more 2.7 Exercises Consider a square as shown 4 1 3 2 Let R be the clockwise rotation I = i = 1 2 3 4 1 2 3 4 1 2 3 4 2 3 4 1 and F be the flip 1 2 3 4 2 1 4 3 1. Show that all the rotations preserving the square are given by I,R,R 2 = RR and R 3.

2. Show that all the flips (including diagonal flips) are given by F, FR, FR 2,FR 3. 3. The above rotations and flips is a complete list of all the symmetries of the square. Given an example of a permutation in S 4 which is not a symmetry of the square. Describe RF in terms of this list. 4. Determine the inverses of the rotations R, R 2 = RR and R 3. 9