q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
|
|
- Jonah Kelley Ward
- 5 years ago
- Views:
Transcription
1 Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n , where the sum ranges over all positive integer solutions (m 1,..., m ) of m m = n. Give both an algebraic proof by generating functions, and a combinatorial proof by bijective transformations. A2. Given, n 1, count the number of sets S = {s 1 < s 2 <... < s } [n] such that s 1, s 3,... are odd numbers, and s 2, s 4,... are even numbers. A3. Consider a non-commutative ring R containing the integers Z, and generated by elements x, y with the relation yx = qxy, where q is a given integer. Show that: (x + y) n = n [ n =0 ] q x y n. A4. Let B (n) = #{w S n inv(w) = }, the permutations of n having inversions. From the nown formula 0 B(n) x = [n]! q, deduce the recurrence: B (n) = B (n 1) + B (n) 1, provided < n. (This does not hold for n.) Give a combinatorial proof of this recurrence by means of a bijective transformation. A5. Let F (x) C[x] with F (0) = 1. Show that we can factor F (x) = A(x)B(x) for unique series A(x), B(x) C[x] with A(0) = B(0) = 1 and A( x) = A(x), B( x) = 1 B(x). Give simple formulas for A(x), B(x) in terms of F (x). A6. Let V, W F n q be subspaces of dimension dim(v ) =, dim(w ) = l, which are transverse, meaning V W = {0}. For fixed, l, n, find a formula for the number of such pairs (V, W ). Hint: The answer is a power of q times a q-multinomial coefficient. A7. For fixed n, let S = {S [2n] #S = }, and define the weight ΣS = i S i, and the sign sgn(s) = ( 1)ΣS. Show that: { #S + #S = 0 ) if is odd, if is even. ( 1) /2( n /2 A8. Recall the Stirling partition numbers { } n from Notes 9/21 and the Stirling cycle numbers [ n ] from Notes 10/5. (Both are on the Twelvefold Way chart in Notes 10/7.) Use the Involution Principle to show that, for n > m 1, we have: n [ ] { } n ( 1) n = 0, m and similarly =m n { ( 1) m n } [ ] = 0. m =m (These are proved algebraically in Notes 10/5.)
2 A9. Use the Involution Principle to prove the multiplication formula for determinants of n n matrices: det(ab) = det(a) det(b). When expanded into monomials, the left side has n!n n terms, the right side (n!) 2 terms, so probably the left side should correspond to a large signed set, and the right side to its fixed points. A10. Use the Lindstrom-Gessel-Viennot Theorem to prove the version of the Jacobi-Trudi Formula with elementary symmetric functions. That is, for a partition λ = (λ 1,..., λ n ) with λ 1 n, we have the transposed (or conjugate) partition λ = (λ 1,..., λ n), and the formula: s λ = det(e λ i +j i) n i,j=1. Hint: Modify the lattice graph so that no horizontal step can be repeated at the same level. A11. We now that n i=1 (1 + tx i) = n =0 t e i (x 1,..., x n ), where e i is an elementary symmetric polynomial. Now write the product n i=1 (1 + x i + x 2 i ) in terms of e i (x 1,..., x n ). A12. Recall the Gaussian binomial coefficient [ n ]q = N =0 a q for N = (n ), where a i is the number of -Grassmannian permutations of n having i inversions. Show that the sequence a 0, a 1,..., a N is symmetric (a = a N ) and unimodal (a 0 a 1 a M a N 1 a N for some M). Note: This problem is probably too hard. See American Math. Monthly: Proctor (Vol 89 #10, p. 721) and Zeilberger (Vol 96 #7 p. 590). Here is a similar, and also quite difficult problem: Show that the coefficients of (1+x) n are unimodal, meaning ( ) ( n n ) +1 for < 1 2n. Explicitly find an injection from -element subsets to (+1)-element subsets. (It may help to wor with n-element bit strings instead.) A13. Kerber, Finite Group Actions, Lemma 2.3.2, p. 70 uses Polya Theory to discuss the enumeration of unlabeled graphs with n vertices, whose counting sequence begins: a 0 = 1, a 1 = 1, a 2 = 2, a 3 = 4, a 4 = 11, a 5 = 33 ( We also have the connected graphs with n vertices, in which each pair of vertices is connected by a path along edges, whose counting sequence begins: c 0 = 0, c 1 = 1, c 2 = 1, c 3 = 2, c 4 = 6, c 5 = 21 ( Either referring to Kerber, or on your own, compute a n and c n as explicitly as possible. (Probably the best you can do is an algorithm for a n and a recursive formula for c n assuming nown a n.) A14. In HW 10 #1, we discussed n-colorings of the = 6 faces of the cube, the mappings F = {f : [6] [n]}, and their rotation symmetry classes F. Now consider the problem of restricted colorings in which n = (the number of colors equals the number of faces) and we allow only those colorings F opp in which opposite sides have colors adding to n+1, as with ordinary dice: f(n+1 i) = n+1 f(i). Modify our treatment of Polya s Theorem to compute the restricted pattern inventory F opp (x 1,..., x n ) in general. Wor out the example of the cube, and determine how many physically different restricted dice are possible.
3 A15. For a finite group G, a permutation representation is a homomorphism φ : G S n, that is φ Hom(G, S n ). Let j d (G) be the number of subgroups H G with index [G : H] = #G #H = d. Show that: #Hom(G, S n ) xn = exp j d (G) xd. n! d n 0 d 1 Hint: First do the cyclic group G = C = g with g = 1. Thus, a homomorphism φ : G S n is determined by any permutation φ(g) = w with w = id. A16. Define combinatorial Bruhat order on the permutations S n as follows. For -subsets A = {a 1 < < a } and B = {b 1 < < b } of [n], define A B to mean a i b i for all i; and for permutations u = u 1... u n and w = w 1... w n, define u w to mean {u 1, u 2,..., u } {w 1, w 2,..., w } for all. Show that the Mobius function of the Bruhat order is: µ(u, w) = ( 1) inv(u)+inv(w). Hints: The statement is equivalent to saying that for any u < w, we have x [u,w] ( 1)inv(x) = 0; that is, in any non-trivial interval, the number of elements with an even number of inversions is equal to the number of elements with an odd number of inversions. Find a sign-reversing involution adapted to each interval. D.N. Verma s original proof (of the generalization to all Coxeter groups) uses Deodhar s Zigzag Lemma: Let u, w S n and s i = (i, i+1) a transposition of adjacent letters in [n]. If u us i, w ws i, and u ws i, then u w and us i ws i. A17. Continuing the previous problem, show that the covering relations u w are precisely when w = u r ij for r ij = (ij) any 2-cycle, where inv(w) = inv(u)+1, or equivalently, where u i < u j and u i+1, u i+2,..., u j 1 / [u i, u i +1,..., u j ]. A18. First: For a finite poset P, suppose φ : P P is an order-preserving bijection. Then φ is an automorphism, meaning the inverse φ 1 is also orderpreserving. Second: Give a simple infinite poset P for which this is false. A19. Let P be a finite poset with no isolated points (i.e. no a P which are incomparable with all other b P). Suppose P has a longest chain of length l, and every covering a b is contained in a chain of length l. Show that every maximal chain of P has length l. A20. In a poset P, suppose every chain (set of elements which are all comparable) and every anti-chain (set of incomparable elements) are finite. Then is P necessarily finite? A21. Let P = (N) be the power set consisting of all S N, ordered by inclusion. Show that P has both countable and uncountable maximal chains.
4 A22. Recall that Young s lattice Y is the set of all partitions λ = (λ 1 λ 2 0) ordered by inclusion of their Young diagrams (or by elementwise comparison of the parts λ i ). Consider the sublattice O consisting of partitions with only odd parts (all λ i odd). By the Fundamental Theorem of Distributive Lattices ([St] Thm & 3.4.3), O must be the poset of finite order ideals J fin (P) for some poset P. Explicitly describe P. A23. Poset constructions versus algebra constructions. Each part should be enough to count for 1 problem (but do more if it seems too easy). Define the incidence algebra of a (finite) poset as the vector space I(P) = a b C [a, b], where the interval [a, b] P is considered as a basis element of I(P), with multiplication: [a, b] [c, d] = [a, d] if b = c, and zero otherwise. Alternatively, I(P) = {f : Int(P) C}, where the basis element [a, b] corresponds to the function δ ab with δ ab ([x, y]) = 1 if [a, b] = [x, y] and zero otherwise, and the multiplication is the convolution: (f g)[a, b] = c [a,b] f(a, c)g(c, b). a. Show that the ideals of I(P) are all intersections of the sets: I [a,b] = [x,y] [a,b] C [x, y], where [a, b] is any interval of P, and the sum runs over all intervals [x, y] which are not contained in [a, b]. Hint: First show that all ideals are of the form C [x, y] where S is a set of intervals. [x,y] S b. For any posets P, Q, [St] Ch 3.2 gives several operations to combine them into a poset R. Express each incidence algebra I(R) by performing algebra and module constructions involving I(P), I(Q), C P, C Q. Give explicit isomorphisms. (i) R = P + Q (ii) R = P Q (iii) R = P Q (iv) R = P Q Note: The first three are easy, the last might be hard. c. Do part (b) for R = Q P, the poset of order-preserving mappings f : P Q, with f g defined by f(a) g(a) for all a P. Hint: It seems the algebra homomorphisms Hom(I(P ), I(Q)) are relevant. A24. HW 13 #1 discusses a q-analog for Items 1 3 in the Twelvefold Way, counting linear mappings L : F q F n q. Do the same for all (or most) of Items What about Pascal-lie recurrences, and generating functions? Hint: Try to find the best q-analog of maing the elements of [] or of [n] indistinguishable from each other. (What was the formal definition for this in the original Twelvefold Way?) Can you mae natural definitions which specialize to the original numbers when we tae q = 1 or q 1? A25. Show that if a geometric lattice L has µ(ˆ0, ˆ1) = ±1, then L is isomorphic to a Boolean lattice B n. Hints: Show that every a ˆ1 is a meet of co-atoms. Improve [St] Prop by showing that ( 1) ρ(b) ρ(a) µ(a, b) > 0 for all a < b. A26. Let P be a finite poset with an automorphism of prime order: an orderpreserving σ : P P with σ p = id for prime p. Also assume σ(a) a for all a P. Then the completion ˆP = P {ˆ0, ˆ1} has Mobius function: Apply this to the case ˆP = Π p. µ ˆP(ˆ0, ˆ1) 1 (mod p).
5 A27. Say as much as you can about the q-exponential function: x n exp q (x) = [n]! n 0 q = 1 + x + x2 1(1+q) + x 3 1(1+q)(1+q+q 2 ) +. Note that it is the zeta-function of the binomial poset of subspaces of F q. Try to find q-analogs of various formulas for exp(x). Also, if we substitute x x 1 q, it is closely related to the bivariate generating function of partitions: λ q λ x l(λ) = 1 i 1 1 xq, where λ is the number of i boxes in the Young diagram λ, and l(λ) is the number of rows. Try to deduce partition idenities (or bijections) involving formulas for exp q (x). A28. The Principle of Inclusion-Exclusion can be formulated as follows (Wilf Ch 2). Given subsets B 1,..., B n A, we suppose that for any I [n], the value α(i) = # ( i I B i) depends only on = #I, and we may write α(i) = α. Also, define β = β(i) = {a A a B i i I}. Then we have: α = ( n i) βi, β = ( 1) i( n i) αi. i i In terms of the generating functions A(x) = a 0 + a 1 x + + a n x n and B(x) = b 0 + b 1 x + + b n x n, the above equations are equivalent to: A(x) = B(x+1) and B(x) = A(x 1). problem: Can you explain or interpret the equation A(x) = B(x+1) in terms of a reduced incidence algebra for the Boolean poset P = [n]? A29. [St] Ex 3.45 Let L (n) denote the number of -element order ideals of the boolean algebra B n. Show that for fixed, L (n) is a polynomial function of n of degree 1 and leading coefficient 1/( 1)!. Moreover, the differences i L (0) are all nonnegative integers. (Stanley gives a list, including L 3 (n) = ( n 2), L4 (n) = ( n 2) + ( n 3).)
MA 524 Final Fall 2015 Solutions
MA 54 Final Fall 05 Solutions Name: Question Points Score 0 0 3 5 4 0 5 5 6 5 7 0 8 5 Total: 60 MA 54 Solutions Final, Page of 8. Let L be a finite lattice. (a) (5 points) Show that p ( (p r)) (p ) (p
More informationand the compositional inverse when it exists is A.
Lecture B jacques@ucsd.edu Notation: R denotes a ring, N denotes the set of sequences of natural numbers with finite support, is a generic element of N, is the infinite zero sequence, n 0 R[[ X]] denotes
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationProblem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall
I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationCoxeter-Knuth Classes and a Signed Little Bijection
Coxeter-Knuth Classes and a Signed Little Bijection Sara Billey University of Washington Based on joint work with: Zachary Hamaker, Austin Roberts, and Benjamin Young. UC Berkeley, February, 04 Outline
More informationCombinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada
Combinatorial Enumeration Jason Z. Gao Carleton University, Ottawa, Canada Counting Combinatorial Structures We are interested in counting combinatorial (discrete) structures of a given size. For example,
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationMATH 580, exam II SOLUTIONS
MATH 580, exam II SOLUTIONS Solve the problems in the spaces provided on the question sheets. If you run out of room for an answer, continue on the back of the page or use the Extra space empty page at
More informationHow to count - an exposition of Polya s theory of enumeration
How to count - an exposition of Polya s theory of enumeration Shriya Anand Published in Resonance, September 2002 P.19-35. Shriya Anand is a BA Honours Mathematics III year student from St. Stephens College,
More informationThe Descent Set and Connectivity Set of a Permutation
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.3.8 The Descent Set and Connectivity Set of a Permutation Richard P. Stanley 1 Department of Mathematics Massachusetts Institute
More informationRadon Transforms and the Finite General Linear Groups
Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-2004 Radon Transforms and the Finite General Linear Groups Michael E. Orrison Harvey Mudd
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationSymmetric chain decompositions of partially ordered sets
Symmetric chain decompositions of partially ordered sets A THESIS SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Ondrej Zjevik IN PARTIAL FULFILLMENT OF THE REQUIREMENTS
More informationLongest element of a finite Coxeter group
Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and
More informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More informationMatrix compositions. Emanuele Munarini. Dipartimento di Matematica Politecnico di Milano
Matrix compositions Emanuele Munarini Dipartimento di Matematica Politecnico di Milano emanuelemunarini@polimiit Joint work with Maddalena Poneti and Simone Rinaldi FPSAC 26 San Diego Motivation: L-convex
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationTwo Remarks on Skew Tableaux
Two Remarks on Skew Tableaux Richard P. Stanley Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 rstan@math.mit.edu Submitted: 2011; Accepted: 2011; Published: XX Mathematics
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationEdinburgh, December 2009
From totally nonnegative matrices to quantum matrices and back, via Poisson geometry Edinburgh, December 2009 Joint work with Ken Goodearl and Stéphane Launois Papers available at: http://www.maths.ed.ac.uk/~tom/preprints.html
More informationEXERCISES ON THE OUTER AUTOMORPHISMS OF S 6
EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6 AARON LANDESMAN 1. INTRODUCTION In this class, we investigate the outer automorphism of S 6. Let s recall some definitions, so that we can state what an outer
More informationIrredundant Generating Sets of Finite Nilpotent Groups. Liang Ze Wong May 2012 Advisor: Professor R. Keith Dennis
Irredundant Generating Sets of Finite Nilpotent Groups Liang Ze Wong May 2012 Advisor: Professor R. Keith Dennis May 22, 2012 Abstract It is a standard fact of linear algebra that all bases of a vector
More informationIra M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA Revised September 30, 1988
GENERALIZED ROOK POLYNOMIALS AND ORTHOGONAL POLYNOMIALS Ira M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA 02254-9110 Revised September 30, 1988 Abstract. We consider
More informationChapter Generating Functions
Chapter 8.1.1-8.1.2. Generating Functions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 8. Generating Functions Math 184A / Fall 2017 1 / 63 Ordinary Generating Functions (OGF) Let a n (n = 0, 1,...)
More informationA multiplicative deformation of the Möbius function for the poset of partitions of a multiset
Contemporary Mathematics A multiplicative deformation of the Möbius function for the poset of partitions of a multiset Patricia Hersh and Robert Kleinberg Abstract. The Möbius function of a partially ordered
More informationProblem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions.
18.217 Problem Set (due Monday, December 03, 2018) Solve as many problems as you want. Turn in your favorite solutions. You can also solve and turn any other claims that were given in class without proofs,
More informationMath 370 Homework 2, Fall 2009
Math 370 Homework 2, Fall 2009 (1a) Prove that every natural number N is congurent to the sum of its decimal digits mod 9. PROOF: Let the decimal representation of N be n d n d 1... n 1 n 0 so that N =
More informationCDM Combinatorial Principles
CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably
More informationFix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G
Math 761 Fall 2015 Homework 4 Drew Armstrong Problem 1 Burnside s Lemma Let X be a G-set and for all g G define the set Fix(g : {x X : g(x x} X (a If G and X are finite, prove that Fix(g Stab(x g G x X
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationNotation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
More informationMobius Inversion on Partially Ordered Sets
Mobius Inversion on Partially Ordered Sets 1 Introduction The theory of Möbius inversion gives us a unified way to look at many different results in combinatorics that involve inverting the relation between
More informationUnless otherwise specified, V denotes an arbitrary finite-dimensional vector space.
MAT 90 // 0 points Exam Solutions Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space..(0) Prove: a central arrangement A in V is essential if and only if the dual projective
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationTwo Remarks on Skew Tableaux
Two Remarks on Skew Tableaux The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Stanley, Richard P. "Two
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCombinatorial Structures
Combinatorial Structures Contents 1 Permutations 1 Partitions.1 Ferrers diagrams....................................... Skew diagrams........................................ Dominance order......................................
More informationMath 370 Spring 2016 Sample Midterm with Solutions
Math 370 Spring 2016 Sample Midterm with Solutions Contents 1 Problems 2 2 Solutions 5 1 1 Problems (1) Let A be a 3 3 matrix whose entries are real numbers such that A 2 = 0. Show that I 3 + A is invertible.
More informationNotes on cycle generating functions
Notes on cycle generating functions. The cycle generating function of a species A combinatorial species is a rule attaching to each finite set X a set of structures on X, in such a way that the allowed
More informationA quasisymmetric function generalization of the chromatic symmetric function
A quasisymmetric function generalization of the chromatic symmetric function Brandon Humpert University of Kansas Lawrence, KS bhumpert@math.ku.edu Submitted: May 5, 2010; Accepted: Feb 3, 2011; Published:
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationLecture Summaries for Linear Algebra M51A
These lecture summaries may also be viewed online by clicking the L icon at the top right of any lecture screen. Lecture Summaries for Linear Algebra M51A refers to the section in the textbook. Lecture
More informationMATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM
MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM (FP1) The exclusive or operation, denoted by and sometimes known as XOR, is defined so that P Q is true iff P is true or Q is true, but not both. Prove (through
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationLinear Algebra M1 - FIB. Contents: 5. Matrices, systems of linear equations and determinants 6. Vector space 7. Linear maps 8.
Linear Algebra M1 - FIB Contents: 5 Matrices, systems of linear equations and determinants 6 Vector space 7 Linear maps 8 Diagonalization Anna de Mier Montserrat Maureso Dept Matemàtica Aplicada II Translation:
More informationCOMBINATORIAL COUNTING
COMBINATORIAL COUNTING Our main reference is [1, Section 3] 1 Basic counting: functions and subsets Theorem 11 (Arbitrary mapping Let N be an n-element set (it may also be empty and let M be an m-element
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationOHSx XM511 Linear Algebra: Solutions to Online True/False Exercises
This document gives the solutions to all of the online exercises for OHSx XM511. The section ( ) numbers refer to the textbook. TYPE I are True/False. Answers are in square brackets [. Lecture 02 ( 1.1)
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationSF2729 GROUPS AND RINGS LECTURE NOTES
SF2729 GROUPS AND RINGS LECTURE NOTES 2011-03-01 MATS BOIJ 6. THE SIXTH LECTURE - GROUP ACTIONS In the sixth lecture we study what happens when groups acts on sets. 1 Recall that we have already when looking
More informationTo hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.
Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the
More informationREU 2007 Discrete Math Lecture 2
REU 2007 Discrete Math Lecture 2 Instructor: László Babai Scribe: Shawn Drenning June 19, 2007. Proofread by instructor. Last updated June 20, 1 a.m. Exercise 2.0.1. Let G be an abelian group and A G be
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationGenerating Functions
8.30 lecture notes March, 0 Generating Functions Lecturer: Michel Goemans We are going to discuss enumeration problems, and how to solve them using a powerful tool: generating functions. What is an enumeration
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationDiscrete mathematics , Fall Instructor: prof. János Pach
Discrete mathematics 016-017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations, 1.7.
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationMay 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.
Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationh r t r 1 (1 x i=1 (1 + x i t). e r t r = i=1 ( 1) i e i h r i = 0 r 1.
. Four definitions of Schur functions.. Lecture : Jacobi s definition (ca 850). Fix λ = (λ λ n and X = {x,...,x n }. () a α = det ( ) x α i j for α = (α,...,α n ) N n (2) Jacobi s def: s λ = a λ+δ /a δ
More informationD-FINITE SYMMETRIC FUNCTIONS.
D-FINITE SYMMETRIC FUNCTIONS. by Mariolys Rivas B.Sc.H., Central University of Venezuela, 2006 a Thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in the School
More informationCoxeter-Knuth Graphs and a signed Little Bijection
Coxeter-Knuth Graphs and a signed Little Bijection Sara Billey University of Washington http://www.math.washington.edu/ billey AMS-MAA Joint Meetings January 17, 2014 0-0 Outline Based on joint work with
More informationA Course in Combinatorics
A Course in Combinatorics J. H. van Lint Technical Universüy of Eindhoven and R. M. Wilson California Institute of Technology H CAMBRIDGE UNIVERSITY PRESS CONTENTS Preface xi 1. Graphs 1 Terminology of
More informationMATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003
MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 1. True or False (28 points, 2 each) T or F If V is a vector space
More information(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k.
Warm-up: The quaternion group, denoted Q 8, is the set {1, 1, i, i, j, j, k, k} with product given by 1 a = a 1 = a a Q 8, ( 1) ( 1) = 1, i 2 = j 2 = k 2 = 1, ( 1) a = a ( 1) = a a Q 8, (Think: three copies
More informationMATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018
MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 Here are a few practice problems on groups. You should first work through these WITHOUT LOOKING at the solutions! After you write your
More informationMath 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.
Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationEnumerative Combinatorics 7: Group actions
Enumerative Combinatorics 7: Group actions Peter J. Cameron Autumn 2013 How many ways can you colour the faces of a cube with three colours? Clearly the answer is 3 6 = 729. But what if we regard two colourings
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationApplications of Riordan matrix functions to Bernoulli and Euler polynomials
Illinois Wesleyan University From the SelectedWors of Tian-Xiao He 06 Applications of Riordan matrix functions to Bernoulli and Euler polynomials Tian-Xiao He Available at: https://worsbepresscom/tian_xiao_he/78/
More informationGraph invariants in the spin model
Graph invariants in the spin model Alexander Schrijver 1 Abstract. Given a symmetric n n matrix A, we define, for any graph G, f A (G) := a φ(u),φ(v). φ:v G {1,...,n} uv EG We characterize for which graph
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More informationBasic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.
Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply
More informationRecommended questions: a-d 4f 5 9a a 27.
Sheet jacques@ucsdedu Recommended questions: 2 3 4a-d 4f 5 9a 0 2 3 5 6 8 9 20 22 23 24 25a 27 Recommended reading for this assignment: Aigner Chapter, Chapter 2-24 Formal power series Question Let R be
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationHigher Bruhat order on Weyl groups of Type B
Mentor: Daniel Thompson Massachusetts Institute of Technology PRIMES-USA, 2013 Outline 1 Purpose 2 Symmetric Group Inversions Bruhat Graph 3 Results/Conjectures Purpose Purpose For Weyl Groups of Type
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.
ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More information6 CARDINALITY OF SETS
6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationName (please print) Mathematics Final Examination December 14, 2005 I. (4)
Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,
More informationMaximizing the descent statistic
Maximizing the descent statistic Richard EHRENBORG and Swapneel MAHAJAN Abstract For a subset S, let the descent statistic β(s) be the number of permutations that have descent set S. We study inequalities
More informationP.1: Algebraic Expressions, Mathematical Models, and Real Numbers
Chapter P Prerequisites: Fundamental Concepts of Algebra Pre-calculus notes Date: P.1: Algebraic Expressions, Mathematical Models, and Real Numbers Algebraic expression: a combination of variables and
More information