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

diagram semigroups
SMART_READER_LITE
LIVE PREVIEW

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


slide-1
SLIDE 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

slide-2
SLIDE 2

Transformations

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

slide-3
SLIDE 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

slide-4
SLIDE 4

Transformations

Definition

A transformation on a set X is any function τ : X → X Assume X = n = {1, 2, . . . , n}, and write TX as Tn.

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

slide-5
SLIDE 5

Transformations

Definition

A transformation on a set X is any function τ : X → X Assume X = n = {1, 2, . . . , n}, and write TX as Tn.

Theorem (Cayley for semigroups)

Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup TS. [1, p.7]

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

slide-6
SLIDE 6

Transformations

Definition

A transformation on a set X is any function τ : X → X Assume X = n = {1, 2, . . . , n}, and write TX as Tn.

Theorem (Cayley for semigroups)

Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup TS. [1, p.7] α =

  • 1

2 3 4 5 1 3 1 5 5

  • ,

β =

  • 1

2 3 4 5 3 1 3 3 5

  • Michael Torpey (University of St Andrews)

Diagram Semigroups 2017-06-07 2 / 8

slide-7
SLIDE 7

Transformations

Definition

A transformation on a set X is any function τ : X → X Assume X = n = {1, 2, . . . , n}, and write TX as Tn.

Theorem (Cayley for semigroups)

Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup TS. [1, p.7] α =

  • 1

2 3 4 5 1 3 1 5 5

  • ,

β =

  • 1

2 3 4 5 3 1 3 3 5

  • α =

, β = ,

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

slide-8
SLIDE 8

Transformations

Definition

A transformation on a set X is any function τ : X → X Assume X = n = {1, 2, . . . , n}, and write TX as Tn.

Theorem (Cayley for semigroups)

Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup TS. [1, p.7] α =

  • 1

2 3 4 5 1 3 1 5 5

  • ,

β =

  • 1

2 3 4 5 3 1 3 3 5

  • α =

, β = , αβ =

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

slide-9
SLIDE 9

Transformations

Definition

A transformation on a set X is any function τ : X → X Assume X = n = {1, 2, . . . , n}, and write TX as Tn.

Theorem (Cayley for semigroups)

Every semigroup S is isomorphic to a subsemigroup of the full transformation semigroup TS. [1, p.7] α =

  • 1

2 3 4 5 1 3 1 5 5

  • ,

β =

  • 1

2 3 4 5 3 1 3 3 5

  • α =

, β = , αβ = =

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

slide-10
SLIDE 10

Partitions

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

slide-11
SLIDE 11

Partitions

Pn

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

slide-12
SLIDE 12

Partitions

Pn – the (bi)partition monoid

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

slide-13
SLIDE 13

Partitions

Pn – the (bi)partition monoid α = ,

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

slide-14
SLIDE 14

Partitions

Pn – the (bi)partition monoid α = ,

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

slide-15
SLIDE 15

Partitions

Pn – the (bi)partition monoid α = , β =

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

slide-16
SLIDE 16

Partitions

Pn – 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

slide-17
SLIDE 17

Partitions

Pn – 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

slide-18
SLIDE 18

Partitions

Pn – 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

slide-19
SLIDE 19

Partitions

Pn – 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

slide-20
SLIDE 20

Partitions

Pn – 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

slide-21
SLIDE 21

Partitions

Pn – 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

slide-22
SLIDE 22

Partitions

Pn – 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

slide-23
SLIDE 23

Partitions

Pn – 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

slide-24
SLIDE 24

How big is the partition monoid?

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

slide-25
SLIDE 25

How big is the partition monoid?

Pn consists of all partitions of 2n points.

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

slide-26
SLIDE 26

How big is the partition monoid?

Pn consists of all partitions of 2n points. Its size is the Bell number B2n.

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

slide-27
SLIDE 27

How big is the partition monoid?

Pn consists of all partitions of 2n points. Its size is the Bell number B2n. n 1 2 3 4 5 6 7 . . . |Pn| 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

slide-28
SLIDE 28

How big is the partition monoid?

Pn consists of all partitions of 2n points. Its size is the Bell number B2n. n 1 2 3 4 5 6 7 . . . |Pn| 2 15 203 4,140 115,975 4,213,597 190,899,322 . . .

Table: Sizes of partition monoids

|P10| ≈ 5.2 × 1013.

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

slide-29
SLIDE 29

Attributes of partitions

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

slide-30
SLIDE 30

Attributes of partitions

Definition

A block in a partition α ∈ Pn 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

slide-31
SLIDE 31

Attributes of partitions

Definition

A block in a partition α ∈ Pn 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

slide-32
SLIDE 32

Attributes of partitions

Definition

A block in a partition α ∈ Pn 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

slide-33
SLIDE 33

Attributes of partitions

Definition

A block in a partition α ∈ Pn 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

slide-34
SLIDE 34

Attributes of partitions

Definition

A block in a partition α ∈ Pn 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

slide-35
SLIDE 35

Attributes of partitions

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

slide-36
SLIDE 36

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn 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

slide-37
SLIDE 37

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn is the set of points i ∈ n (resp. i′ ∈ n′) which lie in transversal blocks.

Definition

The kernel (resp. cokernel) of a partition α ∈ Pn is the restriction of α to n (resp. n′).

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

slide-38
SLIDE 38

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn is the set of points i ∈ n (resp. i′ ∈ n′) which lie in transversal blocks.

Definition

The kernel (resp. cokernel) of a partition α ∈ Pn is the restriction of α to n (resp. n′). α =

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

slide-39
SLIDE 39

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn is the set of points i ∈ n (resp. i′ ∈ n′) which lie in transversal blocks.

Definition

The kernel (resp. cokernel) of a partition α ∈ Pn is the restriction of α to n (resp. n′). α = dom α = {1, 3, 4},

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

slide-40
SLIDE 40

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn is the set of points i ∈ n (resp. i′ ∈ n′) which lie in transversal blocks.

Definition

The kernel (resp. cokernel) of a partition α ∈ Pn is the restriction of α to n (resp. n′). α = dom α = {1, 3, 4}, codom α = {1′, 2′},

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

slide-41
SLIDE 41

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn is the set of points i ∈ n (resp. i′ ∈ n′) which lie in transversal blocks.

Definition

The kernel (resp. cokernel) of a partition α ∈ Pn is the restriction of α to n (resp. n′). α = dom α = {1, 3, 4}, codom α = {1′, 2′}, ker α =

{1, 3, 4}, {2}, {5} ,

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

slide-42
SLIDE 42

Attributes of partitions

Definition

The domain (resp. codomain) of a partition α ∈ Pn is the set of points i ∈ n (resp. i′ ∈ n′) which lie in transversal blocks.

Definition

The kernel (resp. cokernel) of a partition α ∈ Pn is the restriction of α to n (resp. n′). α = dom α = {1, 3, 4}, codom α = {1′, 2′}, ker α =

{1, 3, 4}, {2}, {5} ,

coker α =

{1′, 2′}, {3′, 4′}, {5′}

  • Michael Torpey (University of St Andrews)

Diagram Semigroups 2017-06-07 6 / 8

slide-43
SLIDE 43

Submonoids of Pn

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

slide-44
SLIDE 44

Submonoids of Pn

Tn – the full transformation monoid embeds as seen

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

slide-45
SLIDE 45

Submonoids of Pn

Tn – the full transformation monoid embeds as seen On ≤ In ≤ PT n embed similarly

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

slide-46
SLIDE 46

Submonoids of Pn

Tn – the full transformation monoid embeds as seen On ≤ In ≤ PT n embed similarly Bn – the Brauer monoid – each block has size 2

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

slide-47
SLIDE 47

Submonoids of Pn

Tn – the full transformation monoid embeds as seen On ≤ In ≤ PT n embed similarly Bn – the Brauer monoid – each block has size 2 PBn – the partial Brauer monoid – each block has size 1 or 2

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

slide-48
SLIDE 48

Submonoids of Pn

Tn – the full transformation monoid embeds as seen On ≤ In ≤ PT n embed similarly Bn – the Brauer monoid – each block has size 2 PBn – the partial Brauer monoid – each block has size 1 or 2 PPn – the planar partition monoid – diagram is planar

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

slide-49
SLIDE 49

Submonoids of Pn

Tn – the full transformation monoid embeds as seen On ≤ In ≤ PT n embed similarly Bn – the Brauer monoid – each block has size 2 PBn – the partial Brauer monoid – each block has size 1 or 2 PPn – the planar partition monoid – diagram is planar Jn – the Jones monoid – diagram is planar; block size 2

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

slide-50
SLIDE 50

Submonoids of Pn

Tn – the full transformation monoid embeds as seen On ≤ In ≤ PT n embed similarly Bn – the Brauer monoid – each block has size 2 PBn – the partial Brauer monoid – each block has size 1 or 2 PPn – the planar partition monoid – diagram is planar Jn – the Jones monoid – diagram is planar; block size 2 Mn – the Motzkin monoid – diagram is planar; block size 1 or 2 [2]

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

slide-51
SLIDE 51

Howie, J.M., Fundamentals of Semigroup Theory, Oxford Science Publications, 1995, 1.1, 1.5 & 1.8, 7-35. James East, Attila Egri-Nagy, Andrew R. Francis, James D. Mitchell, Finite Diagram Semigroups: Extending the Computational Horizon, https://arxiv.org/abs/1502.07150

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