Determinants, Part 1

Size: px
Start display at page:

Download "Determinants, Part 1"

Transcription

1 Determinants, Part We shall start with some redundant definitions. Definition. Given a matrix A [ a] we say that determinant of A is det A a. Definition 2. Given a matrix a a a 2 A we say that determinant of A is det aa 22 a2 a2 a 2 22 A. Important Note about 2 2 matrices. Elementary row operations effect on determinant: Scaling row scales determinant with the same factor, switching rows changes the sign of determinant, and adding one row to another row does not change determinant at all. [Attend the class!] Important Note 2 about 2 2 matrices. Transposing matrix does not change determinant. Important Note 3 about 2 2 matrices. It is obvious that if the columns of A are dependent then the determinant of A is 0. The converse is also true i.e., if the determinant of A is 0 then the columns of A are linearly independent. This is because elementary row operations would change non-zero determinant into non-zero determinant (see previous note). Since the matrix A with independent columns is row-equivalent to I2 whose determinant is non-zero (in fact it is ) then the determinant of A should be non-zero as well. For the rest of this lecture make sure you read appendix first unless you are already familiar with permutations, transpositions, and parity of permutations. Definition 3 Let A be a square n n matrix with n 2. Let p be any permutation of,2,,n. The determinant of matrix is a summation of all possible terms ( sgn p) a a p 2 p2 anpn over all possible permutations of,2,,n. [There are n! of them and therefore n! terms.] Here the sgn p means the parity of permutation p, which is + if it is made of even number of transpositions and - if it is made of odd number of transpositions. Clearly this definition is in accordance with definition and 2 given previously. We use notation A or det A for determinant of matrix A.

2 Example. a a a 2 3 a a a a a a a a a a a a a a a a a a a a a a a a Another way to see this determinant would be by writing first two columns additionally to the right of the matrix: a a2 a3 a a2 a2 a22 a23 a2 a 22 a 3 a32 a33 a3 a 32 and then simply assembling products across diagonals, positive products from top down, negative products from bottom up a a a a a a a a a a a a a a a [This is known as Sarrus Rule, Pierre Frederic Sarrus] Example det Theorem. Determinant of transpose of A is the same as determinant of A. Shortly 2 A T A. A term ( sgn p) a a p 2 p2 anpn of determinant of A becomes ( sgn p) a a p p2 a 2 pn when the entries of the matrix A are transposed. Using n commutative property of multiplication of real numbers we can rearrange the factors in this product so that we get ( sgn p ) a a a and the only thing remains to p 2 p 2 np n check is that sgn p sgn p which is obvious since is composition of the same transpositions as p only in reverse order. Therefore transposing matrix every term of determinant of A becomes a term of determinant of transpose of A. p

3 Example. (again) Now notice that red diagonals correspond to ( ) 2 3 cycle 32 ( cycle) which are all three even permutations. The blue diagonals correspond to transpositions therefore odd permutations. Theorem 2. If matrix B is made by interchanging two rows (columns) of matrix A the determinant changes a sign, i.e., B A. With a i-j column swap a product a a p ipi a jp j anpn becomes a a a a. The permutation relative to this product is simply p ip j jp i np n i j p which changes the sign. In case of row swap one can make the same conclusion using Theorem. Theorem 3. If a matrix A has two identical rows (columns) then A 0. Obvious consequence of previous theorem Theorem 4. (a) If matrix B is made by multiplying a row (column) of matrix A by real number k then B k A. [This is obvious given the definition of determinant.] (b) If matrix B is made by adding a row (column) of matrix A to another row (column) of A then B A. Proof of (b): A product in determinant of B as a a p ipi aipi a jp j a becomes a np n sum of two products a a a a p ip i jp j npn a p aipi aipi anpn where the second term would correspond to a product in determinant of matrix made from matrix A with j-th row being replaced with i-th row and the conclusion now follows from Theorem 3. 3

4 Corollary. If a matrix B is made from matrix A by adding a multiple of one row to another the determinant of B is the same as determinant of A. This is easy to see since if we add say 3 times the second row to the first then this is equivalent to multiply second row with 3 (the determinant triples) then adding such a second row to the first (no change in determinant), then multiplying second row with /3, which makes determinant /3 of the one in previous step. All in all, no change to determinant. Theorem 5. If E is elementary matrix (made by either (a) exchanging two rows of identity matrix, or (b) multiplying one row of identity matrix with non-zero real number, or (c) adding a multiple of one row to another then EB E B det det det In (a) case this is obvious since here det (E) is simply so we can use Theorem 2. The same with (b) using Theorem 4. And again using corollary we get the case (c). Corollary 2. If two matrices A and B are row equivalent then if A 0 implies B 0. We can see from Theorem 5 that elementary row operations cannot produce determinant 0 if the starting matrix did not have determinant 0. Theorem 6. Matrix A is invertible if and only if A 0. If A is invertible then we know it is row equivalent to identity matrix and now we simply use Corollary 2 for the conclusion that A 0 since I 0. If A is not invertible then it is row equivalent to a matrix with at least one row with zeros and the conclusion is obvious again by Corollary 2. Corollary 3. Square n n matrix A has rank n if and only if A 0. 4

5 Straightforward consequence from the previous theorem and the Theorem 4 from lecture on Inverse Matrix. Lemma. Let A, B be two n n matrices. If matrix A is not invertible then matrix AB is not invertible. Linear transformation given by A is not - by Theorem 4 from lecture Inverse Matrix. That means that linear transformation given by AB is not -. This implies that AB is not invertible by the same theorem. Note. If B is not invertible then AB is not invertible. That is because linear transformation given by B is not onto and thus linear transformation given by AB is not onto so again we can use Theorem 4 from Inverse Matrix lecture. Theorem 7. AB A B det det det If A is invertible then it is a product of elementary matrices A EE 2 E n thus by multiple application of Theorem 5 we get as needed. AB EE 2 EnB E E2 En B Adet B det det det det det det det If A is not invertible AB is not invertible and thus the statement of theorem is simply a statement 0 0 by Theorem 6. Corollary 4. If A is invertible matrix the following is true. A A. Obvious consequence of the previous Theorem since I n. Definition 4. Matrices A and B are said to be similar if there is an invertible matrix P such that B P AP. 5

6 Note 4. This relation is a relation of equivalence. Show that! Corollary 5. Similar matrices have the same determinants. [Obvious consequence of Theorem 7.] The reverse is not true as shown in the following example. Example 3. The following matrices 0 0, 0 0 have the same determinant but they are not similar since the first matrix can only be similar to itself. Definition 3. Let A be a square matrix, then we define the minor of the entry a i, j (also called the (i,j)- minor, or a first minor) as the determinant of the submatrix A i, jformed by deleting the i-th row and j-th column from matrix A. This number is denoted det A i, j or just M i, j. The submatrix itself is denoted by A i, j. The (i, j)-cofactor is obtained by multiplying the minor by i j. We shall denote (i,j)-cofactor by C i, j. The following figure is the map of signs of cofactors. Fig. Map of cofactor signs Example 4. M M A A 22, A C det A ,2 2,2 2,2 23 C det A ,3 2,3 2,3 6

7 Theorem 8. [Pierre-Simon, marquis de Laplace] Let A be a square n n matrix with n 2. det A a C a C a C a C (.) 2 2 n n j j j n Example det Proof of Theorem 8 (difficult so you can skip on the first reading): Since every term in det A contains one (and only one) of the entries from the first row then we can factor them out and the result is something that looks like det A ad a2 D2 a nd n The terms in D do not have any entry from the first row nor from the first column but they do look like a a 2 p 2 3 p3 anpn over all the permutations p of,2,,n 2 3 n meaning and since the parity of is the same as parity of p2 p3 pn 2 3 n the we have D M. We can also (switching the first and p2 p3 pn the second column of A) show that D2 M2. [It is important to notice that parities of permutations are affected by switch while the determinant M 2 of (i,j)-minor is not affected by this switch since one of the columns that is switched is not in the minor and the columns that are switched are adjacent.] We can continue this switching adjacent columns and using previously proven to show that D3 M3, D4 M4, which shows that Dj Cj as we needed to show. Theorem 9. Let A be a square n n matrix with n 2. det A a C a C a C a C (.2) i i i2 i2 in in i j i j j meaning that determinant of A can be calculated by using any row. n 7

8 According to theorem #2 switching two adjacent rows like the first and the second only changes the sign of determinant but since in the new position the signs of cofactors change as well while the minors stay the same then the determinant does not change at all. Thus (.2) holds for i 2. But then we can continue by induction for example switching rows 2 and 3 follows the same rules (determinant of A changes but minors do not) etc. Example Calculate determinant of A (from example 2) and convince yourself it is 4 again regardless which row you would use for the expansion (.2). Note 5. Using always the last row you can easily see that upper triangular matrix has determinant that is simply a product of diagonal entries. The same with lower triangular matrix (using always the first row) and obviously with diagonal matrix. Theorem 0. Let A be a square n n matrix with n 2. Then the following holds, det A a C a C a C a C (.3) j j 2 j 2 j n j n j i j i j i meaning that determinant can be calculated by using any column as well. Follows trivially from the previous theorem and from Theorem since the cofactor map of signs does not change with transposition. n We refer to the - map of We also write the following notation: Appendix Permutations of,2,,n,2,,n onto,2,,n as a permutation of,2,,n. 8

9 2 n p p2 pn for permutation p. Example is a permutation sending to 2, 2 to 3, 3 to, and 4 to 4. We say that permutation is a transposition when it is made of exchange of two elements from,2,,n, for example [or the simplest way 3 as in swapping and 3 ] is a transposition because it exchanges and 3. Any permutation can be written as a product (meaning composition) of transpositions. Example = 3 2 meaning we achieved permutation first swapping and 2 and then and 3. Example 3. [Straightforward decomposition of a permutation into transpositions. We have a better way than this and about that we shall learn later.] can be achieved by the following steps (in that order). [Keep in mind that we are not looking for the most efficient way but for algorithmic approach!] We start with Put 3 at the first position by the following transpositions: swap 3 and 2, then swap 3 and. The result is 9

10 Put 5 at the second position by the following transpositions: swap 5 and 4, then swap 5 and 2, then swap 5 and. The result is Put 2 at the third position by the following transposition: swap 2 and. The result is This gives us the decomposition of our permutation into 6 transpositions: [we are composing functions!] Pictorially (follow the direction of arrows for the composition of transpositions): The previous should give you a general idea how to approach decomposition of any permutation into product (composition) of transpositions. First you accomplish to fill the (eventual) first position, then (eventual) second, then (eventual) third etc., as much as needed. It is obvious that this can be done always with transpositions. The parity of permutation is the parity of the number of transpositions the permutation is made of. The permutation in example 3 is made of 6 transpositions thus the parity is even. A permutation can be decomposed in different compositions of transpositions. Example 4. 0

11 Therefore we need to show that the parity as we defined is always the same, meaning for example if you can write permutation in 6 transpositions then every other decomposition will also have even number of transpositions. p p 2 p n We call permutation p 2 n Obviously any transposition is its own inverse. inverse of permutation p. Theorem. Assume that permutation p can be written as a product of transpositions p 2 r 2 s then r and s have the same parity. Since p p 2 r s 2 it suffices to prove that identity can only be written as a product of even number of transpositions. So let a b a b a b (.4) 2 2 k k product (i.e., composition of transpositions, and we need to show that k is even. Clearly k cannot be since () is identity. Thus is k is 2 we are done. Suppose that k 3 and suppose that we know that any product of less than k transpositions that is identity would have even number of transpositions. It is obvious that a has to be present in another transposition in (.4) beyond the first one. Let s call this a just a. Since roles of two elements in a transposition can be reversed we can assume that that is another of the a s. Because of the following cd ab ab cd bc ab ac bc

12 we can always bring that second occurrence of a next to ab without changing the number of transpositions. Meaning we can assume that we have ab ab2 akbk. Neither b nor b 2 are equal to a. Now we have two cases: Case. b b2 In this case the first two transpositions cancel each other and we have by induction that remaining number of transpositions is even. This our claim is proven. Case 2. b b2 Now we have and we have ab ab ab b b ab b b a b a b k k. Note that we got rid of second occurrence of a. Thus we have another a in a b a b and we can repeat the same procedure again. Thus it is obvious that at 3 3 k k some point we shall reach Case (cancelation of two transpositions) because we cannot end up exhausting the length of decomposition without finding another a. Theorem 2. There is equal number of even and odd permutations of,2,,n if n 2. For every even permutation p we have 2 p to be odd and whenever permutations p q then 2 p 2 q. [Assume opposite and use inverse 2which is 2 ] We call permutation a cyclic permutation or a cycle when it is made of portion of elements of,2,,n in a cyclic swap: i j k i while other indices do not change. Example as 3 5 2

13 We also write this shorter as 35, swap cycle of 3 elements. We call this number of elements the length of the cycle. We shall label the length of cycle using notation of absolute value, for example This type of permutation is also its own inverse. Every permutation can be written as a product of disjoint cycles. [This should be obvious.] For example is itself cyclic since but we can have more than one cycle in a permutation (i.e., the permutation made of more than one cycles) for example [ Disjoint means there are no common elements in the short notation.] It should be obvious that cyclic decomposition for any permutation into disjoint non-repeating cycles is unique since cycles do not have any common elements. It should also be obvious that any cycle of length k will be possible to decompose into k transpositions in the manner of the following example. Example Note the following example for the inverse of a cycle. Example Theorem 3. The parity of permutation p is the same as the parity of n c c2 c m where c, c2,, c m are cycles in the decomposition of permutation p into non-repeating disjoint cycles. Proof (the idea): Just take a look at the example 6. 3

14 Theorem 4. p p2 pn Inverse permutation p 2 n Since every permutation is a product of cycles then has the same parity as p. p c c c c c c 2 n n n and the rest is obvious from the previous theorem. [We could also use the same argument with c s being the transpositions.] The following theorem is known Theorem 5. The number of permutations of,2,,n is n!. The number of permutations of is which is! Assume that the number of permutations of,2,, n, where n, is n!. That means that the number of bijections (bijection is - and onto mapping) of,2,, n onto a,, an is also n!. This means that the number of permutations p of,2,,n such that pn i is also n!. Since we have n choices for such an i then the we have n! n n! permutations of,2,,n. The proof of the theorem follows by induction. Now by virtue of the previous theorem and the theorem #2 we have the following, Corollary The number of even and odd permutations of,2,,n when n 2 is the same, namely n!. 2 4

LECTURE 8: DETERMINANTS AND PERMUTATIONS

LECTURE 8: DETERMINANTS AND PERMUTATIONS LECTURE 8: DETERMINANTS AND PERMUTATIONS MA1111: LINEAR ALGEBRA I, MICHAELMAS 2016 1 Determinants In the last lecture, we saw some applications of invertible matrices We would now like to describe how

More information

17. Symmetries. Thus, the example above corresponds to the matrix: We shall now look at how permutations relate to trees.

17. Symmetries. Thus, the example above corresponds to the matrix: We shall now look at how permutations relate to trees. 7 Symmetries 7 Permutations A permutation of a set is a reordering of its elements Another way to look at it is as a function Φ that takes as its argument a set of natural numbers of the form {, 2,, n}

More information

Permutation group and determinants. (Dated: September 19, 2018)

Permutation group and determinants. (Dated: September 19, 2018) Permutation group and determinants (Dated: September 19, 2018) 1 I. SYMMETRIES OF MANY-PARTICLE FUNCTIONS Since electrons are fermions, the electronic wave functions have to be antisymmetric. This chapter

More information

MATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups.

MATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups. MATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups. Permutations Let X be a finite set. A permutation of X is a bijection from X to itself. The set of all permutations

More information

X = {1, 2,...,n} n 1f 2f 3f... nf

X = {1, 2,...,n} n 1f 2f 3f... nf Section 11 Permutations Definition 11.1 Let X be a non-empty set. A bijective function f : X X will be called a permutation of X. Consider the case when X is the finite set with n elements: X {1, 2,...,n}.

More information

Permutation Groups. Definition and Notation

Permutation Groups. Definition and Notation 5 Permutation Groups Wigner s discovery about the electron permutation group was just the beginning. He and others found many similar applications and nowadays group theoretical methods especially those

More information

THE SIGN OF A PERMUTATION

THE SIGN OF A PERMUTATION THE SIGN OF A PERMUTATION KEITH CONRAD 1. Introduction Throughout this discussion, n 2. Any cycle in S n is a product of transpositions: the identity (1) is (12)(12), and a k-cycle with k 2 can be written

More information

Permutation Groups. Every permutation can be written as a product of disjoint cycles. This factorization is unique up to the order of the factors.

Permutation Groups. Every permutation can be written as a product of disjoint cycles. This factorization is unique up to the order of the factors. Permutation Groups 5-9-2013 A permutation of a set X is a bijective function σ : X X The set of permutations S X of a set X forms a group under function composition The group of permutations of {1,2,,n}

More information

1111: Linear Algebra I

1111: Linear Algebra I 1111: Linear Algebra I Dr. Vladimir Dotsenko (Vlad) Lecture 7 Dr. Vladimir Dotsenko (Vlad) 1111: Linear Algebra I Lecture 7 1 / 8 Invertible matrices Theorem. 1. An elementary matrix is invertible. 2.

More information

Permutations. = f 1 f = I A

Permutations. = f 1 f = I A Permutations. 1. Definition (Permutation). A permutation of a set A is a bijective function f : A A. The set of all permutations of A is denoted by Perm(A). 2. If A has cardinality n, then Perm(A) has

More information

16 Alternating Groups

16 Alternating Groups 16 Alternating Groups In this paragraph, we examine an important subgroup of S n, called the alternating group on n letters. We begin with a definition that will play an important role throughout this

More information

The Sign of a Permutation Matt Baker

The Sign of a Permutation Matt Baker The Sign of a Permutation Matt Baker Let σ be a permutation of {1, 2,, n}, ie, a one-to-one and onto function from {1, 2,, n} to itself We will define what it means for σ to be even or odd, and then discuss

More information

Permutation Generation Method on Evaluating Determinant of Matrices

Permutation Generation Method on Evaluating Determinant of Matrices Article International Journal of Modern Mathematical Sciences, 2013, 7(1): 12-25 International Journal of Modern Mathematical Sciences Journal homepage:www.modernscientificpress.com/journals/ijmms.aspx

More information

Lecture 2.3: Symmetric and alternating groups

Lecture 2.3: Symmetric and alternating groups Lecture 2.3: Symmetric and alternating groups Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson)

More information

REU 2006 Discrete Math Lecture 3

REU 2006 Discrete Math Lecture 3 REU 006 Discrete Math Lecture 3 Instructor: László Babai Scribe: Elizabeth Beazley Editors: Eliana Zoque and Elizabeth Beazley NOT PROOFREAD - CONTAINS ERRORS June 6, 006. Last updated June 7, 006 at :4

More information

A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA

A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA JOEL LOUWSMA, ADILSON EDUARDO PRESOTO, AND ALAN TARR Abstract. Krakowski and Regev found a basis of polynomial identities satisfied

More information

Domino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations

Domino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations Domino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations Benjamin Caffrey 212 N. Blount St. Madison, WI 53703 bjc.caffrey@gmail.com Eric S. Egge Department of Mathematics and

More information

To Your Hearts Content

To Your Hearts Content To Your Hearts Content Hang Chen University of Central Missouri Warrensburg, MO 64093 hchen@ucmo.edu Curtis Cooper University of Central Missouri Warrensburg, MO 64093 cooper@ucmo.edu Arthur Benjamin [1]

More information

Chapter 1. The alternating groups. 1.1 Introduction. 1.2 Permutations

Chapter 1. The alternating groups. 1.1 Introduction. 1.2 Permutations Chapter 1 The alternating groups 1.1 Introduction The most familiar of the finite (non-abelian) simple groups are the alternating groups A n, which are subgroups of index 2 in the symmetric groups S n.

More information

arxiv: v1 [cs.cc] 21 Jun 2017

arxiv: v1 [cs.cc] 21 Jun 2017 Solving the Rubik s Cube Optimally is NP-complete Erik D. Demaine Sarah Eisenstat Mikhail Rudoy arxiv:1706.06708v1 [cs.cc] 21 Jun 2017 Abstract In this paper, we prove that optimally solving an n n n Rubik

More information

Pattern Avoidance in Unimodal and V-unimodal Permutations

Pattern Avoidance in Unimodal and V-unimodal Permutations Pattern Avoidance in Unimodal and V-unimodal Permutations Dido Salazar-Torres May 16, 2009 Abstract A characterization of unimodal, [321]-avoiding permutations and an enumeration shall be given.there is

More information

The Math Behind Futurama: The Prisoner of Benda

The Math Behind Futurama: The Prisoner of Benda of Benda May 7, 2013 The problem (informally) Professor Farnsworth has created a mind-switching machine that switches two bodies, but the switching can t be reversed using just those two bodies. Using

More information

The Place of Group Theory in Decision-Making in Organizational Management A case of 16- Puzzle

The Place of Group Theory in Decision-Making in Organizational Management A case of 16- Puzzle IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728,p-ISSN: 2319-765X, Volume 7, Issue 6 (Sep. - Oct. 2013), PP 17-22 The Place of Group Theory in Decision-Making in Organizational Management A case

More information

MAT Modular arithmetic and number theory. Modular arithmetic

MAT Modular arithmetic and number theory. Modular arithmetic Modular arithmetic 1 Modular arithmetic may seem like a new and strange concept at first The aim of these notes is to describe it in several different ways, in the hope that you will find at least one

More information

Rotational Puzzles on Graphs

Rotational Puzzles on Graphs Rotational Puzzles on Graphs On this page I will discuss various graph puzzles, or rather, permutation puzzles consisting of partially overlapping cycles. This was first investigated by R.M. Wilson in

More information

5 Symmetric and alternating groups

5 Symmetric and alternating groups MTHM024/MTH714U Group Theory Notes 5 Autumn 2011 5 Symmetric and alternating groups In this section we examine the alternating groups A n (which are simple for n 5), prove that A 5 is the unique simple

More information

Harmonic numbers, Catalan s triangle and mesh patterns

Harmonic numbers, Catalan s triangle and mesh patterns Harmonic numbers, Catalan s triangle and mesh patterns arxiv:1209.6423v1 [math.co] 28 Sep 2012 Sergey Kitaev Department of Computer and Information Sciences University of Strathclyde Glasgow G1 1XH, United

More information

Permutations with short monotone subsequences

Permutations with short monotone subsequences Permutations with short monotone subsequences Dan Romik Abstract We consider permutations of 1, 2,..., n 2 whose longest monotone subsequence is of length n and are therefore extremal for the Erdős-Szekeres

More information

Chapter 6.1. Cycles in Permutations

Chapter 6.1. Cycles in Permutations Chapter 6.1. Cycles in Permutations Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 6.1. Cycles in Permutations Math 184A / Fall 2017 1 / 27 Notations for permutations Consider a permutation in 1-line

More information

A STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP

A STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 6 (2006), #A31 A STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP Shinji Tanimoto Department of Mathematics, Kochi Joshi University

More information

Lecture 2: Sum rule, partition method, difference method, bijection method, product rules

Lecture 2: Sum rule, partition method, difference method, bijection method, product rules Lecture 2: Sum rule, partition method, difference method, bijection method, product rules References: Relevant parts of chapter 15 of the Math for CS book. Discrete Structures II (Summer 2018) Rutgers

More information

Section II.9. Orbits, Cycles, and the Alternating Groups

Section II.9. Orbits, Cycles, and the Alternating Groups II.9 Orbits, Cycles, Alternating Groups 1 Section II.9. Orbits, Cycles, and the Alternating Groups Note. In this section, we explore permutations more deeply and introduce an important subgroup of S n.

More information

Yet Another Triangle for the Genocchi Numbers

Yet Another Triangle for the Genocchi Numbers Europ. J. Combinatorics (2000) 21, 593 600 Article No. 10.1006/eujc.1999.0370 Available online at http://www.idealibrary.com on Yet Another Triangle for the Genocchi Numbers RICHARD EHRENBORG AND EINAR

More information

Ma/CS 6a Class 16: Permutations

Ma/CS 6a Class 16: Permutations Ma/CS 6a Class 6: Permutations By Adam Sheffer The 5 Puzzle Problem. Start with the configuration on the left and move the tiles to obtain the configuration on the right. The 5 Puzzle (cont.) The game

More information

Chained Permutations. Dylan Heuer. North Dakota State University. July 26, 2018

Chained Permutations. Dylan Heuer. North Dakota State University. July 26, 2018 Chained Permutations Dylan Heuer North Dakota State University July 26, 2018 Three person chessboard Three person chessboard Three person chessboard Three person chessboard - Rearranged Two new families

More information

arxiv: v1 [math.co] 24 Nov 2018

arxiv: v1 [math.co] 24 Nov 2018 The Problem of Pawns arxiv:1811.09606v1 [math.co] 24 Nov 2018 Tricia Muldoon Brown Georgia Southern University Abstract Using a bijective proof, we show the number of ways to arrange a maximum number of

More information

Symmetric Permutations Avoiding Two Patterns

Symmetric Permutations Avoiding Two Patterns Symmetric Permutations Avoiding Two Patterns David Lonoff and Jonah Ostroff Carleton College Northfield, MN 55057 USA November 30, 2008 Abstract Symmetric pattern-avoiding permutations are restricted permutations

More information

EXPLAINING THE SHAPE OF RSK

EXPLAINING THE SHAPE OF RSK EXPLAINING THE SHAPE OF RSK SIMON RUBINSTEIN-SALZEDO 1. Introduction There is an algorithm, due to Robinson, Schensted, and Knuth (henceforth RSK), that gives a bijection between permutations σ S n and

More information

Solutions to Exercises Chapter 6: Latin squares and SDRs

Solutions to Exercises Chapter 6: Latin squares and SDRs Solutions to Exercises Chapter 6: Latin squares and SDRs 1 Show that the number of n n Latin squares is 1, 2, 12, 576 for n = 1, 2, 3, 4 respectively. (b) Prove that, up to permutations of the rows, columns,

More information

1.6 Congruence Modulo m

1.6 Congruence Modulo m 1.6 Congruence Modulo m 47 5. Let a, b 2 N and p be a prime. Prove for all natural numbers n 1, if p n (ab) and p - a, then p n b. 6. In the proof of Theorem 1.5.6 it was stated that if n is a prime number

More information

28,800 Extremely Magic 5 5 Squares Arthur Holshouser. Harold Reiter.

28,800 Extremely Magic 5 5 Squares Arthur Holshouser. Harold Reiter. 28,800 Extremely Magic 5 5 Squares Arthur Holshouser 3600 Bullard St. Charlotte, NC, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 28223, USA hbreiter@uncc.edu

More information

Lecture 3 Presentations and more Great Groups

Lecture 3 Presentations and more Great Groups Lecture Presentations and more Great Groups From last time: A subset of elements S G with the property that every element of G can be written as a finite product of elements of S and their inverses is

More information

STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES

STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES FLORIAN BREUER and JOHN MICHAEL ROBSON Abstract We introduce a game called Squares where the single player is presented with a pattern of black and white

More information

Lower Bounds for the Number of Bends in Three-Dimensional Orthogonal Graph Drawings

Lower Bounds for the Number of Bends in Three-Dimensional Orthogonal Graph Drawings ÂÓÙÖÒÐ Ó ÖÔ ÐÓÖØÑ Ò ÔÔÐØÓÒ ØØÔ»»ÛÛÛº ºÖÓÛÒºÙ»ÔÙÐØÓÒ»» vol.?, no.?, pp. 1 44 (????) Lower Bounds for the Number of Bends in Three-Dimensional Orthogonal Graph Drawings David R. Wood School of Computer Science

More information

Applications of Fermat s Little Theorem and Congruences

Applications of Fermat s Little Theorem and Congruences Applications of Fermat s Little Theorem and Congruences Definition: Let m be a positive integer. Then integers a and b are congruent modulo m, denoted by a b mod m, if m (a b). Example: 3 1 mod 2, 6 4

More information

Math 127: Equivalence Relations

Math 127: Equivalence Relations Math 127: Equivalence Relations Mary Radcliffe 1 Equivalence Relations Relations can take many forms in mathematics. In these notes, we focus especially on equivalence relations, but there are many other

More information

LECTURE 3: CONGRUENCES. 1. Basic properties of congruences We begin by introducing some definitions and elementary properties.

LECTURE 3: CONGRUENCES. 1. Basic properties of congruences We begin by introducing some definitions and elementary properties. LECTURE 3: CONGRUENCES 1. Basic properties of congruences We begin by introducing some definitions and elementary properties. Definition 1.1. Suppose that a, b Z and m N. We say that a is congruent to

More information

Colouring tiles. Paul Hunter. June 2010

Colouring tiles. Paul Hunter. June 2010 Colouring tiles Paul Hunter June 2010 1 Introduction We consider the following problem: For each tromino/tetromino, what are the minimum number of colours required to colour the standard tiling of the

More information

Greedy Flipping of Pancakes and Burnt Pancakes

Greedy Flipping of Pancakes and Burnt Pancakes Greedy Flipping of Pancakes and Burnt Pancakes Joe Sawada a, Aaron Williams b a School of Computer Science, University of Guelph, Canada. Research supported by NSERC. b Department of Mathematics and Statistics,

More information

PERMUTATIONS AS PRODUCT OF PARALLEL TRANSPOSITIONS *

PERMUTATIONS AS PRODUCT OF PARALLEL TRANSPOSITIONS * SIAM J. DISCRETE MATH. Vol. 25, No. 3, pp. 1412 1417 2011 Society for Industrial and Applied Mathematics PERMUTATIONS AS PRODUCT OF PARALLEL TRANSPOSITIONS * CHASE ALBERT, CHI-KWONG LI, GILBERT STRANG,

More information

Crossing Game Strategies

Crossing Game Strategies Crossing Game Strategies Chloe Avery, Xiaoyu Qiao, Talon Stark, Jerry Luo March 5, 2015 1 Strategies for Specific Knots The following are a couple of crossing game boards for which we have found which

More information

Another Form of Matrix Nim

Another Form of Matrix Nim Another Form of Matrix Nim Thomas S. Ferguson Mathematics Department UCLA, Los Angeles CA 90095, USA tom@math.ucla.edu Submitted: February 28, 2000; Accepted: February 6, 2001. MR Subject Classifications:

More information

The number of mates of latin squares of sizes 7 and 8

The number of mates of latin squares of sizes 7 and 8 The number of mates of latin squares of sizes 7 and 8 Megan Bryant James Figler Roger Garcia Carl Mummert Yudishthisir Singh Working draft not for distribution December 17, 2012 Abstract We study the number

More information

Multiple Input Multiple Output (MIMO) Operation Principles

Multiple Input Multiple Output (MIMO) Operation Principles Afriyie Abraham Kwabena Multiple Input Multiple Output (MIMO) Operation Principles Helsinki Metropolia University of Applied Sciences Bachlor of Engineering Information Technology Thesis June 0 Abstract

More information

Remember that represents the set of all permutations of {1, 2,... n}

Remember that represents the set of all permutations of {1, 2,... n} 20180918 Remember that represents the set of all permutations of {1, 2,... n} There are some basic facts about that we need to have in hand: 1. Closure: If and then 2. Associativity: If and and then 3.

More information

Stupid Columnsort Tricks Dartmouth College Department of Computer Science, Technical Report TR

Stupid Columnsort Tricks Dartmouth College Department of Computer Science, Technical Report TR Stupid Columnsort Tricks Dartmouth College Department of Computer Science, Technical Report TR2003-444 Geeta Chaudhry Thomas H. Cormen Dartmouth College Department of Computer Science {geetac, thc}@cs.dartmouth.edu

More information

Some results on Su Doku

Some results on Su Doku Some results on Su Doku Sourendu Gupta March 2, 2006 1 Proofs of widely known facts Definition 1. A Su Doku grid contains M M cells laid out in a square with M cells to each side. Definition 2. For every

More information

An interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g.,

An interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g., Binary exponentiation An interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g., What are the last two digits of the number 2 284? In the absence

More information

Fast Sorting and Pattern-Avoiding Permutations

Fast Sorting and Pattern-Avoiding Permutations Fast Sorting and Pattern-Avoiding Permutations David Arthur Stanford University darthur@cs.stanford.edu Abstract We say a permutation π avoids a pattern σ if no length σ subsequence of π is ordered in

More information

Topspin: Oval-Track Puzzle, Taking Apart The Topspin One Tile At A Time

Topspin: Oval-Track Puzzle, Taking Apart The Topspin One Tile At A Time Salem State University Digital Commons at Salem State University Honors Theses Student Scholarship Fall 2015-01-01 Topspin: Oval-Track Puzzle, Taking Apart The Topspin One Tile At A Time Elizabeth Fitzgerald

More information

Know how to represent permutations in the two rowed notation, and how to multiply permutations using this notation.

Know how to represent permutations in the two rowed notation, and how to multiply permutations using this notation. The third exam will be on Monday, November 21, 2011. It will cover Sections 5.1-5.5. Of course, the material is cumulative, and the listed sections depend on earlier sections, which it is assumed that

More information

Quarter Turn Baxter Permutations

Quarter Turn Baxter Permutations Quarter Turn Baxter Permutations Kevin Dilks May 29, 2017 Abstract Baxter permutations are known to be in bijection with a wide number of combinatorial objects. Previously, it was shown that each of these

More information

Recovery and Characterization of Non-Planar Resistor Networks

Recovery and Characterization of Non-Planar Resistor Networks Recovery and Characterization of Non-Planar Resistor Networks Julie Rowlett August 14, 1998 1 Introduction In this paper we consider non-planar conductor networks. A conductor is a two-sided object which

More information

DVA325 Formal Languages, Automata and Models of Computation (FABER)

DVA325 Formal Languages, Automata and Models of Computation (FABER) DVA325 Formal Languages, Automata and Models of Computation (FABER) Lecture 1 - Introduction School of Innovation, Design and Engineering Mälardalen University 11 November 2014 Abu Naser Masud FABER November

More information

Zsombor Sárosdi THE MATHEMATICS OF SUDOKU

Zsombor Sárosdi THE MATHEMATICS OF SUDOKU EÖTVÖS LORÁND UNIVERSITY DEPARTMENT OF MATHTEMATICS Zsombor Sárosdi THE MATHEMATICS OF SUDOKU Bsc Thesis in Applied Mathematics Supervisor: István Ágoston Department of Algebra and Number Theory Budapest,

More information

Lecture 1, CS 2050, Intro Discrete Math for Computer Science

Lecture 1, CS 2050, Intro Discrete Math for Computer Science Lecture 1, 08--11 CS 050, Intro Discrete Math for Computer Science S n = 1++ 3+... +n =? Note: Recall that for the above sum we can also use the notation S n = n i. We will use a direct argument, in this

More information

More Great Ideas in Theoretical Computer Science. Lecture 1: Sorting Pancakes

More Great Ideas in Theoretical Computer Science. Lecture 1: Sorting Pancakes 15-252 More Great Ideas in Theoretical Computer Science Lecture 1: Sorting Pancakes January 19th, 2018 Question If there are n pancakes in total (all in different sizes), what is the max number of flips

More information

Odd king tours on even chessboards

Odd king tours on even chessboards Odd king tours on even chessboards D. Joyner and M. Fourte, Department of Mathematics, U. S. Naval Academy, Annapolis, MD 21402 12-4-97 In this paper we show that there is no complete odd king tour on

More information

THE 15-PUZZLE (AND RUBIK S CUBE)

THE 15-PUZZLE (AND RUBIK S CUBE) THE 15-PUZZLE (AND RUBIK S CUBE) KEITH CONRAD 1. Introduction A permutation puzzle is a toy where the pieces can be moved around and the object is to reassemble the pieces into their beginning state We

More information

Week 1. 1 What Is Combinatorics?

Week 1. 1 What Is Combinatorics? 1 What Is Combinatorics? Week 1 The question that what is combinatorics is similar to the question that what is mathematics. If we say that mathematics is about the study of numbers and figures, then combinatorics

More information

Generating indecomposable permutations

Generating indecomposable permutations Discrete Mathematics 306 (2006) 508 518 www.elsevier.com/locate/disc Generating indecomposable permutations Andrew King Department of Computer Science, McGill University, Montreal, Que., Canada Received

More information

SOLUTIONS TO PROBLEM SET 5. Section 9.1

SOLUTIONS TO PROBLEM SET 5. Section 9.1 SOLUTIONS TO PROBLEM SET 5 Section 9.1 Exercise 2. Recall that for (a, m) = 1 we have ord m a divides φ(m). a) We have φ(11) = 10 thus ord 11 3 {1, 2, 5, 10}. We check 3 1 3 (mod 11), 3 2 9 (mod 11), 3

More information

Axiom A-1: To every angle there corresponds a unique, real number, 0 < < 180.

Axiom A-1: To every angle there corresponds a unique, real number, 0 < < 180. Axiom A-1: To every angle there corresponds a unique, real number, 0 < < 180. We denote the measure of ABC by m ABC. (Temporary Definition): A point D lies in the interior of ABC iff there exists a segment

More information

On 3-Harness Weaving: Cataloging Designs Generated by Fundamental Blocks Having Distinct Rows and Columns

On 3-Harness Weaving: Cataloging Designs Generated by Fundamental Blocks Having Distinct Rows and Columns On 3-Harness Weaving: Cataloging Designs Generated by Fundamental Blocks Having Distinct Rows and Columns Shelley L. Rasmussen Department of Mathematical Sciences University of Massachusetts, Lowell, MA,

More information

NON-OVERLAPPING PERMUTATION PATTERNS. To Doron Zeilberger, for his Sixtieth Birthday

NON-OVERLAPPING PERMUTATION PATTERNS. To Doron Zeilberger, for his Sixtieth Birthday NON-OVERLAPPING PERMUTATION PATTERNS MIKLÓS BÓNA Abstract. We show a way to compute, to a high level of precision, the probability that a randomly selected permutation of length n is nonoverlapping. As

More information

Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games

Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games May 17, 2011 Summary: We give a winning strategy for the counter-taking game called Nim; surprisingly, it involves computations

More information

Non-overlapping permutation patterns

Non-overlapping permutation patterns PU. M. A. Vol. 22 (2011), No.2, pp. 99 105 Non-overlapping permutation patterns Miklós Bóna Department of Mathematics University of Florida 358 Little Hall, PO Box 118105 Gainesville, FL 326118105 (USA)

More information

arxiv: v3 [math.co] 4 Dec 2018 MICHAEL CORY

arxiv: v3 [math.co] 4 Dec 2018 MICHAEL CORY CYCLIC PERMUTATIONS AVOIDING PAIRS OF PATTERNS OF LENGTH THREE arxiv:1805.05196v3 [math.co] 4 Dec 2018 MIKLÓS BÓNA MICHAEL CORY Abstract. We enumerate cyclic permutations avoiding two patterns of length

More information

Lecture 16b: Permutations and Bell Ringing

Lecture 16b: Permutations and Bell Ringing Lecture 16b: Permutations and Bell Ringing Another application of group theory to music is change-ringing, which refers to the process whereby people playing church bells can ring the bells in every possible

More information

Dyck paths, standard Young tableaux, and pattern avoiding permutations

Dyck paths, standard Young tableaux, and pattern avoiding permutations PU. M. A. Vol. 21 (2010), No.2, pp. 265 284 Dyck paths, standard Young tableaux, and pattern avoiding permutations Hilmar Haukur Gudmundsson The Mathematics Institute Reykjavik University Iceland e-mail:

More information

Playing with Permutations: Examining Mathematics in Children s Toys

Playing with Permutations: Examining Mathematics in Children s Toys Western Oregon University Digital Commons@WOU Honors Senior Theses/Projects Student Scholarship -0 Playing with Permutations: Examining Mathematics in Children s Toys Jillian J. Johnson Western Oregon

More information

The Symmetric Traveling Salesman Problem by Howard Kleiman

The Symmetric Traveling Salesman Problem by Howard Kleiman I. INTRODUCTION The Symmetric Traveling Salesman Problem by Howard Kleiman Let M be an nxn symmetric cost matrix where n is even. We present an algorithm that extends the concept of admissible permutation

More information

The Chinese Remainder Theorem

The Chinese Remainder Theorem The Chinese Remainder Theorem 8-3-2014 The Chinese Remainder Theorem gives solutions to systems of congruences with relatively prime moduli The solution to a system of congruences with relatively prime

More information

Hamming Codes as Error-Reducing Codes

Hamming Codes as Error-Reducing Codes Hamming Codes as Error-Reducing Codes William Rurik Arya Mazumdar Abstract Hamming codes are the first nontrivial family of error-correcting codes that can correct one error in a block of binary symbols.

More information

Combinatorics in the group of parity alternating permutations

Combinatorics in the group of parity alternating permutations Combinatorics in the group of parity alternating permutations Shinji Tanimoto (tanimoto@cc.kochi-wu.ac.jp) arxiv:081.1839v1 [math.co] 10 Dec 008 Department of Mathematics, Kochi Joshi University, Kochi

More information

I.M.O. Winter Training Camp 2008: Invariants and Monovariants

I.M.O. Winter Training Camp 2008: Invariants and Monovariants I.M.. Winter Training Camp 2008: Invariants and Monovariants n math contests, you will often find yourself trying to analyze a process of some sort. For example, consider the following two problems. Sample

More information

Fifteen puzzle. Sasha Patotski. Cornell University November 16, 2015

Fifteen puzzle. Sasha Patotski. Cornell University November 16, 2015 Fifteen puzzle. Sasha Patotski Cornell University ap744@cornell.edu November 16, 2015 Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 1 / 7 Last time The permutation group S n is

More information

Launchpad Maths. Arithmetic II

Launchpad Maths. Arithmetic II Launchpad Maths. Arithmetic II LAW OF DISTRIBUTION The Law of Distribution exploits the symmetries 1 of addition and multiplication to tell of how those operations behave when working together. Consider

More information

Extending the Sierpinski Property to all Cases in the Cups and Stones Counting Problem by Numbering the Stones

Extending the Sierpinski Property to all Cases in the Cups and Stones Counting Problem by Numbering the Stones Journal of Cellular Automata, Vol. 0, pp. 1 29 Reprints available directly from the publisher Photocopying permitted by license only 2014 Old City Publishing, Inc. Published by license under the OCP Science

More information

In Response to Peg Jumping for Fun and Profit

In Response to Peg Jumping for Fun and Profit In Response to Peg umping for Fun and Profit Matthew Yancey mpyancey@vt.edu Department of Mathematics, Virginia Tech May 1, 2006 Abstract In this paper we begin by considering the optimal solution to a

More information

Digital Systems Principles and Applications TWELFTH EDITION. 3-3 OR Operation With OR Gates. 3-4 AND Operations with AND gates

Digital Systems Principles and Applications TWELFTH EDITION. 3-3 OR Operation With OR Gates. 3-4 AND Operations with AND gates Digital Systems Principles and Applications TWELFTH EDITION CHAPTER 3 Describing Logic Circuits Part -2 J. Bernardini 3-3 OR Operation With OR Gates An OR gate is a circuit with two or more inputs, whose

More information

NOT QUITE NUMBER THEORY

NOT QUITE NUMBER THEORY NOT QUITE NUMBER THEORY EMILY BARGAR Abstract. Explorations in a system given to me by László Babai, and conclusions about the importance of base and divisibility in that system. Contents. Getting started

More information

CRACKING THE 15 PUZZLE - PART 4: TYING EVERYTHING TOGETHER BEGINNERS 02/21/2016

CRACKING THE 15 PUZZLE - PART 4: TYING EVERYTHING TOGETHER BEGINNERS 02/21/2016 CRACKING THE 15 PUZZLE - PART 4: TYING EVERYTHING TOGETHER BEGINNERS 02/21/2016 Review Recall from last time that we proved the following theorem: Theorem 1. The sign of any transposition is 1. Using this

More information

Solutions to Problem Set 6 - Fall 2008 Due Tuesday, Oct. 21 at 1:00

Solutions to Problem Set 6 - Fall 2008 Due Tuesday, Oct. 21 at 1:00 18.781 Solutions to Problem Set 6 - Fall 008 Due Tuesday, Oct. 1 at 1:00 1. (Niven.8.7) If p 3 is prime, how many solutions are there to x p 1 1 (mod p)? How many solutions are there to x p 1 (mod p)?

More information

LAMC Beginners Circle April 27, Oleg Gleizer. Warm-up

LAMC Beginners Circle April 27, Oleg Gleizer. Warm-up LAMC Beginners Circle April 27, 2014 Oleg Gleizer oleg1140@gmail.com Warm-up Problem 1 Take a two-digit number and write it down three times to form a six-digit number. For example, the two-digit number

More information

Solitaire Games. MATH 171 Freshman Seminar for Mathematics Majors. J. Robert Buchanan. Department of Mathematics. Fall 2010

Solitaire Games. MATH 171 Freshman Seminar for Mathematics Majors. J. Robert Buchanan. Department of Mathematics. Fall 2010 Solitaire Games MATH 171 Freshman Seminar for Mathematics Majors J. Robert Buchanan Department of Mathematics Fall 2010 Standard Checkerboard Challenge 1 Suppose two diagonally opposite corners of the

More information

AwesomeMath Admission Test A

AwesomeMath Admission Test A 1 (Before beginning, I d like to thank USAMTS for the template, which I modified to get this template) It would be beneficial to assign each square a value, and then make a few equalities. a b 3 c d e

More information

Grade 7/8 Math Circles. Visual Group Theory

Grade 7/8 Math Circles. Visual Group Theory Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 7/8 Math Circles October 25 th /26 th Visual Group Theory Grouping Concepts Together We will start

More information

The Four Numbers Game

The Four Numbers Game University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2007 The Four Numbers Game Tina Thompson University

More information

Math236 Discrete Maths with Applications

Math236 Discrete Maths with Applications Math236 Discrete Maths with Applications P. Ittmann UKZN, Pietermaritzburg Semester 1, 2012 Ittmann (UKZN PMB) Math236 2012 1 / 43 The Multiplication Principle Theorem Let S be a set of k-tuples (s 1,

More information