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

Similar documents
Lecture 3 Presentations and more Great Groups

LECTURE 8: DETERMINANTS AND PERMUTATIONS

THE SIGN OF A PERMUTATION

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

Lecture 2.3: Symmetric and alternating groups

Determinants, Part 1

1111: Linear Algebra I

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

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

REU 2006 Discrete Math Lecture 3

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

Chapter 6.1. Cycles in Permutations

The Sign of a Permutation Matt Baker

1.6 Congruence Modulo m

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

ELEMENTS OF NUMBER THEORY & CONGRUENCES. Lagrange, Legendre and Gauss. Mth Mathematicst

The Math Behind Futurama: The Prisoner of Benda

Permutations. = f 1 f = I A

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

Permutation Groups. Definition and Notation

Math 3560 HW Set 6. Kara. October 17, 2013

Combinatorics in the group of parity alternating permutations

Harmonic numbers, Catalan s triangle and mesh patterns

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

16 Alternating Groups

p 1 MAX(a,b) + MIN(a,b) = a+b n m means that m is a an integer multiple of n. Greatest Common Divisor: We say that n divides m.

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

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

A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA

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

Solving Megaminx puzzle With Group Theory 2018 S. Student Gerald Jiarong Xu Deerfield Academy 7 Boyden lane Deerfield MA Phone: (917) E

SYMMETRIES OF FIBONACCI POINTS, MOD m

A STUDY OF EULERIAN NUMBERS FOR PERMUTATIONS IN THE ALTERNATING GROUP

THE 15-PUZZLE (AND RUBIK S CUBE)

Dyck paths, standard Young tableaux, and pattern avoiding permutations

MATH 135 Algebra, Solutions to Assignment 7

ON SOME PROPERTIES OF PERMUTATION TABLEAUX

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

SOLUTIONS TO PROBLEM SET 5. Section 9.1

Math 412: Number Theory Lecture 6: congruence system and

Math 127: Equivalence Relations

To be able to determine the quadratic character of an arbitrary number mod p (p an odd prime), we. The first (and most delicate) case concerns 2

Ma/CS 6a Class 16: Permutations

GLOSSARY. a * (b * c) = (a * b) * c. A property of operations. An operation * is called associative if:

ALGEBRA: Chapter I: QUESTION BANK

THE ERDŐS-KO-RADO THEOREM FOR INTERSECTING FAMILIES OF PERMUTATIONS

COMPSCI 575/MATH 513 Combinatorics and Graph Theory. Lecture #30: The Cycle Index (Tucker Section 9.3) David Mix Barrington 30 November 2016

International Journal of Combinatorial Optimization Problems and Informatics. E-ISSN:

Applications of Fermat s Little Theorem and Congruences

Math 255 Spring 2017 Solving x 2 a (mod n)

PRIMES 2017 final paper. NEW RESULTS ON PATTERN-REPLACEMENT EQUIVALENCES: GENERALIZING A CLASSICAL THEOREM AND REVISING A RECENT CONJECTURE Michael Ma

EXPLAINING THE SHAPE OF RSK

FREDRIK TUFVESSON ELECTRICAL AND INFORMATION TECHNOLOGY

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

Symmetric Permutations Avoiding Two Patterns

Solutions for the Practice Questions

5 Symmetric and alternating groups

Number Theory - Divisibility Number Theory - Congruences. Number Theory. June 23, Number Theory

Simple permutations and pattern restricted permutations

On Hultman Numbers. 1 Introduction

ON SOME PROPERTIES OF PERMUTATION TABLEAUX

MAT Modular arithmetic and number theory. Modular arithmetic

The congruence relation has many similarities to equality. The following theorem says that congruence, like equality, is an equivalence relation.

Three of these grids share a property that the other three do not. Can you find such a property? + mod

Pattern Avoidance in Unimodal and V-unimodal Permutations

Crossings and patterns in signed permutations

Reading 14 : Counting

A FAMILY OF t-regular SELF-COMPLEMENTARY k-hypergraphs. Communicated by Behruz Tayfeh Rezaie. 1. Introduction

Functions of several variables

Discrete Math Class 4 ( )

Asymptotic behaviour of permutations avoiding generalized patterns

Discrete Mathematics with Applications MATH236

arxiv: v1 [math.co] 11 Jul 2016

arxiv: v1 [math.co] 16 Aug 2018

NUMBER THEORY AMIN WITNO

Edge-disjoint tree representation of three tree degree sequences

SOLUTIONS FOR PROBLEM SET 4

Two congruences involving 4-cores

The mathematics of the flip and horseshoe shuffles

A combinatorial proof for the enumeration of alternating permutations with given peak set

LECTURE 7: POLYNOMIAL CONGRUENCES TO PRIME POWER MODULI

Generating indecomposable permutations

Fast Sorting and Pattern-Avoiding Permutations

PERMUTATIONS AS PRODUCT OF PARALLEL TRANSPOSITIONS *

The Chinese Remainder Theorem

The Classification of Quadratic Rook Polynomials of a Generalized Three Dimensional Board

arxiv: v2 [math.co] 16 Dec 2014

1 = 3 2 = 3 ( ) = = = 33( ) 98 = = =

Solutions to Exercises Chapter 6: Latin squares and SDRs

Quotients of the Malvenuto-Reutenauer algebra and permutation enumeration

Math236 Discrete Maths with Applications

Automedians sets of permutation: extended abstract

From Fibonacci to Catalan permutations

Distribution of Primes

Cycle-up-down permutations

Equivalence Classes of Permutations Modulo Replacements Between 123 and Two-Integer Patterns

132-avoiding Two-stack Sortable Permutations, Fibonacci Numbers, and Pell Numbers

Orthomorphisms of Boolean Groups. Nichole Louise Schimanski. A dissertation submitted in partial fulfillment of the requirements for the degree of

Number Theory/Cryptography (part 1 of CSC 282)

Goldbach Conjecture (7 th june 1742)

Transcription:

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 of {1, 2,..., n} is called the symmetric group on n symbols and denoted S(n). Theorem Any permutation can be expressed as a product of disjoint cycles. This cycle decomposition is unique up to rearrangement of the cycles involved. Theorem Let π be a permutation. Then there is a positive integer m such that π m = id. The order of a permutation π, denoted o(π), is defined as the smallest positive integer m such that π m = id. Theorem Let π S(n) and suppose that π = σ 1 σ 2...σ k is a decomposition of π as a product of disjoint cycles. Then the order of π is the least common multiple of the lengths of cycles σ 1,...,σ k.

Sign of a permutation Theorem 1 (i) Any permutation is a product of transpositions. (ii) If π = τ 1 τ 2...τ n = τ 1τ 2...τ m, where τ i,τ j are transpositions, then the numbers n and m are of the same parity. A permutation π is called even if it is a product of an even number of transpositions, and odd if it is a product of an odd number of transpositions. The sign sgn(π) of the permutation π is defined to be +1 if π is even, and 1 if π is odd. Theorem 2 (i) sgn(πσ) = sgn(π) sgn(σ) for any π, σ S(n). (ii) sgn(π 1 ) = sgn(π) for any π S(n). (iii) sgn(id) = 1. (iv) sgn(τ) = 1 for any transposition τ. (v) sgn(σ) = ( 1) r 1 for any cycle σ of length r.

Let π S(n) and i, j be integers, 1 i < j n. We say that the permutation π preserves order of the pair (i, j) if π(i) < π(j). Otherwise π makes an inversion. Denote by N(π) the number of inversions made by the permutation π. Lemma 1 Let τ, π S(n) and suppose that τ is an adjacent transposition, τ = (k k+1). Then N(τπ) N(π) = 1. Proof: For every pair (i, j), 1 i < j n, let us compare the order of pairs π(i), π(j) and τ π(i), τ π(j). We observe that the order differs exactly for one pair, when {π(i), π(j)} = {k, k+1}. The lemma follows. Lemma 2 Let π S(n) and τ 1,τ 2,...,τ k be adjacent transpositions. Then (i) for any π S(n) the numbers k and N(τ 1 τ 2...τ k π) N(π) are of the same parity, (ii) the numbers k and N(τ 1 τ 2...τ k ) are of the same parity. Sketch of the proof: (i) follows from Lemma 1 by induction on k. (ii) is a particular case of part (i), when π = id.

Lemma 3 (i) Any cycle of length r is a product of r 1 transpositions. (ii) Any transposition is a product of an odd number of adjacent transpositions. Proof: (i) (x 1 x 2... x r ) = (x 1 x 2 )(x 2 x 3 )(x 3 x 4 )...(x r 1 x r ). (ii) (k k+r) = σ 1 (k k+1)σ, where σ = (k+1 k+2... k+r). By the above, σ = (k+1 k+2)(k+2 k+3)...(k+r 1 k+r) and σ 1 = (k+r k+r 1)...(k+3 k+2)(k+2 k+1). Theorem (i) Any permutation is a product of transpositions. (ii) If π = τ 1 τ 2...τ k, where τ i are transpositions, then the numbers k and N(π) are of the same parity. Proof: (i) Any permutation is a product of disjoint cycles. By Lemma 3, any cycle is a product of transpositions. (ii) By Lemma 3, each of τ 1,τ 2,...,τ k is a product of an odd number of adjacent transpositions. Hence π =τ 1τ 2...τ m, where τ i are adjacent transpositions and number m is of the same parity as k. By Lemma 2, m has the same parity as N(π).

Definition of determinant Definition. det (a) = a, a b c d = ad bc, a 11 a 12 a 13 a 21 a 22 a 23 a 31 a 32 a 33 = a 11a 22 a 33 + a 12 a 23 a 31 + a 13 a 21 a 32 a 13 a 22 a 31 a 12 a 21 a 33 a 11 a 23 a 32. If A = (a ij ) is an n n matrix then det A = sgn(π) a 1,π(1) a 2,π(2)... a n,π(n), π S(n) where π runs over all permutations of {1, 2,..., n}.

Alternating group Given an integer n 2, the alternating group on n symbols, denoted A n or A(n), is the set of all even permutations in the symmetric group S(n). Theorem (i) For any two permutations π, σ A(n), the product πσ is also in A(n). (ii) The identity function id is in A(n). (iii) For any permutation π A(n), the inverse π 1 is in A(n). In other words, the product of even permutations is even, the identity function is an even permutation, and the inverse of an even permutation is even. Theorem The alternating group A(n) has n!/2 elements. Proof: Consider the function F : A(n) S(n) \ A(n) given by F(π) = (1 2)π. One can observe that F is bijective. It follows that the sets A(n) and S(n) \ A(n) have the same number of elements.

Examples. The alternating group A(3) has 3 elements: the identity function and two cycles of length 3, (1 2 3) and (1 3 2). The alternating group A(4) has 12 elements of the following cycle shapes: id, (1 2 3), and (1 2)(3 4). The alternating group A(5) has 60 elements of the following cycle shapes: id, (1 2 3), (1 2)(3 4), and (1 2 3 4 5).

Abstract groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and h of G, g h is an element of G; (G2: associativity) (g h) k = g (h k) for all g, h, k G; (G3: existence of identity) there exists an element e G, called the identity (or unit) of G, such that e g = g e = g for all g G; (G4: existence of inverse) for every g G there exists an element h G, called the inverse of g, such that g h = h g = e. The group (G, ) is said to be commutative (or Abelian) if it satisfies an additional axiom: (G5: commutativity) g h = h g for all g, h G.

Basic examples. Real numbers R with addition. (G1) x, y R = x + y R (G2) (x + y) + z = x + (y + z) (G3) the identity element is 0 as x + 0 = 0 + x = x (G4) the inverse of x is x as x + ( x) = ( x) + x = 0 (G5) x + y = y + x Nonzero real numbers R \ {0} with multiplication. (G1) x 0 and y 0 = xy 0 (G2) (xy)z = x(yz) (G3) the identity element is 1 as x1 = 1x = x (G4) the inverse of x is x 1 as xx 1 = x 1 x = 1 (G5) xy = yx

The two basic examples give rise to two kinds of notation for a general group (G, ). Multiplicative notation: We think of the group operation as some kind of multiplication, namely, a b is denoted ab, the identity element is denoted 1, the inverse of g is denoted g 1. Additive notation: We think of the group operation as some kind of addition, namely, a b is denoted a + b, the identity element is denoted 0, the inverse of g is denoted g. Remark. The additive notation is used only for commutative groups.

More examples Integers Z with addition. Z n, i.e., congruence classes modulo n, with addition. G n, i.e., invertible congruence classes modulo n, with multiplication. Permutations S(n) with composition (= multiplication). Even permutations A(n) with multiplication. Any vector space V with addition. Invertible n n matrices with multiplication.