6 Permutations Very little of this section comes from PJE.

Size: px
Start display at page:

Download "6 Permutations Very little of this section comes from PJE."

Transcription

1 6 Permutations Very little of this section comes from PJE Definition A permutation (p147 of a set A is a bijection ρ : A A Notation If A = {a b c } and ρ is a permutation on A we can express the action of ρ on A using a two row notation due to Cauchy: ( a b c ρ = ρ (a ρ (b ρ (c Note The identity map 1 A which satisfies 1 A (α = α for all α A is therefore given by ( a b c 1 A = a b c Definition The collection of all permutations on a set A denoted by S A is called the symmetric group on A When A = {1 2 3 n} S A is usually denoted by S n and is called the symmetric group on n letters Let 1 n denote the identity map in S n Example S 3 consists of Theorem If A is a finite set then f : A A is a bijection if and only if it is an injection Proof p138 and will not be covered in my part of the course Corollary If A = n 1 then the number of permutations ρ : A A is n! Proof Since A is a finite set to count bijections it suffices to count injections Hence S A = Inj (A A = n! Recall if ρ and π are functions A A then the composite function is defined by ρ π (a = ρ (π (a for all a A Further if ρ and π are bijections then ρ π is a bijection Hence the composition of permutations is a permutation Example Let ρ π S 5 be given by ( ρ = and

2 To write ρ π in the same way we have to see first what π does to a given element of A and then secondly what ρ does to this image In this example π (1 = 2 ρ (2 = 2 so ρ π (1 = 2 π (2 = 3 ρ (3 = 1 so ρ π (2 = 1 π (3 = 4 ρ (4 = 3 so ρ π (3 = 3 π (4 = 5 ρ (5 = 5 so ρ π (4 = 5 π (5 = 1 ρ (1 = 4 so ρ π (5 = 4 Thus ρ = ( ( ( Note we first looked at π then at ρ so read ρ π from the right Note also that π ρ = so that for instance ρ π (1 = 2 but π ρ (1 = 5 Thus ρ π π ρ and hence composition of permutations is not commutative Recall a bijection always has an inverse The inverse of a permutation written in the two row manner can easily be found by exchanging upper and lower rows and then reordering the columns so the entries on the upper row appear in the same order as in the original permutation Examples In S 5 the inverse of is ( = You should check that your answer satisfies the definition of inverse namely that f f 1 = f 1 f = 1 ( ( ( ( = =

3 Definition If ρ is a permutation on A then ρ fixes a A if ρ (a = a and ρ moves a if ρ (a a Definition Let a 1 a 2 a r be elements in A If ρ is a permutation that fixes all the other elements of A and if ie ρ (a 1 = a 2 ρ (a 2 = a 3 ρ (a 3 = a 4 ρ (a r 1 = a r ρ (a r = a 1 a 1 a 2 a 3 a r a 1 then ρ is called a cycle of length r sometimes called an r-cycle A 2-cycle is called a transposition The r-cycle above will be denoted by (a 1 a 2 a 3 a r Note that any a i can be taken as the starting point so (a 1 a 2 a 3 a r = (a 2 a 3 a r a 1 = = (a r a 1 a r 2 a r 1 We can take r = 1 in the definition to get a 1-cycle (a 1 But such a cycle fixes all elements of A is thus the identity Hence all 1-cycles equal the identity ie (a = 1 A for all a A Examples (i Two permutations seen before were cycles Namely ρ π S 5 ( ρ = = ( and So = ( (ii In S 3 all permutation happen to be cycles namely 1 3 (2 3 (1 2 (1 3 (1 3 2 and (1 2 3 The inverse of a cycle is obtained simply by writing it in reverse order ( ρ 1 = ( = (3 4 1 = as seen before And we can compose cycles written in this notation remembering to read from the right So ( ρ (1 4 3 ( =

4 as seen before Again we did this by noting that π moved 1 to 2 which ρ then fixed Next π moved 2 to 3 which ρ moved onto 1 Continue Example In S 3 we can represent all possible products in a table 1 3 (2 3 (1 2 (1 3 (1 3 2 ( (2 3 (1 2 (1 3 (1 3 2 (1 2 3 (2 3 ( (1 3 2 (1 2 3 (1 2 (1 3 (1 2 (1 2 ( (1 3 2 (1 3 (2 3 (1 3 (1 3 (1 3 2 ( (2 3 (1 2 (1 3 2 (1 3 2 (1 3 (2 3 (1 2 ( (1 2 3 (1 2 3 (1 2 (1 3 ( (1 3 2 Note that because composition is not commutative this table is not symmetric about it s leading diagonal But is does have other nice properties: it is closed and every row and every column has all the elements of S 3 in some order Question If we can multiply permutations can we factor them? Algorithm for factorization is best illustrated by an example Example In S 6 consider Take an element in { } for example 1 See what π does to 1 It sends 1 to 5 Then π sends 5 to 4 Next π sends 4 back to 1 Thus we have a cycle (1 5 4 Next look at any element not in this cycle 2 say Then we see that and so we get another cycle (2 6 Repeat by taking any element not in these two cycles We have only one such element 5 and this is fixed by π and so we get a 1-cycle (5 which we know is the identity When there is at least one non-identity cycle we can omit the identity (5 Question In which order do we multiply these cycles ie do we have (1 5 4 (2 6 or (2 6 (1 5 4? Definition Two permutations ρ and π of a set A are disjoint if every element moved by ρ is fixed by π and every element moved by π is fixed by ρ (In other words the sets of objects moved by each permutation are disjoint sets Example In S 5 the cycles (1 5 4 and (2 6 are disjoint The cycles (1 4 3 and ( are not disjoint 4

5 a m a m+1 Theorem Disjoint permutations on a set commute Proof not given in course (see Additional Notes on the web site Theorem A permutation on a finite set A is either a cycle or can be expressed as a product of disjoint cycles Proof is by (strong induction on the number r of points moved by a permutation If r = 0 then ρ is the identity which is a 1-cycle Assume result true for all r k Let ρ be a permutation that moves k + 1 points and define P A to be the set of points moved by ρ ie P = {a A : ρ (a a} Then P = k + 1 Let a 1 P and define a 2 = ρ (a 1 a 3 = ρ (a 2 The list a 1 a 2 a 3 consists of elements from A a finite set and so the list must repeat ie there is a smallest n such that there exists 1 m < n with ρ (a n = a m a m-1 a 3 a n a 2 a 1 Assume for a contradiction that m > 1 We can see from the diagram that a m is the image of two elements ie a m = ρ (a m 1 and a m = ρ (a n Thus ρ (a n = ρ (a m 1 Yet ρ is injective (1 1 so a n = a m 1 But a n has be defined to be ρ (a n 1 and so we have ρ (a n 1 = a n = a m 1 ie ρ (a n 1 = a m 1 But this contradicts the choice of n as the smallest positive value such that ρ (a n = a m for some m Thus our last assumption is false and we must have m = 1 ie ρ (a n = a 1 Hence we have a cycle (a 1 a 2 a n which we label σ Since this cycle moves a 1 it is non-trivial and so n 2 5

6 Let S be the set of elements moved by σ so S = {a A : σ (a a} Then S = n If a S then a = a i for some 1 i n Since σ is a cycle σ (a i = a i+1 with the convention that a n+1 = a 1 Yet by the definition of σ we have a i+1 = ρ (a i Hence σ (a i = a i+1 = ρ (a i ie σ (a i = ρ (a i or σ (a = ρ (a for all a S In particular for a S ρ (a = σ (a a and so a P and thus S P Consider σ 1 ρ If a S P Then σ (a = ρ (a and so σ 1 ρ (a = a ie a is fixed by σ 1 ρ Let a P \ S then ρ (a a while σ (a = a Thus ρ (a σ (a and so σ 1 ρ (a a ie a is moved by σ 1 ρ Finally if a / P (in which case a / S then ρ (a = a and σ (a = a Thus σ (a = ρ (a and so σ 1 ρ (a = a ie a is fixed by σ 1 ρ Combining these three observations we conclude that a is moved by σ 1 ρ if and only if a P \ S Since S P we have P \ S = k+1 n ie σ 1 ρ moves k+1 n k 1 elements So by our inductive hypothesis σ 1 ρ can be expressed as a product of disjoint cycles ie σ 1 ρ = σ 1 σ t Thus ρ = σ σ 1 σ t as required Example From above we have ( = (1 5 4 (2 6 = (2 6 ( We can go further Theorem A permutation on a finite set A can be expressed as a product of disjoint cycles uniquely apart from the order of the cycles Proof not given in course (see Additional Notes on the web site Definition The positive powers ρ n of a permutation are defined inductively by setting ρ 1 = ρ and ρ k+1 = ρ ρ k for all k N The negative powers of a permutation are defined by ρ n = (ρ 1 n for all n N where ρ 1 is the inverse of ρ Finally we set ρ 0 = 1 A 6

7 Theorem Let ρ be a permutation of a finite set A Then there is an integer m 1 such that ρ m = 1 A Proof ρ ρ 2 ρ 3 is a list of bijections from the finite set A to itself The number of such bijections is finite (since A is finite and so this list must repeat ie there exist r < s such that ρ r = ρ s Apply ρ r to both sides to get 1 A = ρ s r Take m = s r Definition The order or period of a permutation ρ is the least positive integer n such that ρ n = 1 A Examples In S 4 consider Then π 2 1 = π 1 = and so the order is 2 But consider 4 π 2 = = 1 4 then π 2 2 = π 3 2 = π 2 π 2 2 = = 1 4 and so the order is 3 But what about finding the order of something a little larger? In S 7 consider ( Then π 2 = π 3 = How long do we have to go on for? What if we had a permutation from S 100? Theorem If the order of π is d then π e = 1 A if and only if d e 7

8 Proof ( Assume π e = 1 A By the division Algorithm write e = qd + r for some integers q and 0 r d 1 Then 1 A = π e = π qd+r = ( π d q π r = (1 A q π r = π r But d is the least positive integer with π d = 1 A and so r = 0 That is e = qd and so d e ( Assume d e So e = dq for some q Z But then π e = ( π d q = (1A q = 1 A Question For what permutations is it easy to calculate the order? Theorem The order of a cycle is equal to its length Proof not given in course (see Additional Notes on the web site Definition The lowest common multiple of integers m 1 m 2 m t denoted by lcm (m 1 m 2 m t is the positive integer f that satisfies (1 m 1 f m 2 f m t f (2 if m 1 k m 2 k m t k then f k In words (1 says that f is a common multiple of the integers while (2 says that it is the least of all possible positive common multiples Compare the definition to that of gcd Theorem Suppose that π 1 π 2 π m is a decomposition into a product of disjoint permutations then the order of π is the least common multiple of the orders of the permutations π 1 π 2 π m Proof not given in course (see Additional Notes on the web site Note In practice given a permutation π we decompose it into a product of disjoint cycles The order of each cycle is its length so the order of π is the lcm of the lengths of the cycles Since the decomposition into cycles is unique apart from ordering the lcm is well-defined Examples In S 12 consider ( = ( (2 3 5 (1 6 (

9 The order equals lcm ( = 30 Example What is the largest order of all permutations in S 12? Solution Need to find positive integers a b c that sum to 12 but for which lcm (a b c is as large as possible Just search to find 12 = when lcm (3 4 5 = 60 So for example (1 2 3 ( ( = has order 60 Example S 8 What is the order of ( (2 3 6 (6 7? CAREFUL the cycles are not disjoint! We have to write this as a product of disjoint cycles In fact it equals ( (4 6 7 now a composition of disjoint cycles The order is lcm (4 3 = 12 Appendix We have seen that we can build all permutations out of cycles But there are other possible building blocks Definition A transposition is a cycle of length 2 Example (2 3 S 5 is a transposition Example In S 5 we have (2 3 4 = (3 4 (2 4 ie we have written a permutation as a product of transpositions This decomposition is not unique for example (2 3 4 = (3 4 2 = (4 2 (3 2 and the sets of transpositions {(4 2 (3 2} {(3 4 (2 4} are different But we do have a general result Theorem If A 2 then every cycle on A is a product of transpositions Proof If π is a 1-cycle then π is the identity which can be written as (a 1 a 2 (a 2 a 1 say If π is an r-cycle with r 2 then (a 1 a 2 a r = (a 1 a r (a 1 a r 1 (a 1 a 3 (a 1 a 2 9

10 Students to check Example In S 4 ( = (1 4 (1 3 (1 2 = (1 4 (2 3 (1 3 so this form of decomposition is not unique But from the example in S 4 (1 2 3 = (1 3 (1 2 = (1 3 (4 2 (1 2 (1 4 = (1 3 (4 2 (1 2 (1 4 (2 3 (2 3 it might not seem unreasonable that the parity of number of factor (ie odd or even is the same for all factorizations We do not pursue this further Corollary A permutation can be expressed as a product of transpositions Proof Immediate on combining the above results Example In S 6 we have ( = (1 5 4 ( = (1 4 (1 5 (2 6 Example In S 7 we have ( = ( ( = (6 5 (3 5 (1 5 (7 4 (2 4 Of course this decomposition is neither unique or disjoint 10

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively 6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise

More information

Ch6 Addition Proofs of Theorems on permutations.

Ch6 Addition Proofs of Theorems on permutations. Ch6 Addition Proofs of Theorems on permutations. Definition Two permutations ρ and π of a set A are disjoint if every element moved by ρ is fixed by π and every element moved by π is fixed by ρ. (In other

More information

4. Congruence Classes

4. Congruence Classes 4 Congruence Classes Definition (p21) The congruence class mod m of a Z is Example With m = 3 we have Theorem For a b Z Proof p22 = {b Z : b a mod m} [0] 3 = { 6 3 0 3 6 } [1] 3 = { 2 1 4 7 } [2] 3 = {

More information

7.2 Applications of Euler s and Fermat s Theorem.

7.2 Applications of Euler s and Fermat s Theorem. 7.2 Applications of Euler s and Fermat s Theorem. i) Finding and using inverses. From Fermat s Little Theorem we see that if p is prime and p a then a p 1 1 mod p, or equivalently a p 2 a 1 mod p. This

More information

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

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

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below). Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately

More information

7. Prime Numbers Part VI of PJE

7. Prime Numbers Part VI of PJE 7. Prime Numbers Part VI of PJE 7.1 Definition (p.277) A positive integer n is prime when n > 1 and the only divisors are ±1 and +n. That is D (n) = { n 1 1 n}. Otherwise n > 1 is said to be composite.

More information

Foundations Revision Notes

Foundations Revision Notes oundations Revision Notes hese notes are designed as an aid not a substitute for revision. A lot of proofs have not been included because you should have them in your notes, should you need them. Also,

More information

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Problem 1: Specify two different predicates P (x) and

More information

1 Counting Collections of Functions and of Subsets.

1 Counting Collections of Functions and of Subsets. 1 Counting Collections of Functions and of Subsets See p144 All page references are to PJEccles book unless otherwise stated Let X and Y be sets Definition 11 F un (X, Y will be the set of all functions

More information

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS 1. Chapter 3, Problem 18 (Graded) Let H and K be subgroups of G. Then e, the identity, must be in H and K, so it must be in H K. Thus, H K is nonempty, so we can

More information

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

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5 Department of Mathematical Sciences Instructor: Daiva Pucinskaite Modern Algebra June 22, 2017 Midterm Exam There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of

More information

Group Theory

Group Theory Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is

More information

* 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields. * 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

More information

Algebraic Structures Exam File Fall 2013 Exam #1

Algebraic Structures Exam File Fall 2013 Exam #1 Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write

More information

5. Partitions and Relations Ch.22 of PJE.

5. Partitions and Relations Ch.22 of PJE. 5. Partitions and Relations Ch. of PJE. We now generalize the ideas of congruence classes of Z to classes of any set X. The properties of congruence classes that we start with here are that they are disjoint

More information

Definition For a set F, a polynomial over F with variable x is of the form

Definition For a set F, a polynomial over F with variable x is of the form *6. Polynomials Definition For a set F, a polynomial over F with variable x is of the form a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 1 x + a 0, where a n, a n 1,..., a 1, a 0 F. The a i, 0 i n are the

More information

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.

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. Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms

More information

ORDERS OF ELEMENTS IN A GROUP

ORDERS OF ELEMENTS IN A GROUP ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since

More information

α = Permutation groups

α = Permutation groups Permutation groups A permutation of a set A is another name for a bijection from A to A, that is, any function ϕ: A A which is both one-to-one and onto. When A is a finite set with n objects, it is customary

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 6. Prime Numbers. Definition and Fundamental Results CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n

More information

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

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6

More information

DIHEDRAL GROUPS II KEITH CONRAD

DIHEDRAL GROUPS II KEITH CONRAD DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite

More information

Math 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

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

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations 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

More information

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

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

The Symmetric Groups

The Symmetric Groups Chapter 7 The Symmetric Groups 7. Introduction In the investigation of finite groups the symmetric groups play an important role. Often we are able to achieve a better understanding of a group if we can

More information

YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP

YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction

More information

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

What is a semigroup? What is a group? What is the difference between a semigroup and a group? The second exam will be on Thursday, July 5, 2012. The syllabus will be Sections IV.5 (RSA Encryption), III.1, III.2, III.3, III.4 and III.8, III.9, plus the handout on Burnside coloring arguments. Of

More information

Math 594, HW2 - Solutions

Math 594, HW2 - Solutions Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group

More information

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

Lecture 2: Groups. Rajat Mittal. IIT Kanpur Lecture 2: Groups Rajat Mittal IIT Kanpur These notes are about the first abstract mathematical structure we are going to study, groups. You are already familiar with set, which is just a collection of

More information

Isomorphisms between pattern classes

Isomorphisms between pattern classes Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.

More information

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

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Section 0. Sets and Relations Subset of a set, B A, B A (Definition 0.1). Cartesian product of sets A B ( Defintion 0.4). Relation (Defintion 0.7). Function,

More information

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. INTEGERS PETER MAYR (MATH 2001, CU BOULDER) In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. 1. Divisibility Definition. Let a, b

More information

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

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31 Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

More information

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0. For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.

More information

JORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5

JORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5 JORDAN NORMAL FORM KATAYUN KAMDIN Abstract. This paper outlines a proof of the Jordan Normal Form Theorem. First we show that a complex, finite dimensional vector space can be decomposed into a direct

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Apprentice Program: Linear Algebra

Apprentice Program: Linear Algebra Apprentice Program: Linear Algebra Instructor: Miklós Abért Notes taken by Matt Holden and Kate Ponto June 26,2006 1 Matrices An n k matrix A over a ring R is a collection of nk elements of R, arranged

More information

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24 Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using

More information

Mathematics Review for Business PhD Students

Mathematics Review for Business PhD Students Mathematics Review for Business PhD Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

More information

Teddy Einstein Math 4320

Teddy Einstein Math 4320 Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

More information

GENERATING SETS KEITH CONRAD

GENERATING SETS KEITH CONRAD GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

More information

Math 430 Exam 2, Fall 2008

Math 430 Exam 2, Fall 2008 Do not distribute. IIT Dept. Applied Mathematics, February 16, 2009 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 2, Fall 2008 These theorems may be cited at any time during the test

More information

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

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on

More information

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1

More information

Integers and Division

Integers and Division Integers and Division Notations Z: set of integers N : set of natural numbers R: set of real numbers Z + : set of positive integers Some elements of number theory are needed in: Data structures, Random

More information

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

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant). Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any

More information

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60 McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction

More information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 13 SAMPLE FINAL EXAM SOLUTIONS MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.

More information

Course 2316 Sample Paper 1

Course 2316 Sample Paper 1 Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity

More information

RELATIONS AND FUNCTIONS

RELATIONS AND FUNCTIONS Chapter 1 RELATIONS AND FUNCTIONS There is no permanent place in the world for ugly mathematics.... It may be very hard to define mathematical beauty but that is just as true of beauty of any kind, we

More information

6 CARDINALITY OF SETS

6 CARDINALITY OF SETS 6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means

More information

Chapter 2 Notes, Linear Algebra 5e Lay

Chapter 2 Notes, Linear Algebra 5e Lay Contents.1 Operations with Matrices..................................1.1 Addition and Subtraction.............................1. Multiplication by a scalar............................ 3.1.3 Multiplication

More information

More Books At www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com

More information

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

MATH 433 Applied Algebra Lecture 22: Review for Exam 2. MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric

More information

Chapter 3. Introducing Groups

Chapter 3. Introducing Groups Chapter 3 Introducing Groups We need a super-mathematics in which the operations are as unknown as the quantities they operate on, and a super-mathematician who does not know what he is doing when he performs

More information

Section I.6. Symmetric, Alternating, and Dihedral Groups

Section I.6. Symmetric, Alternating, and Dihedral Groups I.6. Symmetric, alternating, and Dihedral Groups 1 Section I.6. Symmetric, Alternating, and Dihedral Groups Note. In this section, we conclude our survey of the group theoretic topics which are covered

More information

GALOIS THEORY BRIAN OSSERMAN

GALOIS THEORY BRIAN OSSERMAN GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial

More information

BMT 2014 Symmetry Groups of Regular Polyhedra 22 March 2014

BMT 2014 Symmetry Groups of Regular Polyhedra 22 March 2014 Time Limit: 60 mins. Maximum Score: 125 points. Instructions: 1. When a problem asks you to compute or list something, no proof is necessary. However, for all other problems, unless otherwise indicated,

More information

Homework #2 solutions Due: June 15, 2012

Homework #2 solutions Due: June 15, 2012 All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is

More information

5 Irreducible representations

5 Irreducible representations Physics 129b Lecture 8 Caltech, 01/1/19 5 Irreducible representations 5.5 Regular representation and its decomposition into irreps To see that the inequality is saturated, we need to consider the so-called

More information

Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #3 Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition

More information

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

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems

More information

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

SUPPLEMENTARY NOTES: CHAPTER 1

SUPPLEMENTARY NOTES: CHAPTER 1 SUPPLEMENTARY NOTES: CHAPTER 1 1. Groups A group G is a set with single binary operation which takes two elements a, b G and produces a third, denoted ab and generally called their product. (Mathspeak:

More information

Lecture 5: Arithmetic Modulo m, Primes and Greatest Common Divisors Lecturer: Lale Özkahya

Lecture 5: Arithmetic Modulo m, Primes and Greatest Common Divisors Lecturer: Lale Özkahya BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 5: Arithmetic Modulo m, Primes and Greatest Common Divisors Lecturer: Lale Özkahya Resources: Kenneth Rosen,

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

Chapter 5. Number Theory. 5.1 Base b representations

Chapter 5. Number Theory. 5.1 Base b representations Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,

More information

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December 2016 Question Points Possible Points Received 1 12 2 14 3 14 4 12 5 16 6 16 7 16 Total 100 Instructions: 1. This exam

More information

Determinants - Uniqueness and Properties

Determinants - Uniqueness and Properties Determinants - Uniqueness and Properties 2-2-2008 In order to show that there s only one determinant function on M(n, R), I m going to derive another formula for the determinant It involves permutations

More information

Homework #5 Solutions

Homework #5 Solutions Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will

More information

CSE 20. Final Review. CSE 20: Final Review

CSE 20. Final Review. CSE 20: Final Review CSE 20 Final Review Final Review Representation of integers in base b Logic Proof systems: Direct Proof Proof by contradiction Contraposetive Sets Theory Functions Induction Final Review Representation

More information

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

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES 1 Some Definitions For your convenience, we recall some of the definitions: A group G is called simple if it has

More information

Chapter 5: The Integers

Chapter 5: The Integers c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

More information

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December 2016 Question Points Possible Points Received 1 12 2 14 3 14 4 12 5 16 6 16 7 16 Total 100 Instructions: 1. This exam

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore

Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore (Refer Slide Time: 00:54) Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 05 Cosets, Rings & Fields

More information

SUMS PROBLEM COMPETITION, 2000

SUMS PROBLEM COMPETITION, 2000 SUMS ROBLEM COMETITION, 2000 SOLUTIONS 1 The result is well known, and called Morley s Theorem Many proofs are known See for example HSM Coxeter, Introduction to Geometry, page 23 2 If the number of vertices,

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

Part II Permutations, Cosets and Direct Product

Part II Permutations, Cosets and Direct Product Part II Permutations, Cosets and Direct Product Satya Mandal University of Kansas, Lawrence KS 66045 USA January 22 8 Permutations Definition 8.1. Let A be a set. 1. A a permuation of A is defined to be

More information

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2 5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let

More information

Answers to Final Exam

Answers to Final Exam Answers to Final Exam MA441: Algebraic Structures I 20 December 2003 1) Definitions (20 points) 1. Given a subgroup H G, define the quotient group G/H. (Describe the set and the group operation.) The quotient

More information

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

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition

More information

Function Operations and Composition of Functions. Unit 1 Lesson 6

Function Operations and Composition of Functions. Unit 1 Lesson 6 Function Operations and Composition of Functions Unit 1 Lesson 6 Students will be able to: Combine standard function types using arithmetic operations Compose functions Key Vocabulary: Function operation

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

MAS114: Numbers and Groups, Semester 2

MAS114: Numbers and Groups, Semester 2 MAS114: Numbers and Groups, Semester 2 Module Information Contact details. Dr Sam Marsh (Room G9, Hick Building). Office hour. FILL THIS IN HERE: Friday 12, or see the course website. No appointment necessary,

More information

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B. Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets

More information

The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t

The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t Wiebke S. Diestelkamp Department of Mathematics University of Dayton Dayton, OH 45469-2316 USA wiebke@udayton.edu

More information

4.1 Real-valued functions of a real variable

4.1 Real-valued functions of a real variable Chapter 4 Functions When introducing relations from a set A to a set B we drew an analogy with co-ordinates in the x-y plane. Instead of coming from R, the first component of an ordered pair comes from

More information

a = qb + r where 0 r < b. Proof. We first prove this result under the additional assumption that b > 0 is a natural number. Let

a = qb + r where 0 r < b. Proof. We first prove this result under the additional assumption that b > 0 is a natural number. Let 2. Induction and the division algorithm The main method to prove results about the natural numbers is to use induction. We recall some of the details and at the same time present the material in a different

More information

Mathematics Review for Business PhD Students Lecture Notes

Mathematics Review for Business PhD Students Lecture Notes Mathematics Review for Business PhD Students Lecture Notes Anthony M. Marino Department of Finance and Business Economics Marshall School of Business University of Southern California Los Angeles, CA 90089-0804

More information

arxiv: v1 [math.co] 8 Feb 2014

arxiv: v1 [math.co] 8 Feb 2014 COMBINATORIAL STUDY OF THE DELLAC CONFIGURATIONS AND THE q-extended NORMALIZED MEDIAN GENOCCHI NUMBERS ANGE BIGENI arxiv:1402.1827v1 [math.co] 8 Feb 2014 Abstract. In two recent papers (Mathematical Research

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

Divisibility = 16, = 9, = 2, = 5. (Negative!)

Divisibility = 16, = 9, = 2, = 5. (Negative!) Divisibility 1-17-2018 You probably know that division can be defined in terms of multiplication. If m and n are integers, m divides n if n = mk for some integer k. In this section, I ll look at properties

More information