maps 1 to 5. Similarly, we compute (1 2)(4 7 8)(2 1)( ) = (1 5 8)(2 4 7).

Similar documents
Notes on the symmetric group

Algebra homework 8 Homomorphisms, isomorphisms

Abstract Algebra Solution of Assignment-1

Permutation Factorizations and Prime Parking Functions

Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem

THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET

Lie Algebras and Representation Theory Homework 7

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

3 The Model Existence Theorem

CATEGORICAL SKEW LATTICES

Quadrant marked mesh patterns in 123-avoiding permutations

Chapter 4. Cardinal Arithmetic.

A Property Equivalent to n-permutability for Infinite Groups

Palindromic Permutations and Generalized Smarandache Palindromic Permutations

GUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv: v1 [math.lo] 25 Mar 2019

COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS

arxiv: v1 [math.co] 31 Mar 2009

A relation on 132-avoiding permutation patterns

Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF

THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES

Yao s Minimax Principle

On Packing Densities of Set Partitions

Gödel algebras free over finite distributive lattices

The Sorting Index and Permutation Codes. Abstract

Laurence Boxer and Ismet KARACA

Introduction to Priestley duality 1 / 24

Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals

Comparing Partial Rankings

4 Martingales in Discrete-Time

The Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.

On the smallest abundant number not divisible by the first k primes

ABSTRACT GENERALIZING THE FUTURAMA THEOREM. The 2010 episode of Futurama titled The Prisoner of Benda centers

Math 167: Mathematical Game Theory Instructor: Alpár R. Mészáros

A Combinatorial Proof for the Circular Chromatic Number of Kneser Graphs

Game Theory Fall 2003

LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS

6.207/14.15: Networks Lecture 10: Introduction to Game Theory 2

Fair semigroups. Valdis Laan. University of Tartu, Estonia. (Joint research with László Márki) 1/19

A Decentralized Learning Equilibrium

Philipp Moritz Lücke

Catalan functions and k-schur positivity

École normale supérieure, MPRI, M2 Year 2007/2008. Course 2-6 Abstract interpretation: application to verification and static analysis P.

A Translation of Intersection and Union Types

On the h-vector of a Lattice Path Matroid

Cardinal arithmetic: The Silver and Galvin-Hajnal Theorems

Asymptotic Notation. Instructor: Laszlo Babai June 14, 2002

The illustrated zoo of order-preserving functions

Lecture Quantitative Finance Spring Term 2015

Mixed Strategies. Samuel Alizon and Daniel Cownden February 4, 2009

Classifying Descents According to Parity

On the Number of Permutations Avoiding a Given Pattern

PARTITIONS OF 2 ω AND COMPLETELY ULTRAMETRIZABLE SPACES

V. Fields and Galois Theory

arxiv: v1 [math.co] 6 Oct 2009

Math-Stat-491-Fall2014-Notes-V

On Packing Densities of Set Partitions

arxiv: v1 [cs.dm] 4 Jan 2012

NEW PERMUTATION CODING AND EQUIDISTRIBUTION OF SET-VALUED STATISTICS. Dominique Foata and Guo-Niu Han

A DNC function that computes no effectively bi-immune set

Optimal Allocation of Policy Limits and Deductibles

Interpolation of κ-compactness and PCF

WEIGHTED SUM OF THE EXTENSIONS OF THE REPRESENTATIONS OF QUADRATIC FORMS

TEST 1 SOLUTIONS MATH 1002

Math 546 Homework Problems. Due Wednesday, January 25. This homework has two types of problems.

2. The ultrapower construction

Best response cycles in perfect information games

4: SINGLE-PERIOD MARKET MODELS

κ-bounded Exponential-Logarithmic Power Series Fields

Long-Term Values in MDPs, Corecursively

Received May 27, 2009; accepted January 14, 2011

Non replication of options

Handout 4: Deterministic Systems and the Shortest Path Problem

An effective perfect-set theorem

START HERE: Instructions. 1 Exponential Family [Zhou, Manzil]

arxiv:math/ v1 [math.lo] 15 Jan 1991

ECON 214 Elements of Statistics for Economists 2016/2017

ADDING A LOT OF COHEN REALS BY ADDING A FEW II. 1. Introduction

Discrete Mathematics for CS Spring 2008 David Wagner Final Exam

arxiv: v1 [math.lo] 24 Feb 2014

TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC

being saturated Lemma 0.2 Suppose V = L[E]. Every Woodin cardinal is Woodin with.

Covering properties of derived models

On the Pentagon Relations of Valued Quivers

CS792 Notes Henkin Models, Soundness and Completeness

Lecture 22. Survey Sampling: an Overview

A HIERARCHY OF RAMSEY-LIKE CARDINALS

Tutorial 6. Sampling Distribution. ENGG2450A Tutors. 27 February The Chinese University of Hong Kong 1/6

arxiv: v1 [math.co] 8 Nov 2017

Pakes (1986): Patents as Options: Some Estimates of the Value of Holding European Patent Stocks

AN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS

Course Handouts - Introduction ECON 8704 FINANCIAL ECONOMICS. Jan Werner. University of Minnesota

1 Online Problem Examples

Generalization by Collapse

On the action of the absolute Galois group on triangle curves

The rth moment of a real-valued random variable X with density f(x) is. x r f(x) dx

X i = 124 MARTINGALES

Modes of Convergence

INFLATION OF FINITE LATTICES ALONG ALL-OR-NOTHING SETS TRISTAN HOLMES J. B. NATION

Chapter 10: Mixed strategies Nash equilibria, reaction curves and the equality of payoffs theorem

Transcription:

Math 430 Dr. Songhao Li Spring 2016 HOMEWORK 3 SOLUTIONS Due 2/15/16 Part II Section 9 Exercises 4. Find the orbits of σ : Z Z defined by σ(n) = n + 1. Solution: We show that the only orbit is Z. Let i, j Z. Then j i Z and σ j i (i) = i + (j i) = j, and thus σ has only one orbit. 5. Find the orbits of σ : Z Z defined by σ(n) = n + 2. Solution: We will show that the orbits of σ are 2Z and 2Z + 1, the even and odd integers respectively. Let 2i, 2j 2Z. Then 2j 2i = 2(j i) 2Z, and thus σ j i (2i) = 2i + 2(j i) = 2j. Similarly, suppose 2p+1, 2q+1 2Z+1. Then (2q+1) (2p+1) = 2(q p) 2Z, and so σ q p (2p+1) = 2p+1+2(q p) = 2q+1. Thus, 2Z and 2Z + 1 are the orbits of σ. 6. Find the orbits of σ : Z Z defined by σ(n) = n 3. Solution: Similarly to the prior two problems, the orbits of σ are 3Z, 3Z + 1, and 3Z + 2. 9. Compute the following product of permutations in S 8 : (1 2)(4 7 8)(2 1)(7 2 8 1 5). Solution: Since (7 2 8 1 5) maps 1 to 5, (2 1) fixes 5, (4 7 8) fixes 5, and (1 2) fixes 5, (1 2)(4 7 8)(2 1)(7 2 8 1 5) maps 1 to 5. Similarly, we compute (1 2)(4 7 8)(2 1)(7 2 8 1 5) = (1 5 8)(2 4 7). 1

( ) 1 2 3 4 5 6 7 8 12. Express as a product of disjoint cycles and as a product of transpositions. 3 1 4 7 2 5 8 6 Solution: Since 1 2 3 4 5 6 7 8 = (1 3 4 7 8 6 5 2) is a cycle, we directly compute that 3 1 4 7 2 5 8 6 (1 3 4 7 8 6 5 2) = (1 2)(1 5)(1 6)(1 8)(1 7)(1 4)(1 3) 16. Find the maximum possible value for an element of S 7. N Proof. We first show general result that will be useful in its own right: if γ I is a product of disjoint cycles of length l I, then N γ I = lcm(l 1,..., l N ). Let l = lcm(l 1,..., l N ). Then l = l I d I for some d I N. Then, ( N ) l since disjoint cycles commute, γ I = N γi l = N (γ l I I )d I = N ι d I = ι. Suppose n < l. Then n is not a common multiple of l 1,..., l N. Without loss of generality, suppose n is not a multiple of l 1. Then, by the Division Algorithm, n = ql 1 + r for some q, r Z with 0 < r < l i. Let i γ 1. Then i γ I for I 1 since the γ I are disjoint, and thus ( N γ I ) n (i) = γ n 1 (i) = γ ql1+r 1 (i) = (γ l1 1 )q γ r 1(i) = ι q γ r 1(i) = γ r 1(i) ( N ) n Since γ 1 is a cycle and 0 < r < l 1, γ 1 (i) i; in particular, γ I ι. Thus, N γ I = lcm(l 1,..., l N ). Now, by Theorem 9.8, we can always write a given σ S n as a product of disjoint cycles N γ I. Since σ S n, we must have N cannot permute them multiples times). that N l I n if the γ I are disjoint cycles (we only have n letters to permute, and Since every natural number is a multiple of 1, we may assume l I = n without changing the value of lcm(l 1,..., l N ) (perhaps by thinking of the fixed elements as 1-cycles ). Thus, finding an element of maximal order in S n amounts to finding a partition of n (an unordered list of natural numbers n 1,..., n M such that M n J = n) with maximal least common multiple of the members of the partition. Then any product of cycles of these lengths will have maximal order. For example, in S 7, we need a list of natural numbers {n 1,..., n m } such that m n i = 7 and lcm(n 1,..., n m ) is as high as possible. J=1 2

Here, we write each partition of 7 along with the least common multiple of its members: 1 + 1 + 1 + 1 + 1 + 1 + 1 = 7; lcm(1, 1, 1, 1, 1, 1, 1) = 1 2 + 1 + 1 + 1 + 1 + 1 = 7; lcm(2, 1, 1, 1, 1, 1) = 2 2 + 2 + 1 + 1 + 1 = 7; lcm(2, 2, 1, 1, 1) = 2 2 + 2 + 2 + 1 = 7; lcm(2, 2, 2, 1) = 2 3 + 1 + 1 + 1 + 1 = 7; lcm(3, 1, 1, 1, 1) = 3 3 + 2 + 1 + 1 = 7; lcm(3, 2, 1, 1) = 6 3 + 2 + 2 = 7; lcm(3, 2, 2) = 6 4 + 1 + 1 + 1 = 7; lcm(4, 1, 1, 1) = 4 4 + 2 + 1 = 7; lcm(4, 2, 1) = 4 4 + 3 = 7; lcm(4, 3) = 12 5 + 1 + 1 = 7; lcm(5, 1, 1) = 5 5 + 2 = 7; lcm(5, 2) = 10 6 + 1 = 7; lcm(6, 1) = 6 7 = 7; lcm(7) = 7 Thus, any product of two disjoint cycles, one of length 4 and one of length 3 (say, (1 2 3 4)(5 6 7)) will produce an element of order lcm(4, 3) = 12, and this is the maximal possible order for an element of S 7. In general, it is not easy to determine this maximal number, as the number of partitions of n grows quickly as n gets larger. The function that associates this maximal number to n is known as Landau s function. 3

27. Suppose n N such that n 3. Show that every σ S n can be written as a product of at most n 1 transpositions. If σ is not a cycle, show that σ can be written as a product of at most n 2 transpositions. Thank you to Justin Finkel and Renee Mirka for correcting a bounding error I did not catch on my initial attempted proof for this problem. Proof. Suppose σ S n. If σ = ι, then σ = (1 2)(1 2) is the desired product. Otherwise, by Theorem 9.8 we can write σ = m γ i, where the γ i are disjoint cycles and m N. Note that, since the cycles γ i are disjoint, the sum of the lengths l i of the cycles γ i must be at most n, and so m l i n (in short, none of the numbers 1, 2,..., n is written more than once in the cycle decomposition). If γ i is of length l i, then γ i = li 1 τ ji, j [ ] where each τ ji is a transposition, as in Definition 9.11. Thus, σ = m γ i = m l i 1 τ ji gives σ as a product j ( ) of (l i 1) = l i m n m n 1 transpositions. As above, if σ is not a cycle, then m 2, and thus we have written σ as a product of ( ) (l i 1) = l i m n m n 2 transpositions. In fact, if σ is a cycle of length m n 1, then we can write σ as a product of at most m 1 n 2 transpositions as in Definition 9.11, i.e. only cycles of length n require n 1 transpositions. 29. Show that for every subgroup H of S n with n 2, either all the permutations of H are even or exactly half of them are even. Proof. Suppose H contains an odd permutation, say ω = 2m+1 τ i for m N and some transpositions τ i. Set H e = H A n and H o = H \ H e. Define the function S : H e H o by S(ɛ) = ω ɛ. If ɛ H e, then ɛ is even, and hence λ ɛ is odd, and so S does in fact map H e into H o. We will now show that S is a bijection, which will yield the result. Suppose S(ɛ) = S(ε). Then, ω ɛ = ω ε, and thus ɛ = ε by cancellation. Thus, S is injective. Let σ H o. The, since σ is odd and ω is odd, ω -1 σ is even, and hence in H e since ω, σ H. Then S(ω -1 σ) = ω (ω -1 σ) = (ω ω -1 ) σ = ι σ = σ, and so S is surjective. Then S is a bijection, and therefore H e = H o, i.e. H has exactly as many even permutations as odd permutations. Therefore, either all permutations in H are even or exactly half of them are even. 32. Let A be an infinite set, and K the set of all σ S A such that {a A σ(a) a} 50. Is K a subgroup of S A? Solution: We will show that K is not a subgroup of S A. Let a 1,..., a 100 A. Then (a 1 a 2... a 50 ) and (a 51 a 52... a 100 ) are in K, but their product (a 1 a 2... a 50 )(a 51 a 52... a 100 ) is not since (a 1 a 2... a 50 )(a 51 a 52... a 100 ) moves 100 > 50 elements. 4

34. Show that if σ is a cycle of odd length, then σ 2 is a cycle. Proof. Let n 3 (so that there are odd cycles in S n ), and suppose σ = (a 1 a 2 a 2m+1 ) for some m N and distinct a i {1, 2,..., n}. Then σ 2 = (a 1 a 3 a 2m 1 a 2m+1 a 2 a 4 a 2m 2 a 2m ) is a cycle. 39. Show that S n = (1 2), (1 2 n 1 n). Proof. By Corollary 9.12, it suffices to show that for each transpositions (i j) S n, (i j) (1 2), (1 2 n 1 n). Towards this, we note that for 1 i < j n, (i j) = (i i + 1)(i + 1 i + 2) (j 2 j 1)(j 1 j)(j 2 j 1) (i + 1 i + 2)(i i + 1). Thus, to generate the transpositions, it is enough to generate the transpositions of the form (k k + 1) for 1 k n 1. Noting that (1 2 n) k 1 (2) = k + 1 and (1 2 n) n k+1 (k) = 1, we have (1 2 n) k 1 (1 2)(1 2 n) n k+1 (k) = k + 1 Similarly, since (1 2 n) k 1 (1) = k and (1 2 n) n k+1 (k + 1) = 2, we have (1 2 n) k 1 (1 2)(1 2 n) n k+1 (k + 1) = k For all other l k, (1 2 n) n k+1 (l) 1, 2, and so (1 2) fixes (1 2 n) n k+1 (l). Then (1 2 n) k 1 (1 2)(1 2 n) n k+1 (l) = (1 2 n) k 1( ) (1 2 n) n k+1 (l) = (1 2 n) n (l) = ι(l) = l and so (1 2 n) k 1 (1 2)(1 2 n) n k+1 = (k k + 1). Thus, every (k k + 1) (1 2), (1 2 n). Then every (i j) (1 2), (1 2 n), and hence S n = (1 2), (1 2 n) by Corollary 9.12. 5