Combinatorics of inverse semigroups. 1 Inverse semigroups and orders

Similar documents
1 Fields and vector spaces

1 Basic Combinatorics

Permutation Groups and Transformation Semigroups Lecture 2: Semigroups

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

Named numbres. Ngày 25 tháng 11 năm () Named numbres Ngày 25 tháng 11 năm / 7

2 Generating Functions

Combinatorial Unification of Binomial-Like Arrays

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

What you learned in Math 28. Rosa C. Orellana

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

9. Finite fields. 1. Uniqueness

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

LINEAR ORDERS, DISCRETE, DENSE, AND CONTINUOUS

A connection between number theory and linear algebra

5 Group theory. 5.1 Binary operations

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

Parity Theorems for Statistics on Domino Arrangements

Groups that Distribute over Stars

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Combinatorial results for certain semigroups of partial isometries of a finite chain

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

1. Group Theory Permutations.

Introduction to abstract algebra: definitions, examples, and exercises

0.2 Vector spaces. J.A.Beachy 1

Computing the rank of configurations on Complete Graphs

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

5 FUNCTIONS. 5.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005

9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Week 4-5: Generating Permutations and Combinations

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

Abstract Algebra, HW6 Solutions. Chapter 5

MATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2

The Symmetric Groups

Some algebraic properties of. compact topological groups

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Algebraic structures I

Limits of cubes E1 4NS, U.K.

The Gaussian coefficient revisited

Partitions, permutations and posets Péter Csikvári

Quasi-reducible Polynomials

6 Cosets & Factor Groups

Sequences that satisfy a(n a(n)) = 0

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

* 8 Groups, with Appendix containing Rings and Fields.

January 2016 Qualifying Examination

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS

CS2800 Fall 2013 October 23, 2013

Support weight enumerators and coset weight distributions of isodual codes

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

EXAMPLES OF PROOFS BY INDUCTION

The negative q-binomial

A Combinatorial Approach to Finding Dirichlet Generating Function Identities

Generating Permutations and Combinations

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Automata Theory and Formal Grammars: Lecture 1

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

Fix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G

Lecture 17: Invertible Topological Quantum Field Theories

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

Actions and Identities on Set Partitions

A Little Beyond: Linear Algebra

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

Irredundant Generating Sets of Finite Nilpotent Groups. Liang Ze Wong May 2012 Advisor: Professor R. Keith Dennis

1. Introduction

1 Last time: inverses

0 Sets and Induction. Sets

Group Isomorphisms - Some Intuition

Chapter One. The Real Number System

Algebraic Structures Exam File Fall 2013 Exam #1

AN ALGEBRAIC INTERPRETATION OF THE q-binomial COEFFICIENTS. Michael Braun

Section 33 Finite fields

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

Permutations Which Avoid 1243 and 2143, Continued Fractions, and Chebyshev Polynomials

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

MA Discrete Mathematics

THE EULER CHARACTERISTIC OF A LIE GROUP

Partial, Total, and Lattice Orders in Group Theory

Algebraic Topology Homework 4 Solutions

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Asymptotically optimal induced universal graphs

ISOMORPHISMS KEITH CONRAD

Regular and synchronizing transformation monoids

55 Separable Extensions

2.2 Lowenheim-Skolem-Tarski theorems

Course of algebra. Introduction and Problems

Transcription:

Combinatorics of inverse semigroups This is an exposition of some results explained to me by Abdullahi Umar, together with some further speculations of my own and some with Ni Rusuc. 1 Inverse semigroups and orders For the first part, I tae a nineteenth-century view of algebra: a group will be a permutation group, for example. A permutation group on X is a non-empty set of permutations of X closed under composition and inversion. The set of all permutations is a group, the symmetric group S(X). A transformation semigroup on X is a non-empty set of transformations of X (maps from X to X), closed under composition. The set of all transformations is a semigroup, the transformation semigroup T (X). An inverse semigroup of partial permutations on X is a non-empty set of partial permutations (bijections between subsets) of X, closed under composition and inversion. (Composition is defined wherever possible: x fg is defined if x f = y is defined and is in the domain of g; then x fg = y g.) The set of all partial permutations is an inverse semigroup, the symmetric inverse semigroup P (X). It is a truism that groups measure symmetry. But the word symmetry has a local as well as a global meaning (i.e. correspondence of parts ), and with this meaning, inverse semigroups are more appropriate. The first theorem gives the orders of our basic structures. Theorem 1 Let X = n. Then (a) S(X) = n!; (b) T (X) = n n ; (c) P (X) = ( ) 2 n!. 1

Proof All straightforward except possibly (c): once the domain and range are chosen there are! bijections between them. The expression for P (X) does not have a simple closed form, and in particular is not eual to T (X). For n = 2, T (X) = 4 while P (X) = 7. We can define some interesting sub-semigroups of P (X) by means of a total order on X. A partial permutation f is monotone if x < y implies x f < y f if both are defined; it is decreasing if x f x for all x in the domain of f, and strictly decreasing if x f < x for all such x. We let P m (X), P d (X) and P s (X) denote the semigroups of monotone, decreasing, and strictly decreasing elements respectively; and P md (X) = P m (X) P d (X), P ms (X) = P m (X) P s (X). Now we have: Theorem 2 Let X = n. Then ( ) 2n P m (X) = ; n P d (X) = B n+1 and P s (X) = B n, where B n is the nth Bell number (the number of partitions of an n-set); P md (X) = C n+1 and P ms (X) = C n, where C n is the nth Catalan number. Proof (a) Argue as above. Once the domain and range are chosen, there is a uniue monotonic bijection between them. So P m (n) = by a familiar binomial identity. ( ) 2 n = ( ) 2n, n (b) We show first that P d (n) = P s (n + 1). If f is a decreasing partial permutation on {1,..., n}, then the map g given by g(x+1) = f(x) whenever this is defined is a strictly decreasing partial permutation on {1,..., n + 1}. The argument reverses. This correspondence preserves the property of being monotonic, so also P md (n) = P ms (n + 1). Now we select a decreasing bijection by first choosing its fixed points, and then choosing a strictly decreasing bijection on the remaining points. If 2

there are fixed points, then there are P s (n ) ways to choose the strictly decreasing bijection. So we have ( ) n P s (n + 1) = P d (n) = P s (n ). Thus, P s (n) satisfies the same recurrence as the Bell number B n, and we have P s (n) = B n, P d (n) = B n+1. (c) The preceding proof fails for monotonic decreasing maps, since such a map cannot jump over a fixed point. Instead, we encode a strictly decreasing map by ( a Catalan ) object. The Catalan numbers, given by the formula C n = 1 2n, count many different things. I will use the interpretation as n + 1 n ballot numbers: C n is the number of ways that the votes in an election where two candidates A and B each obtain n votes, if A is never behind B at any point during the count. For example, C 2 = 2, since the count may be ABAB or AABB. Let f be monotonic and strictly decreasing on {1,..., n}. We encode f by a seuence of length 2n in the alphabet consisting of two symbols A and B as follows. In positions 2i 1 and 2i, we put AB, if i / Dom(f) and i / Ran(f), AA, if i / Dom(f) and i Ran(f), BB, if i Dom(f) and i / Ran(f), BA, if i Dom(f) and i Ran(f). It can be shown that this gives a bijective correspondence between the set of such functions and the set of solutions to the ballot problem. (It is necessary to show that the resulting string has eually many As and Bs, but each initial substring has at least as many As as Bs; and that every string with these properties can be decoded to give a strictly decreasing monotone function. The proof that the correspondence is bijective is then straightforward.) It follows that P ms (n) = C n (the nth Catalan number), and from the remar in part (c), also P md (n) = C n+1. Laradji and Umar also found occurrences of the Fibonacci, Stirling, Schröder, Euler, Lah and Narayana numbers in counting problems about inverse semigroups. 3

2 A linear analogue Let be a prime power, and let V be an n-dimensional vector space over the Galois field GF() of order. The number of -dimensional subspaces of V is the Gaussian coefficient [ ] n = (n 1)( n 1 1) ( n +1 1). ( 1)( 1 1) ( 1) We have linear analogues of the previous objects. Corresponding to the symmetric group is the general linear group GL(n, ) of invertible linear maps on V ; its order is GL(n, ) = ( n 1)( n ) ( n n 1 ). For temporary convenience, we let T (n, ) denote the semigroup of all linear maps on V, and P (n, ) the inverse semigroup of linear bijections between subspaces of V. Now something rather different happens: Theorem 3 S(n, ) = P (n, ). Proof We specify an element of P (n, ) by choosing two -dimensional subspaces of V and an isomorphism between them; so P (n, ) = [ ] 2 n GL(, ), the -analogue of the formula for P (n) given earlier. We specify an element of S(n, ) by giving its image, a -dimensional subspace W of V = V (n, ), and its ernel, a (n )-dimensional subspace U of V, and an isomorphism from V/U to W. So But [ ] [ ] n n = n S(n, ) = We deduce the following identity: [ ] [ ] n n GL(, ). n by duality, so these two expressions are eual. 4

Corollary 4 [ ] 2 n GL(, ) = n2. We obtain further semigroups by following the procedure of Laradji and Umar. Here are some initial thoughts on this. Let V = V (n, ), and suppose that a total order of V is given. Let P m (V ) denote the set of monotonic isomorphisms between subspaces of V. Theorem 5 For any ordering of V, we have [ n P m (V ) m with euality if and only if the uniue order-preserving bijection between any two subspaces of the same dimension is linear. The proof is obvious, so we are led to as: Problem Given the vector space V = V (n, ), how many orderings of V have the property that the uniue order-preserving bijection between any two subspaces of the same dimension is linear, and how many ineuivalent inverse semigroups P m (V ) do they define? Call such an ordering of V compatible. Here are a couple of observations. Theorem 6 (a) Compatible orderings always exist. Indeed, tae any ordering of the field GF(); then the lexicographic order of GF() n is compatible. (b) In any compatible ordering, there is an integer with 0 1, the zero vector is in position 1 + ( n 1)/( 1). (c) Any ordering of V (1, ) are compatible. (d) All compatible orderings of V = V (2, ) are found by the following procedure: Tae any ordering of GF(); translate this to all the 1- dimensional subspaces of V ; then extend the resulting partial order to a total order of V in any manner (it is possible to count the number of such orderings). 5 ] 2,

Proof (a) We use the fact that every subspace of GF() n has a uniue basis in reduced echelon form. Let W be a -dimensional subspace, and suppose that the leading ones in the reduced echelon basis occur in positions m 1, m 2,..., m. Then projection of W onto these coordinates is a vector space isomorphism to GF(). I will show that it is also an order-isomorphism from the induced ordering on W to the lexicographic ordering on GF(). Tae two vectors of W. Since their difference is in W, its first non-zero entry is in position m i for some i; in other words, the two vectors differ first in position m i, so to decide their order we simply need to compare the order of their m i coordinates in the field. This is precisely the lexicographic order on the projection onto these coordinates. This already gives us a range of orders, since the field has! orderings. However, all these orderings define the same inverse semigroup: if two subspaces W 1 and W 2 have the same dimension, then the uniue order-preserving map between them maps the reduced echelon basis of W 1 to that of W 2. (b) Since all 1-dimensional subspaces are isomorphic, there is an integer with 0 1 such that 0 is the ( +1)-st element of each 1-dimensional subspace. Thus, in the ordering of V, each of the ( n 1)/( 1) 1-dimensional subspaces contains exactly elements before 0 and 1 after it. So V contains ( n 1)/( 1) elements before 0 and ( 1)( n 1)/( 1) elements after it. Every value of can occur here: simply tae the construction in (a), where 0 is the ( + 1)-st element of the field. (c) The identity map is always linear. (d) It is clear that the ordering of elements in the same 1-dimensional subspace must be as specified; and by the argument in (c), the ordering of elements is entirely unrestricted. To count these orderings, proceed as follows. First we order the field so that 0 is in position + 1; without loss we may assume that 1 is in the first available position. There are ( 2)! such orderings. Now choose a distinguished element in each 1-dimensional subspace (in ( 1) +1 ways), and transfer the ordering of the field to this subspace so that the chosen element corresponds to 1. Now there are (+1) elements less than 0, and (+1)( 1) elements greater than 0. Order these sets respecting the orders on the 1-dimensional subspaces. The numbers of ways are multinomial coefficients, for example, 6

( ) ( + 1) for the elements less than 0.,,..., We conclude that the number of compatible orderings of V (2, ) is 1 ( )( ) ( + 1) ( + 1)( 1) ( 2)! ( 1) +1.,,..., 1,..., 1 For = 2, we see that the zero element must be first or last, and part (c) shows that any ordering of V (2, 2) with this property is compatible. It is also true that any ordering of V (3, 2) with zero first or last is compatible (essentially because GL(2, 2) = S 3, so any bijection of a 2-dimensional space fixing the identity is linear. I do not now what happens for higher dimensions. 3 Groups If A is any ind of algebraic structure, we can mae similar definitions: Aut(A) is the group of automorphisms of A; End(A) is the semigroup of endomorphisms of A; PIso(A) is the inverse semigroup of isomorphisms between substructures of A. Theorem 7 Let A be a finite abelian group. Then End(A) = PIso(A). Proof We follow the proof of the preceding theorem. We specify an element of PIso(A) by choosing two isomorphic subgroups of A and an isomorphism between them. We specify an element of End(A) by choosing a subgroup W as image, a subgroup U as ernel with A/U = W, and an isomorphism from A/U to W. Now any finite abelian group A has a dual group A = Hom(A, C ). We have A = A. For any subgroup B of A, let B = {f A : ( b B)bf = 1}; then A /B = B. So the number of subgroups of A isomorphic to B is eual to the number of subgroups C with A/C = B, and the two numbers in the theorem are eual. 7

Problem Is it true that, if a finite group G satisfies End(G) = PIso(G), then G is abelian? Ni Rusuc and I computed a few examples and found no counterexample to this assertion. We can prove something under stronger assumptions. If X and A are structures, we define s A (X) and A (X) to be the numbers of substructures and uotient structures, respectively, of X which are isomorphic to A. We say that X satisfies SQ-duality if s A (X) = A (X) for every substructure A of X; in other words, for any structure A, either s A (X) = 0 or s A (X) = A (X). Clearly the argument above shows that, if X satisfies SQ-duality, then End(X) = PIso(X). Theorem 8 A finite group satisfying SQ-duality is abelian. Proof Let G be any finite group. In this proof, summations are always over the isomorphism types of groups A embeddable in G, that is, for which s A (G) 0. Now s A (G) is the number of subgroups of G, while A (G) is the number of normal subgroups with uotient embeddable in G. So euality of these two sums implies that every subgroup of G is normal and every uotient of G is embeddable in G. If G satisfies SQ-duality, then s A (G) = A (G) for any group A embeddable in G, so indeed the two sums of the previous paragraph are eual. This implies in particular that G is Hamiltonian, that is, every subgroup of G is normal. A Hamiltonian group which is not abelian has the form G = Q 8 (C 2 ) r B, where C 2 and Q 8 are the cyclic group of order 2 and uaternion group of order 8 respectively, and B is an abelian group of odd order. But this group has a uotient (C 2 ) r+2 which is not a subgroup, so does not satisfy SQ-duality. The result is proved. 8