Algebra homework 8 Homomorphisms, isomorphisms

Size: px
Start display at page:

Download "Algebra homework 8 Homomorphisms, isomorphisms"

Transcription

1 MATH-UA T.A. Louis Guigo Algebra homework 8 Homomorphisms, isomorphisms For every n 1 we denote by S n the n-th symmetric group. Exercise 1. Consider the following permutations: ( ) ( σ 1 =, σ = Compute σ 1 σ 3. For all k {1... 7}, σ 1 σ 3 (k) = σ 1 (σ 3 (k)). ( ) σ 1 σ 3 = ) ( , σ 3 = Recall that both σ 1 and σ 3 can be seen as elements of S 8 by putting σ 1 (8) = σ 3 (8) = 8. Compute the products σ 1 σ 2 and σ 2 σ 3 in S 8. ( ) σ 1 σ 2 = And: σ 2 σ 3 = ( ) 3. Decompose σ 1, σ 2 and σ 3 into products of disjoint cycles, and then write each of them as a product of transpositions. To answer this question, you can iterate σ until you complete a cycle. Inductively, iterate σ over an element that is not within the support of the previous cycles obtained. Do this algorithm until there is no element remaining (except fixed points). To get the decomposition into a product of transpositions, you can use the previous decomposition into a product of cycle, and decompose each cycle into a product of transpositions. σ 1 = (165)(234) = (16)(65)(23)(34). σ 2 = (1256)(478) = (12)(25)(56)(47)(78). σ 3 = ( ) = (14)(47)(72)(23)(36)(65). Exercise 2. Write the following permutations as products of disjoint cycles: ). 1

2 1. (1, 2, 7, 5)(2, 6, 1) This decomposition is not good since 1 and 2 are common elements in each factor of this product of cycle. As previously, every element that doesn t appear in this decomposition is a fixed point, so you just need to compute images of the element in the support of these cycles. You can use the previous algorithm. (175)(26) 2. (1, 5, 2)(2, 3)(5, 7)(1, 2, 3) Same technique, you should have: (13572) 3. (1, 3, 4) 100 There is a periodicity here, since (134) 3 = id. Because (mod 3), (134) 100 = (134) 4. (1, 3, 5, 6) 1 Observe that : (6531) = (1356) 1. Exercise 3. Let a 1,..., a k be distinct elements of {1,..., n}. Compute the inverse in S n of the cycle (a 1,..., a k ). The last question of the previous exercise can provide you with the intuition: (a 1... a k ) 1 = (a k... a 1 ) It is true since (a k... a 1 )(a 1... a k ) = (a 1... a k )(a k... a 1 ) = id (since elements in the support of the cycle is moved once and back to itself, and others are fixed points). Exercise 4. Compute the sets and E = {σ S 4, σ(1) = 3} F = {σ S 4, σ(2) = 2}. Are they subgroups of S 4? S 4 is composed of the following permutations (decomposed into products of disjoint cycles): The identity: id 2

3 2-cycles: (12), (13), (14), (23), (24), (34) Product of 2-cycles: (12)(34), (13)(24), (14)(23) 3-cycles: (123), (124), (132), (134), (142), (143), (234), (243) 4-cycles: (1234), (1243), (1324), (1342), (1423), (1432) Therefore: E = {(13), (13)(24), (132), (134), (1324), (1342)} F = {id, (13), (14), (34), (134), (143)} E can t be a subgroup of S 4 since it doesn t contain the identity. F is a subgroup of S 4, isomorphic to S 3. Indeed, it s a subset of S 4 containing the identity. It is stable by inversion since the inverse of the transpositions are themselves, and the two 3-cycles are inverse one of another. It is closed under composition. Exercise 5. Prove that if σ is a cycle of odd length, then σ 2 is also a cycle. Show that this is not true for cycles of even length by giving a counterexample. In fact it is a necessary and sufficient condition, for a length of cycle greater than or equal to 3. Let σ = (a 1 a 2... a 2k ). Then σ 2 = (a 1 a 3... a 2k 1 )(a 2 a 4... a 2k ). Conversely, assume that σ = (a 1 a 2... a 2k+1 ). It is not hard to see that σ 2 = (a 1 a 3... a 2k+1 a 2 a 4... a 2k ). These results can be proved by induction over the length of the cycle, for instance. But here, only the second implication was asked. A counterexample for a cycle of even length would be (1234), for which (1234) 2 = (13)(24), which is not a cycle. Exercise 6. Let σ S n. 1. Show that σ can be written as a product of at most n 1 transpositions. By theorem, there exist c 1,..., c k k disjoint cycles such that σ = c 1 c 2... c k. Since the cycles are disjoint, their lengths (n i for c i ) must add up to n (assuming that fixed points appear as trivial cycles in this decomposition). For any cycle in this decomposition, we have: (a 1 a 2... a ni ) = (a 1 a 2 )(a 2 a 3 )... (a ni 1a ni ). This is a decomposition in n i 1 transpositions. At the end of the day, if we perform this on each cycle of the product, σ can be decomposed into a product of k n=1 (n i 1) = n k n 1 transpositions. 3

4 2. Show that if σ is not a cycle, then σ can be written as a product of at most n 2 transpositions. If sigma is not a cycle k 2 in the previous proof, which shows that σ can be written as a product of at most n 2 transpositions. Exercise 7. Let σ = σ 1... σ k S n, where σ 1,..., σ k are disjoint cycles. Prove that the order of σ is the least common multiple of the lengths of the cycles σ 1,..., σ k. For this exercise, recall the crucial property that the order of a cycle is equal to its length. Let p be the order of σ. Note that, since disjoint cycles commute, we have σ p = σ p 1... σ p k. Let us show that for every i, the length of σ i divides p. Write σ i = (a 1,..., a m ) and write the Euclidean division of p by m: p = mq + r, where q, r are integers, 0 r < m. Then σ p i (a 1) = σ qm+r i (a 1 ) = (σi m ) q σi r (a }{{} 1 ) = a r+1. =id On the other hand, since the cycles σ 1,..., σ k are disjoint, none of the other cycles σ j, j i moves a 1 or a r+1, so have σ p (a 1 ) = a r+1. Since σ p is the identity, we have r = 0, so m indeed divides p. Thus, the order p of σ is indeed a common multiple of the lengths of the cycles σ 1,..., σ k. It remains to prove that it should be the smallest such multiple. For this, take any positive common multiple d of the lengths of the cycles σ 1,..., σ k. Them for any i, σ i is of order dividing d, so σi d = id. Then σ d = σ1 d... σk d = id. We therefore have proved equality between the sets and {positive integers d such that σ d = id} {positive common multiples of the lengths of σ 1,..., σ k }. This means that in particular the smallest elements of these sets, which are the order of σ and the least common multiple of the lengths of σ 1,..., σ k, respectively, are equal. Remark: note the similarity between this proof and the solution of exercise 7 of homework 5. Exercise Give a list of all possible orders of an element of S 4, then of S 5. According to the previous exercise, the order of a permutation only depends on the lengths of the cycles appearing in its decomposition into disjoint cycles. An element of S 4 is either the identity, or a transposition, or a product of two transpositions, or a cycle of length 3 or 4. Therefore, the possible orders are 1,2,3 or 4. In the same manner, elements of S 5 are of one of the following forms: cycle of length 5 (a, b, c, d, e), order 5 cycle of length 4 (a, b, c, d), order 4 cycle of length 3 (a, b, c), order 3 product of a cycle of length 3 and a transposition (a, b, c)(d, e), order lcm(3, 2) = 6 product of two transpositions (a, b)(c, d), order lcm(2, 2) = 2 transposition (a, b), order 2 identity id, order 1. 4

5 2. Show that an element of S 7 can t have order 8, 9 or 11. Assume σ S 7 has order 8. Then σ cannot be a cycle, because if it were a cycle, it would be of length 8, but S 7 only contains cycles of length at most 7. Therefore, we may write σ = σ 1... σ r as a product of disjoint cycles with r 2, each σ i being different from the identity. By exercise 7, we now that the orders of σ 1,..., σ r divide 8. Moreover, none of them can be equal to 8 because there are no cycles of length 8, nor to 1, because we assumed these cycles to be different from the identity. Therefore, these orders are equal to 2 or 4. But the least common multiple of 2 and 4 is 4, so σ should then be of order 4, a contradiction. Exactly the same argument applies to show that σ S 7 cannot be of order 9: It cannot be a cycle because S 7 does not contain any cycles of length 9. Therefore it is a product of at least two disjoint cycles, which have to be of length dividing 9 but different from 1 and 9. Thus, it is a product of cycles of length 3, but then it would be itself of order 3, a contradiction. The argument is even simpler to show that we don t have elements of order 11, because 11 is a prime number. 3. Give a list of all possible orders of an element of S 7. Possible decompositions into a product of disjoint cycles in S 7 are the following. (abcdef g), order 7 (abcdef), order 6 (abcde), order 5 (abcde)(f g), order 10 (abcd), order 4 (abcd)(ef g), order 12 (abcd)(ef), order 4 (abc), order 3 (abc)(def), order 3 (abc)(de), order 6 (abc)(de)(fg), order 6 (ab), order 2 (ab)(cd), order 2 (ab)(cd)(ef), order 2 id, order 1 Therefore, the possible orders are 1, 2, 3, 4, 5, 6, 7, 10 and 12. We are certain we didn t miss any possible orders because we proved 8,9 and 11 to be impossible in the previous question. 5

Notes on the symmetric group

Notes on the symmetric group Notes on the symmetric group 1 Computations in the symmetric group Recall that, given a set X, the set S X of all bijections from X to itself (or, more briefly, permutations of X) is group under function

More information

Abstract Algebra Solution of Assignment-1

Abstract Algebra Solution of Assignment-1 Abstract Algebra Solution of Assignment-1 P. Kalika & Kri. Munesh [ M.Sc. Tech Mathematics ] 1. Illustrate Cayley s Theorem by calculating the left regular representation for the group V 4 = {e, a, b,

More information

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

maps 1 to 5. Similarly, we compute (1 2)(4 7 8)(2 1)( ) = (1 5 8)(2 4 7). 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,

More information

A Property Equivalent to n-permutability for Infinite Groups

A Property Equivalent to n-permutability for Infinite Groups Journal of Algebra 221, 570 578 (1999) Article ID jabr.1999.7996, available online at http://www.idealibrary.com on A Property Equivalent to n-permutability for Infinite Groups Alireza Abdollahi* and Aliakbar

More information

Algebra and Number Theory Exercise Set

Algebra and Number Theory Exercise Set Algebra and Number Theory Exercise Set Kamil Niedzia lomski 1 Algebra 1.1 Complex Numbers Exercise 1. Find real and imaginary part of complex numbers (1) 1 i 2+i (2) (3 + 7i)( 3 + i) (3) ( 3+i)( 1+i 3)

More information

Palindromic Permutations and Generalized Smarandache Palindromic Permutations

Palindromic Permutations and Generalized Smarandache Palindromic Permutations arxiv:math/0607742v2 [mathgm] 8 Sep 2007 Palindromic Permutations and Generalized Smarandache Palindromic Permutations Tèmítópé Gbóláhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University,

More information

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Shlomo Hoory and Stefan Szeider Department of Computer Science, University of Toronto, shlomoh,szeider@cs.toronto.edu Abstract.

More information

Laurence Boxer and Ismet KARACA

Laurence Boxer and Ismet KARACA THE CLASSIFICATION OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we classify digital covering spaces using the conjugacy class corresponding to a digital covering space.

More information

The illustrated zoo of order-preserving functions

The illustrated zoo of order-preserving functions The illustrated zoo of order-preserving functions David Wilding, February 2013 http://dpw.me/mathematics/ Posets (partially ordered sets) underlie much of mathematics, but we often don t give them a second

More information

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

ABSTRACT GENERALIZING THE FUTURAMA THEOREM. The 2010 episode of Futurama titled The Prisoner of Benda centers ABSTRACT GENERALIZING THE FUTURAMA THEOREM The 2010 episode of Futurama titled The Prisoner of Benda centers around a machine that swaps the brains of any two people who use it. The problem is, once two

More information

Introduction to Priestley duality 1 / 24

Introduction to Priestley duality 1 / 24 Introduction to Priestley duality 1 / 24 2 / 24 Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive

More information

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

Math 546 Homework Problems. Due Wednesday, January 25. This homework has two types of problems. Math 546 Homework 1 Due Wednesday, January 25. This homework has two types of problems. 546 Problems. All students (students enrolled in 546 and 701I) are required to turn these in. 701I Problems. Only

More information

THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES

THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES FU LIU AND BRIAN OSSERMAN Abstract. We study pure-cycle Hurwitz spaces, parametrizing covers of the projective line having only one ramified point

More information

CATEGORICAL SKEW LATTICES

CATEGORICAL SKEW LATTICES CATEGORICAL SKEW LATTICES MICHAEL KINYON AND JONATHAN LEECH Abstract. Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most

More information

MATH 116: Material Covered in Class and Quiz/Exam Information

MATH 116: Material Covered in Class and Quiz/Exam Information MATH 116: Material Covered in Class and Quiz/Exam Information August 23 rd. Syllabus. Divisibility and linear combinations. Example 1: Proof of Theorem 2.4 parts (a), (c), and (g). Example 2: Exercise

More information

On the Number of Permutations Avoiding a Given Pattern

On the Number of Permutations Avoiding a Given Pattern On the Number of Permutations Avoiding a Given Pattern Noga Alon Ehud Friedgut February 22, 2002 Abstract Let σ S k and τ S n be permutations. We say τ contains σ if there exist 1 x 1 < x 2

More information

A relation on 132-avoiding permutation patterns

A relation on 132-avoiding permutation patterns Discrete Mathematics and Theoretical Computer Science DMTCS vol. VOL, 205, 285 302 A relation on 32-avoiding permutation patterns Natalie Aisbett School of Mathematics and Statistics, University of Sydney,

More information

Swaps and Inversions

Swaps and Inversions Swaps and Inversions I explained in class why every permutation can be obtained as a product [composition] of swaps and that there are multiple ways to do this. In class, I also mentioned, without explaining

More information

Lecture 2: The Simple Story of 2-SAT

Lecture 2: The Simple Story of 2-SAT 0510-7410: Topics in Algorithms - Random Satisfiability March 04, 2014 Lecture 2: The Simple Story of 2-SAT Lecturer: Benny Applebaum Scribe(s): Mor Baruch 1 Lecture Outline In this talk we will show that

More information

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

NEW PERMUTATION CODING AND EQUIDISTRIBUTION OF SET-VALUED STATISTICS. Dominique Foata and Guo-Niu Han April 9, 2009 NEW PERMUTATION CODING AND EQUIDISTRIBUTION OF SET-VALUED STATISTICS Dominique Foata and Guo-Niu Han ABSTRACT. A new coding for permutations is explicitly constructed and its association

More information

Lie Algebras and Representation Theory Homework 7

Lie Algebras and Representation Theory Homework 7 Lie Algebras and Representation Theory Homework 7 Debbie Matthews 2015-05-19 Problem 10.5 If σ W can be written as a product of t simple reflections, prove that t has the same parity as l(σ). Let = {α

More information

The Binomial Theorem and Consequences

The Binomial Theorem and Consequences The Binomial Theorem and Consequences Juris Steprāns York University November 17, 2011 Fermat s Theorem Pierre de Fermat claimed the following theorem in 1640, but the first published proof (by Leonhard

More information

Permutation Factorizations and Prime Parking Functions

Permutation Factorizations and Prime Parking Functions Permutation Factorizations and Prime Parking Functions Amarpreet Rattan Department of Combinatorics and Optimization University of Waterloo Waterloo, ON, Canada N2L 3G1 arattan@math.uwaterloo.ca June 10,

More information

Introduction to Probability Theory and Stochastic Processes for Finance Lecture Notes

Introduction to Probability Theory and Stochastic Processes for Finance Lecture Notes Introduction to Probability Theory and Stochastic Processes for Finance Lecture Notes Fabio Trojani Department of Economics, University of St. Gallen, Switzerland Correspondence address: Fabio Trojani,

More information

LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS

LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS Recall from Lecture 2 that if (A, φ) is a non-commutative probability space and A 1,..., A n are subalgebras of A which are free with respect to

More information

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable Shlomo Hoory and Stefan Szeider Abstract (k, s)-sat is the propositional satisfiability problem restricted to instances where each

More information

INTERVAL DISMANTLABLE LATTICES

INTERVAL DISMANTLABLE LATTICES INTERVAL DISMANTLABLE LATTICES KIRA ADARICHEVA, JENNIFER HYNDMAN, STEFFEN LEMPP, AND J. B. NATION Abstract. A finite lattice is interval dismantlable if it can be partitioned into an ideal and a filter,

More information

ORDERED SEMIGROUPS HAVING THE P -PROPERTY. Niovi Kehayopulu, Michael Tsingelis

ORDERED SEMIGROUPS HAVING THE P -PROPERTY. Niovi Kehayopulu, Michael Tsingelis ORDERED SEMIGROUPS HAVING THE P -PROPERTY Niovi Kehayopulu, Michael Tsingelis ABSTRACT. The main results of the paper are the following: The ordered semigroups which have the P -property are decomposable

More information

Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem

Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem Joshua Cooper August 14, 006 Abstract We show that the problem of counting collinear points in a permutation (previously considered by the

More information

Congruence lattices of finite intransitive group acts

Congruence lattices of finite intransitive group acts Congruence lattices of finite intransitive group acts Steve Seif June 18, 2010 Finite group acts A finite group act is a unary algebra X = X, G, where G is closed under composition, and G consists of permutations

More information

Game Theory: Normal Form Games

Game Theory: Normal Form Games Game Theory: Normal Form Games Michael Levet June 23, 2016 1 Introduction Game Theory is a mathematical field that studies how rational agents make decisions in both competitive and cooperative situations.

More information

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

Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals Philipp Moritz Lücke (joint work with Philipp Schlicht) Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität

More information

Laurence Boxer and Ismet KARACA

Laurence Boxer and Ismet KARACA SOME PROPERTIES OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and

More information

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

Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF Will Johnson February 18, 2014 1 Introduction Let T be some C-minimal expansion of ACVF. Let U be the monster

More information

The Sorting Index and Permutation Codes. Abstract

The Sorting Index and Permutation Codes. Abstract The Sorting Index and Permutation Codes William Y.C. Chen a, George Z. Gong b, Jeremy J.F. Guo b a Center for Applied Mathematics, Tianjin University, Tianjin 300072, P. R. China b Center for Combinatorics,

More information

3 The Model Existence Theorem

3 The Model Existence Theorem 3 The Model Existence Theorem Although we don t have compactness or a useful Completeness Theorem, Henkinstyle arguments can still be used in some contexts to build models. In this section we describe

More information

Best-Reply Sets. Jonathan Weinstein Washington University in St. Louis. This version: May 2015

Best-Reply Sets. Jonathan Weinstein Washington University in St. Louis. This version: May 2015 Best-Reply Sets Jonathan Weinstein Washington University in St. Louis This version: May 2015 Introduction The best-reply correspondence of a game the mapping from beliefs over one s opponents actions to

More information

arxiv: v1 [math.co] 6 Oct 2009

arxiv: v1 [math.co] 6 Oct 2009 THE DESCENT STATISTIC OVER 123-AVOIDING PERMUTATIONS arxiv:0910.0963v1 [math.co] 6 Oct 2009 MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI Abstract We exploit Krattenthaler s bijection between

More information

COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS

COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS DAN HATHAWAY AND SCOTT SCHNEIDER Abstract. We discuss combinatorial conditions for the existence of various types of reductions between equivalence

More information

Quadrant marked mesh patterns in 123-avoiding permutations

Quadrant marked mesh patterns in 123-avoiding permutations Quadrant marked mesh patterns in 23-avoiding permutations Dun Qiu Department of Mathematics University of California, San Diego La Jolla, CA 92093-02. USA duqiu@math.ucsd.edu Jeffrey Remmel Department

More information

REMARKS ON K3 SURFACES WITH NON-SYMPLECTIC AUTOMORPHISMS OF ORDER 7

REMARKS ON K3 SURFACES WITH NON-SYMPLECTIC AUTOMORPHISMS OF ORDER 7 REMARKS ON K3 SURFACES WTH NON-SYMPLECTC AUTOMORPHSMS OF ORDER 7 SHNGO TAK Abstract. n this note, we treat a pair of a K3 surface and a non-symplectic automorphism of order 7m (m = 1, 3 and 6) on it. We

More information

The finite lattice representation problem and intervals in subgroup lattices of finite groups

The finite lattice representation problem and intervals in subgroup lattices of finite groups The finite lattice representation problem and intervals in subgroup lattices of finite groups William DeMeo Math 613: Group Theory 15 December 2009 Abstract A well-known result of universal algebra states:

More information

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

Mixed Strategies. Samuel Alizon and Daniel Cownden February 4, 2009 Mixed Strategies Samuel Alizon and Daniel Cownden February 4, 009 1 What are Mixed Strategies In the previous sections we have looked at games where players face uncertainty, and concluded that they choose

More information

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

Math 167: Mathematical Game Theory Instructor: Alpár R. Mészáros Math 167: Mathematical Game Theory Instructor: Alpár R. Mészáros Midterm #1, February 3, 2017 Name (use a pen): Student ID (use a pen): Signature (use a pen): Rules: Duration of the exam: 50 minutes. By

More information

Maximizing the Spread of Influence through a Social Network Problem/Motivation: Suppose we want to market a product or promote an idea or behavior in

Maximizing the Spread of Influence through a Social Network Problem/Motivation: Suppose we want to market a product or promote an idea or behavior in Maximizing the Spread of Influence through a Social Network Problem/Motivation: Suppose we want to market a product or promote an idea or behavior in a society. In order to do so, we can target individuals,

More information

Fractional Graphs. Figure 1

Fractional Graphs. Figure 1 Fractional Graphs Richard H. Hammack Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284-2014, USA rhammack@vcu.edu Abstract. Edge-colorings are used to

More information

CSE 21 Winter 2016 Homework 6 Due: Wednesday, May 11, 2016 at 11:59pm. Instructions

CSE 21 Winter 2016 Homework 6 Due: Wednesday, May 11, 2016 at 11:59pm. Instructions CSE 1 Winter 016 Homework 6 Due: Wednesday, May 11, 016 at 11:59pm Instructions Homework should be done in groups of one to three people. You are free to change group members at any time throughout the

More information

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

Chapter 10: Mixed strategies Nash equilibria, reaction curves and the equality of payoffs theorem Chapter 10: Mixed strategies Nash equilibria reaction curves and the equality of payoffs theorem Nash equilibrium: The concept of Nash equilibrium can be extended in a natural manner to the mixed strategies

More information

Harvard School of Engineering and Applied Sciences CS 152: Programming Languages

Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Lecture 3 Tuesday, February 2, 2016 1 Inductive proofs, continued Last lecture we considered inductively defined sets, and

More information

MAT25 LECTURE 10 NOTES. = a b. > 0, there exists N N such that if n N, then a n a < ɛ

MAT25 LECTURE 10 NOTES. = a b. > 0, there exists N N such that if n N, then a n a < ɛ MAT5 LECTURE 0 NOTES NATHANIEL GALLUP. Algebraic Limit Theorem Theorem : Algebraic Limit Theorem (Abbott Theorem.3.3) Let (a n ) and ( ) be sequences of real numbers such that lim n a n = a and lim n =

More information

Generating all modular lattices of a given size

Generating all modular lattices of a given size Generating all modular lattices of a given size ADAM 2013 Nathan Lawless Chapman University June 6-8, 2013 Outline Introduction to Lattice Theory: Modular Lattices The Objective: Generating and Counting

More information

4 Martingales in Discrete-Time

4 Martingales in Discrete-Time 4 Martingales in Discrete-Time Suppose that (Ω, F, P is a probability space. Definition 4.1. A sequence F = {F n, n = 0, 1,...} is called a filtration if each F n is a sub-σ-algebra of F, and F n F n+1

More information

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

The Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition. The Real Numbers Here we show one way to explicitly construct the real numbers R. First we need a definition. Definitions/Notation: A sequence of rational numbers is a funtion f : N Q. Rather than write

More information

Skew lattices of matrices in rings

Skew lattices of matrices in rings Algebra univers. 53 (2005) 471 479 0002-5240/05/040471 09 DOI 10.1007/s00012-005-1913-5 c Birkhäuser Verlag, Basel, 2005 Algebra Universalis Skew lattices of matrices in rings Karin Cvetko-Vah Abstract.

More information

arxiv: v1 [math.lo] 24 Feb 2014

arxiv: v1 [math.lo] 24 Feb 2014 Residuated Basic Logic II. Interpolation, Decidability and Embedding Minghui Ma 1 and Zhe Lin 2 arxiv:1404.7401v1 [math.lo] 24 Feb 2014 1 Institute for Logic and Intelligence, Southwest University, Beibei

More information

arxiv: v2 [cs.gt] 11 Mar 2018 Abstract

arxiv: v2 [cs.gt] 11 Mar 2018 Abstract Pricing Multi-Unit Markets Tomer Ezra Michal Feldman Tim Roughgarden Warut Suksompong arxiv:105.06623v2 [cs.gt] 11 Mar 2018 Abstract We study the power and limitations of posted prices in multi-unit markets,

More information

Mathematics Notes for Class 12 chapter 1. Relations and Functions

Mathematics Notes for Class 12 chapter 1. Relations and Functions 1 P a g e Mathematics Notes for Class 12 chapter 1. Relations and Functions Relation If A and B are two non-empty sets, then a relation R from A to B is a subset of A x B. If R A x B and (a, b) R, then

More information

arxiv: v1 [math.co] 31 Mar 2009

arxiv: v1 [math.co] 31 Mar 2009 A BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS OLIVIER BERNARDI, BERTRAND DUPLANTIER, AND PHILIPPE NADEAU arxiv:0903.539v [math.co] 3 Mar 009 Abstract. A well-labelled positive path of

More information

Residuated Lattices of Size 12 extended version

Residuated Lattices of Size 12 extended version Residuated Lattices of Size 12 extended version Radim Belohlavek 1,2, Vilem Vychodil 1,2 1 Dept. Computer Science, Palacky University, Olomouc 17. listopadu 12, Olomouc, CZ 771 46, Czech Republic 2 SUNY

More information

3.1 Factors and Multiples of Whole Numbers

3.1 Factors and Multiples of Whole Numbers 3.1 Factors and Multiples of Whole Numbers LESSON FOCUS: Determine prime factors, greatest common factors, and least common multiples of whole numbers. The prime factorization of a natural number is the

More information

Non replication of options

Non replication of options Non replication of options Christos Kountzakis, Ioannis A Polyrakis and Foivos Xanthos June 30, 2008 Abstract In this paper we study the scarcity of replication of options in the two period model of financial

More information

Wada s Representations of the. Pure Braid Group of High Degree

Wada s Representations of the. Pure Braid Group of High Degree Theoretical Mathematics & Applications, vol2, no1, 2012, 117-125 ISSN: 1792-9687 (print), 1792-9709 (online) International Scientific Press, 2012 Wada s Representations of the Pure Braid Group of High

More information

GPD-POT and GEV block maxima

GPD-POT and GEV block maxima Chapter 3 GPD-POT and GEV block maxima This chapter is devoted to the relation between POT models and Block Maxima (BM). We only consider the classical frameworks where POT excesses are assumed to be GPD,

More information

Language Models Review: 1-28

Language Models Review: 1-28 Language Models Review: 1-28 Why are language models (LMs) useful? Maximum Likelihood Estimation for Binomials Idea of Chain Rule, Markov assumptions Why is word sparsity an issue? Further interest: Leplace

More information

Arborescent Architecture for Decentralized Supervisory Control of Discrete Event Systems

Arborescent Architecture for Decentralized Supervisory Control of Discrete Event Systems Arborescent Architecture for Decentralized Supervisory Control of Discrete Event Systems Ahmed Khoumsi and Hicham Chakib Dept. Electrical & Computer Engineering, University of Sherbrooke, Canada Email:

More information

Existentially closed models of the theory of differential fields with a cyclic automorphism

Existentially closed models of the theory of differential fields with a cyclic automorphism Existentially closed models of the theory of differential fields with a cyclic automorphism University of Tsukuba September 15, 2014 Motivation Let C be any field and choose an arbitrary element q C \

More information

TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC

TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC THOMAS BOLANDER AND TORBEN BRAÜNER Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known

More information

A Combinatorial Proof for the Circular Chromatic Number of Kneser Graphs

A Combinatorial Proof for the Circular Chromatic Number of Kneser Graphs A Combinatorial Proof for the Circular Chromatic Number of Kneser Graphs Daphne Der-Fen Liu Department of Mathematics California State University, Los Angeles, USA Email: dliu@calstatela.edu Xuding Zhu

More information

COMPUTER SCIENCE 20, SPRING 2014 Homework Problems Recursive Definitions, Structural Induction, States and Invariants

COMPUTER SCIENCE 20, SPRING 2014 Homework Problems Recursive Definitions, Structural Induction, States and Invariants COMPUTER SCIENCE 20, SPRING 2014 Homework Problems Recursive Definitions, Structural Induction, States and Invariants Due Wednesday March 12, 2014. CS 20 students should bring a hard copy to class. CSCI

More information

MAT 4250: Lecture 1 Eric Chung

MAT 4250: Lecture 1 Eric Chung 1 MAT 4250: Lecture 1 Eric Chung 2Chapter 1: Impartial Combinatorial Games 3 Combinatorial games Combinatorial games are two-person games with perfect information and no chance moves, and with a win-or-lose

More information

IEOR E4004: Introduction to OR: Deterministic Models

IEOR E4004: Introduction to OR: Deterministic Models IEOR E4004: Introduction to OR: Deterministic Models 1 Dynamic Programming Following is a summary of the problems we discussed in class. (We do not include the discussion on the container problem or the

More information

Structural Induction

Structural Induction Structural Induction Jason Filippou CMSC250 @ UMCP 07-05-2016 Jason Filippou (CMSC250 @ UMCP) Structural Induction 07-05-2016 1 / 26 Outline 1 Recursively defined structures 2 Proofs Binary Trees Jason

More information

10.1 Elimination of strictly dominated strategies

10.1 Elimination of strictly dominated strategies Chapter 10 Elimination by Mixed Strategies The notions of dominance apply in particular to mixed extensions of finite strategic games. But we can also consider dominance of a pure strategy by a mixed strategy.

More information

From Battlefields to Elections: Winning Strategies of Blotto and Auditing Games

From Battlefields to Elections: Winning Strategies of Blotto and Auditing Games From Battlefields to Elections: Winning Strategies of Blotto and Auditing Games Downloaded 04/23/18 to 128.30.10.87. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php

More information

Gödel algebras free over finite distributive lattices

Gödel algebras free over finite distributive lattices TANCL, Oxford, August 4-9, 2007 1 Gödel algebras free over finite distributive lattices Stefano Aguzzoli Brunella Gerla Vincenzo Marra D.S.I. D.I.COM. D.I.C.O. University of Milano University of Insubria

More information

On the action of the absolute Galois group on triangle curves

On the action of the absolute Galois group on triangle curves On the action of the absolute Galois group on triangle curves Gabino González-Diez (joint work with Andrei Jaikin-Zapirain) Universidad Autónoma de Madrid October 2015, Chicago There is a well-known correspondence

More information

Relations and Functions

Relations and Functions Reations and Functions 1 Teaching-Learning Points Let A and B are two non empty sets then a reation from set A to set B is defined as R = {(a.b) : a ð A and b ð B}. If (a.b) ð R, we say that a is reated

More information

THE TRAVELING SALESMAN PROBLEM FOR MOVING POINTS ON A LINE

THE TRAVELING SALESMAN PROBLEM FOR MOVING POINTS ON A LINE THE TRAVELING SALESMAN PROBLEM FOR MOVING POINTS ON A LINE GÜNTER ROTE Abstract. A salesperson wants to visit each of n objects that move on a line at given constant speeds in the shortest possible time,

More information

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

ADDING A LOT OF COHEN REALS BY ADDING A FEW II. 1. Introduction ADDING A LOT OF COHEN REALS BY ADDING A FEW II MOTI GITIK AND MOHAMMAD GOLSHANI Abstract. We study pairs (V, V 1 ), V V 1, of models of ZF C such that adding κ many Cohen reals over V 1 adds λ many Cohen

More information

GAME THEORY. Department of Economics, MIT, Follow Muhamet s slides. We need the following result for future reference.

GAME THEORY. Department of Economics, MIT, Follow Muhamet s slides. We need the following result for future reference. 14.126 GAME THEORY MIHAI MANEA Department of Economics, MIT, 1. Existence and Continuity of Nash Equilibria Follow Muhamet s slides. We need the following result for future reference. Theorem 1. Suppose

More information

Discrete Mathematics for CS Spring 2008 David Wagner Final Exam

Discrete Mathematics for CS Spring 2008 David Wagner Final Exam CS 70 Discrete Mathematics for CS Spring 2008 David Wagner Final Exam PRINT your name:, (last) SIGN your name: (first) PRINT your Unix account login: Your section time (e.g., Tue 3pm): Name of the person

More information

SEMICENTRAL IDEMPOTENTS IN A RING

SEMICENTRAL IDEMPOTENTS IN A RING J. Korean Math. Soc. 51 (2014), No. 3, pp. 463 472 http://dx.doi.org/10.4134/jkms.2014.51.3.463 SEMICENTRAL IDEMPOTENTS IN A RING Juncheol Han, Yang Lee, and Sangwon Park Abstract. Let R be a ring with

More information

Partial Fractions. A rational function is a fraction in which both the numerator and denominator are polynomials. For example, f ( x) = 4, g( x) =

Partial Fractions. A rational function is a fraction in which both the numerator and denominator are polynomials. For example, f ( x) = 4, g( x) = Partial Fractions A rational function is a fraction in which both the numerator and denominator are polynomials. For example, f ( x) = 4, g( x) = 3 x 2 x + 5, and h( x) = x + 26 x 2 are rational functions.

More information

Lecture 6. 1 Polynomial-time algorithms for the global min-cut problem

Lecture 6. 1 Polynomial-time algorithms for the global min-cut problem ORIE 633 Network Flows September 20, 2007 Lecturer: David P. Williamson Lecture 6 Scribe: Animashree Anandkumar 1 Polynomial-time algorithms for the global min-cut problem 1.1 The global min-cut problem

More information

Yao s Minimax Principle

Yao s Minimax Principle Complexity of algorithms The complexity of an algorithm is usually measured with respect to the size of the input, where size may for example refer to the length of a binary word describing the input,

More information

Tug of War Game. William Gasarch and Nick Sovich and Paul Zimand. October 6, Abstract

Tug of War Game. William Gasarch and Nick Sovich and Paul Zimand. October 6, Abstract Tug of War Game William Gasarch and ick Sovich and Paul Zimand October 6, 2009 To be written later Abstract Introduction Combinatorial games under auction play, introduced by Lazarus, Loeb, Propp, Stromquist,

More information

Introduction to Greedy Algorithms: Huffman Codes

Introduction to Greedy Algorithms: Huffman Codes Introduction to Greedy Algorithms: Huffman Codes Yufei Tao ITEE University of Queensland In computer science, one interesting method to design algorithms is to go greedy, namely, keep doing the thing that

More information

Harvard School of Engineering and Applied Sciences CS 152: Programming Languages

Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Lecture 3 Tuesday, January 30, 2018 1 Inductive sets Induction is an important concept in the theory of programming language.

More information

Strongly compact Magidor forcing.

Strongly compact Magidor forcing. Strongly compact Magidor forcing. Moti Gitik June 25, 2014 Abstract We present a strongly compact version of the Supercompact Magidor forcing ([3]). A variation of it is used to show that the following

More information

CLASSIC TWO-STEP DURBIN-TYPE AND LEVINSON-TYPE ALGORITHMS FOR SKEW-SYMMETRIC TOEPLITZ MATRICES

CLASSIC TWO-STEP DURBIN-TYPE AND LEVINSON-TYPE ALGORITHMS FOR SKEW-SYMMETRIC TOEPLITZ MATRICES CLASSIC TWO-STEP DURBIN-TYPE AND LEVINSON-TYPE ALGORITHMS FOR SKEW-SYMMETRIC TOEPLITZ MATRICES IYAD T ABU-JEIB Abstract We present ecient classic two-step Durbin-type and Levinsontype algorithms for even

More information

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

THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET MICHAEL PINSKER Abstract. We calculate the number of unary clones (submonoids of the full transformation monoid) containing the

More information

MULTIPLE ZETA VALUES 45

MULTIPLE ZETA VALUES 45 MULTIPLE ZETA VALUES 45 4. The two-one conjectural formula In the introductory section the following alternative version of the multiple zeta values with non-strict inequalities was mentioned see.7: ζ

More information

Generating all nite modular lattices of a given size

Generating all nite modular lattices of a given size Generating all nite modular lattices of a given size Peter Jipsen and Nathan Lawless Dedicated to Brian Davey on the occasion of his 65th birthday Abstract. Modular lattices, introduced by R. Dedekind,

More information

Results of the block cipher design contest

Results of the block cipher design contest Results of the block cipher design contest The table below contains a summary of the best attacks on the ciphers you designed. 13 of the 17 ciphers were successfully attacked in HW2, and as you can see

More information

N(A) P (A) = lim. N(A) =N, we have P (A) = 1.

N(A) P (A) = lim. N(A) =N, we have P (A) = 1. Chapter 2 Probability 2.1 Axioms of Probability 2.1.1 Frequency definition A mathematical definition of probability (called the frequency definition) is based upon the concept of data collection from an

More information

arxiv: v1 [math.co] 8 Nov 2017

arxiv: v1 [math.co] 8 Nov 2017 Proof of a conjecture of Morales Pak Panova on reverse plane partitions Peter L. Guo 1, C.D. Zhao 2 and Michael X.X. Zhong 3 arxiv:1711.03048v1 [math.co] 8 Nov 2017 1,2 Center for Combinatorics, LPMC-TJKLC

More information

1 Online Problem Examples

1 Online Problem Examples Comp 260: Advanced Algorithms Tufts University, Spring 2018 Prof. Lenore Cowen Scribe: Isaiah Mindich Lecture 9: Online Algorithms All of the algorithms we have studied so far operate on the assumption

More information

TENSOR PRODUCT IN CATEGORY O κ.

TENSOR PRODUCT IN CATEGORY O κ. TENSOR PRODUCT IN CATEGORY O κ. GIORGIA FORTUNA Let V 1,..., V n be ĝ κ -modules. Today we will construct a new object V 1 V n in O κ that plays the role of the usual tensor product. Unfortunately in fact

More information

A note on the number of (k, l)-sum-free sets

A note on the number of (k, l)-sum-free sets A note on the number of (k, l)-sum-free sets Tomasz Schoen Mathematisches Seminar Universität zu Kiel Ludewig-Meyn-Str. 4, 4098 Kiel, Germany tos@numerik.uni-kiel.de and Department of Discrete Mathematics

More information

3.1 Properties of Binomial Coefficients

3.1 Properties of Binomial Coefficients 3 Properties of Binomial Coefficients 31 Properties of Binomial Coefficients Here is the famous recursive formula for binomial coefficients Lemma 31 For 1 < n, 1 1 ( n 1 ) This equation can be proven by

More information