diagram semigroups
play

Diagram Semigroups Much more fun than transformations! Michael - PowerPoint PPT Presentation

Diagram Semigroups Much more fun than transformations! Michael Torpey University of St Andrews 2017-06-07 Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 1 / 8 Transformations Michael Torpey (University of St


  1. Diagram Semigroups Much more fun than transformations! Michael Torpey University of St Andrews 2017-06-07 Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 1 / 8

  2. Transformations Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  3. Transformations Definition A transformation on a set X is any function τ : X → X Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  4. Transformations Definition A transformation on a set X is any function τ : X → X Assume X = n = { 1 , 2 , . . . , n } , and write T X as T n . Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  5. Transformations Definition A transformation on a set X is any function τ : X → X Assume X = n = { 1 , 2 , . . . , n } , and write T X as T n . Theorem (Cayley for semigroups) Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup T S . [1, p.7] Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  6. Transformations Definition A transformation on a set X is any function τ : X → X Assume X = n = { 1 , 2 , . . . , n } , and write T X as T n . Theorem (Cayley for semigroups) Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup T S . [1, p.7] � � � � 1 2 3 4 5 1 2 3 4 5 α = , β = 1 3 1 5 5 3 1 3 3 5 Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  7. Transformations Definition A transformation on a set X is any function τ : X → X Assume X = n = { 1 , 2 , . . . , n } , and write T X as T n . Theorem (Cayley for semigroups) Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup T S . [1, p.7] � � � � 1 2 3 4 5 1 2 3 4 5 α = , β = 1 3 1 5 5 3 1 3 3 5 α = β = , , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  8. Transformations Definition A transformation on a set X is any function τ : X → X Assume X = n = { 1 , 2 , . . . , n } , and write T X as T n . Theorem (Cayley for semigroups) Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup T S . [1, p.7] � � � � 1 2 3 4 5 1 2 3 4 5 α = , β = 1 3 1 5 5 3 1 3 3 5 α = β = αβ = , , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  9. Transformations Definition A transformation on a set X is any function τ : X → X Assume X = n = { 1 , 2 , . . . , n } , and write T X as T n . Theorem (Cayley for semigroups) Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup T S . [1, p.7] � � � � 1 2 3 4 5 1 2 3 4 5 α = , β = 1 3 1 5 5 3 1 3 3 5 α = β = αβ = = , , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 2 / 8

  10. Partitions Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  11. Partitions P n Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  12. Partitions P n – the (bi)partition monoid Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  13. Partitions P n – the (bi)partition monoid α = , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  14. Partitions P n – the (bi)partition monoid α = , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  15. Partitions P n – the (bi)partition monoid α = , β = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  16. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  17. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  18. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , δ = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  19. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , δ = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  20. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , δ = γδ = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  21. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , δ = γδ = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  22. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , δ = γδ = = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  23. Partitions P n – the (bi)partition monoid α = , β = Definition A (bi) partition is any equivalence relation on n ∪ n ′ , where n ′ = { 1 ′ , 2 ′ , . . . , n ′ } . γ = , δ = γδ = = = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 3 / 8

  24. How big is the partition monoid? Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 4 / 8

  25. How big is the partition monoid? P n consists of all partitions of 2 n points. Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 4 / 8

  26. How big is the partition monoid? P n consists of all partitions of 2 n points. Its size is the Bell number B 2 n . Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 4 / 8

  27. How big is the partition monoid? P n consists of all partitions of 2 n points. Its size is the Bell number B 2 n . n 1 2 3 4 5 6 7 . . . |P n | 2 15 203 4,140 115,975 4,213,597 190,899,322 . . . Table: Sizes of partition monoids Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 4 / 8

  28. How big is the partition monoid? P n consists of all partitions of 2 n points. Its size is the Bell number B 2 n . n 1 2 3 4 5 6 7 . . . |P n | 2 15 203 4,140 115,975 4,213,597 190,899,322 . . . Table: Sizes of partition monoids |P 10 | ≈ 5 . 2 × 10 13 . Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 4 / 8

  29. Attributes of partitions Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 5 / 8

  30. Attributes of partitions Definition A block in a partition α ∈ P n is transversal if it contains points from both n and n ′ (i.e. it “crosses the diagram”). Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 5 / 8

  31. Attributes of partitions Definition A block in a partition α ∈ P n is transversal if it contains points from both n and n ′ (i.e. it “crosses the diagram”). Definition The rank of a partition is the number of transversal blocks it has. Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 5 / 8

  32. Attributes of partitions Definition A block in a partition α ∈ P n is transversal if it contains points from both n and n ′ (i.e. it “crosses the diagram”). Definition The rank of a partition is the number of transversal blocks it has. α = β = Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 5 / 8

  33. Attributes of partitions Definition A block in a partition α ∈ P n is transversal if it contains points from both n and n ′ (i.e. it “crosses the diagram”). Definition The rank of a partition is the number of transversal blocks it has. α = β = rank( α ) = 1 , Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 5 / 8

  34. Attributes of partitions Definition A block in a partition α ∈ P n is transversal if it contains points from both n and n ′ (i.e. it “crosses the diagram”). Definition The rank of a partition is the number of transversal blocks it has. α = β = rank( α ) = 1 , rank( β ) = 2 . Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 5 / 8

  35. Attributes of partitions Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 6 / 8

  36. Attributes of partitions Definition The domain ( resp. codomain ) of a partition α ∈ P n is the set of points i ∈ n ( resp. i ′ ∈ n ′ ) which lie in transversal blocks. Michael Torpey (University of St Andrews) Diagram Semigroups 2017-06-07 6 / 8

Recommend


More recommend