Pseudovarieties generated by Brauer type monoids K. Auinger NSAC - - PowerPoint PPT Presentation

pseudovarieties generated by brauer type monoids
SMART_READER_LITE
LIVE PREVIEW

Pseudovarieties generated by Brauer type monoids K. Auinger NSAC - - PowerPoint PPT Presentation

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product Pseudovarieties generated by Brauer type monoids K. Auinger NSAC 2013 K. Auinger Pseudovarieties generated by


slide-1
SLIDE 1

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Pseudovarieties generated by Brauer type monoids

  • K. Auinger

NSAC 2013

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-2
SLIDE 2

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

all monoids (semigroups) in this talk are finite

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-3
SLIDE 3

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

all monoids (semigroups) in this talk are finite Bn = all partitions of {1, . . . , n, 1′, . . . , n′} into blocks of size 2

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-4
SLIDE 4

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

all monoids (semigroups) in this talk are finite Bn = all partitions of {1, . . . , n, 1′, . . . , n′} into blocks of size 2 members of Bn are diagrams like this: 7 7′ 1 1′

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-5
SLIDE 5

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-6
SLIDE 6

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-7
SLIDE 7

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-8
SLIDE 8

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams =

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-9
SLIDE 9

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams =

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-10
SLIDE 10

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams = =

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-11
SLIDE 11

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Composition of diagrams = = composition of diagrams defines a monoid structure on Bn, the Brauer monoid

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-12
SLIDE 12

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Jn = all elements of Bn whose diagrams can be drawn without intersecting lines:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-13
SLIDE 13

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Jn = all elements of Bn whose diagrams can be drawn without intersecting lines:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-14
SLIDE 14

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Jn = all elements of Bn whose diagrams can be drawn without intersecting lines: Jn is closed under composition of diagrams, is called the Jones monoid or the Temperley–Lieb monoid

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-15
SLIDE 15

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-16
SLIDE 16

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}?

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-17
SLIDE 17

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}?

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-18
SLIDE 18

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}?

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-19
SLIDE 19

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly,

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-20
SLIDE 20

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly, Jn × Jm ֒ → Jn+m

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-21
SLIDE 21

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly, Jn × Jm ֒ → Jn+m Bn × Bm ֒ → Bn+m.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-22
SLIDE 22

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly, Jn × Jm ֒ → Jn+m Bn × Bm ֒ → Bn+m.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-23
SLIDE 23

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly, Jn × Jm ֒ → Jn+m Bn × Bm ֒ → Bn+m. Hence,

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-24
SLIDE 24

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly, Jn × Jm ֒ → Jn+m Bn × Bm ֒ → Bn+m. Hence, pvar{Jn | n ∈ N} = the divisors of all Jn

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-25
SLIDE 25

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Question What is pvar{Jn | n ∈ N}? What is pvar{Bn | n ∈ N}? Clearly, Jn × Jm ֒ → Jn+m Bn × Bm ֒ → Bn+m. Hence, pvar{Jn | n ∈ N} = the divisors of all Jn pvar{Bn | n ∈ N} = the divisors of all Bn.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-26
SLIDE 26

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-27
SLIDE 27

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-28
SLIDE 28

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-29
SLIDE 29

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem pvar{Jn | n ∈ N} = A

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-30
SLIDE 30

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem pvar{Jn | n ∈ N} = A pvar{Bn | n ∈ N} = M.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-31
SLIDE 31

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem pvar{Jn | n ∈ N} = A pvar{Bn | n ∈ N} = M.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-32
SLIDE 32

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem pvar{Jn | n ∈ N} = A pvar{Bn | n ∈ N} = M. In other words,

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-33
SLIDE 33

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem pvar{Jn | n ∈ N} = A pvar{Bn | n ∈ N} = M. In other words, each aperiodic monoid divides some Jn,

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-34
SLIDE 34

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

A = all aperiodic monoids M = all monoids. Theorem pvar{Jn | n ∈ N} = A pvar{Bn | n ∈ N} = M. In other words, each aperiodic monoid divides some Jn, each monoid divides some Bn.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-35
SLIDE 35

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition On = all order preserving mappings of the chain 1 < 2 < · · · < n

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-36
SLIDE 36

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition On = all order preserving mappings of the chain 1 < 2 < · · · < n Problem J.-´

  • E. Pin (1987): Is it true that pvar{On | n ∈ N} = A?
  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-37
SLIDE 37

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition On = all order preserving mappings of the chain 1 < 2 < · · · < n Problem J.-´

  • E. Pin (1987): Is it true that pvar{On | n ∈ N} = A?

Higgins (1995): No, there exist aperiodic monoids that do not divide any On.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-38
SLIDE 38

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition On = all order preserving mappings of the chain 1 < 2 < · · · < n Problem J.-´

  • E. Pin (1987): Is it true that pvar{On | n ∈ N} = A?

Higgins (1995): No, there exist aperiodic monoids that do not divide any On. Almeida, Volkov (1998): {On | n ∈ N} is far away from a generating series of A

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-39
SLIDE 39

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition On = all order preserving mappings of the chain 1 < 2 < · · · < n Problem J.-´

  • E. Pin (1987): Is it true that pvar{On | n ∈ N} = A?

Higgins (1995): No, there exist aperiodic monoids that do not divide any On. Almeida, Volkov (1998): {On | n ∈ N} is far away from a generating series of A

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-40
SLIDE 40

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition On = all order preserving mappings of the chain 1 < 2 < · · · < n Problem J.-´

  • E. Pin (1987): Is it true that pvar{On | n ∈ N} = A?

Higgins (1995): No, there exist aperiodic monoids that do not divide any On. Almeida, Volkov (1998): {On | n ∈ N} is far away from a generating series of A: the interval [O, A] where O := pvar{On | n ∈ N} is very big.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-41
SLIDE 41

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-42
SLIDE 42

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

slide-43
SLIDE 43

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

slide-44
SLIDE 44

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-45
SLIDE 45

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

  • J2n = On, the involutory monoid generated by On (w.r.t.

reflection of diagrams along the vertical axis as involution)

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-46
SLIDE 46

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

  • J2n = On, the involutory monoid generated by On (w.r.t.

reflection of diagrams along the vertical axis as involution) {On | n ∈ N} is not so far from a generating series of A since {On | n ∈ N} is one

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-47
SLIDE 47

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

On can be viewed as a submonoid of J2n:

  • J2n = On, the involutory monoid generated by On (w.r.t.

reflection of diagrams along the vertical axis as involution) {On | n ∈ N} is not so far from a generating series of A since {On | n ∈ N} is one: Jean-´ Eric pointed in the right direction!

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-48
SLIDE 48

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-49
SLIDE 49

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof Definition U2 :=

  • ,

,

  • (transformation monoid on [2] := {1, 2})
  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-50
SLIDE 50

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof Definition U2 :=

  • ,

,

  • (transformation monoid on [2] := {1, 2})
  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-51
SLIDE 51

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof Definition U2 :=

  • ,

,

  • (transformation monoid on [2] := {1, 2})

The proof shows that pvar{Jn | n ∈ N} is closed under the

  • peration

S → S ≀ ([2], U2),

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-52
SLIDE 52

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof Definition U2 :=

  • ,

,

  • (transformation monoid on [2] := {1, 2})

The proof shows that pvar{Jn | n ∈ N} is closed under the

  • peration

S → S ≀ ([2], U2),

  • r, more precisely:
  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-53
SLIDE 53

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof Definition U2 :=

  • ,

,

  • (transformation monoid on [2] := {1, 2})

The proof shows that pvar{Jn | n ∈ N} is closed under the

  • peration

S → S ≀ ([2], U2),

  • r, more precisely:

S ≺ Jn = ⇒ S ≀ ([2], U2) ≺ J5(n+2).

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-54
SLIDE 54

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Strategy of proof Definition U2 :=

  • ,

,

  • (transformation monoid on [2] := {1, 2})

The proof shows that pvar{Jn | n ∈ N} is closed under the

  • peration

S → S ≀ ([2], U2),

  • r, more precisely:

S ≺ Jn = ⇒ S ≀ ([2], U2) ≺ J5(n+2). The claim then follows from the Krohn–Rhodes Theorem.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-55
SLIDE 55

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition Tm = all transformations of [m] := {1, . . . , m} (acting on the right)

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-56
SLIDE 56

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition Tm = all transformations of [m] := {1, . . . , m} (acting on the right) The elements of Tm can be seen as diagrams like this:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-57
SLIDE 57

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition Tm = all transformations of [m] := {1, . . . , m} (acting on the right) The elements of Tm can be seen as diagrams like this:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-58
SLIDE 58

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Definition Tm = all transformations of [m] := {1, . . . , m} (acting on the right) The elements of Tm can be seen as diagrams like this: which are composed in the obvious way.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-59
SLIDE 59

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Take any monoid S and T ≤ Tm.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-60
SLIDE 60

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Take any monoid S and T ≤ Tm. The elements of S ≀ ([m], T) are labelled diagrams like these:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-61
SLIDE 61

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Take any monoid S and T ≤ Tm. The elements of S ≀ ([m], T) are labelled diagrams like these: a1 a2 a3 a4 a5 a6 a7 (ai ∈ S)

slide-62
SLIDE 62

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Take any monoid S and T ≤ Tm. The elements of S ≀ ([m], T) are labelled diagrams like these: a1 a2 a3 a4 a5 a6 a7 (ai ∈ S) b7 b6 b5 b4 b3 b2 b1 (bi ∈ S)

slide-63
SLIDE 63

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Take any monoid S and T ≤ Tm. The elements of S ≀ ([m], T) are labelled diagrams like these: a1 a2 a3 a4 a5 a6 a7 (ai ∈ S) b7 b6 b5 b4 b3 b2 b1 (bi ∈ S) a1 a2 a3 a4 a5 a6 a7 (ai ∈ S) b7 b6 b5 b4 b3 b2 b1 (bi ∈ S) = a7b5 a5b4 a6b7 a4b4 a2b4 a1b3 a3b1

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-64
SLIDE 64

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm?

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-65
SLIDE 65

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? =

slide-66
SLIDE 66

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? = c a b d

slide-67
SLIDE 67

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? = c a b d d

slide-68
SLIDE 68

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? = c a b d d ?

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-69
SLIDE 69

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? = c a b d d ? Solution:

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-70
SLIDE 70

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? = c a b d d ? Solution: orient the arcs and label them by elements of a monoid with involution x → xR!

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-71
SLIDE 71

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

Why don’t we do the same for diagrams in Jm and/or Bm? = c a b d d ? Solution: orient the arcs and label them by elements of a monoid with involution x → xR! = c a b d abcR d

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-72
SLIDE 72

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

labelled product S L J of an involutory monoid S and J ≤ Bm

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-73
SLIDE 73

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

labelled product S L J of an involutory monoid S and J ≤ Bm Essential properties: Jn L Jm ֒ → J(n+2)m

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-74
SLIDE 74

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

labelled product S L J of an involutory monoid S and J ≤ Bm Essential properties: Tn ≀ ([m], Tm) ֒ → Tnm

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-75
SLIDE 75

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

labelled product S L J of an involutory monoid S and J ≤ Bm Essential properties: Jn L Jm ֒ → J(n+2)m

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-76
SLIDE 76

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

labelled product S L J of an involutory monoid S and J ≤ Bm Essential properties: Jn L Jm ֒ → J(n+2)m and S ≺ ˜ S = ⇒ S ≀ ([2], U2) ≺ ˜ S L J5.

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-77
SLIDE 77

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

labelled product S L J of an involutory monoid S and J ≤ Bm Essential properties: Jn L Jm ֒ → J(n+2)m and S ≺ ˜ S = ⇒ S ≀ ([2], U2) ≺ ˜ S L J5. Therefore, S ≺ Jn = ⇒ S ≀ ([2], U2) ≺ Jn L J5 ֒ → J5(n+2).

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-78
SLIDE 78

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

For the the claim pvar{Bn | n ∈ N} = M

  • ne shows:
  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-79
SLIDE 79

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

For the the claim pvar{Bn | n ∈ N} = M

  • ne shows:

S ≺ Bn = ⇒ S ≀ ([2], U2) ≺ B5(n+2)

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-80
SLIDE 80

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

For the the claim pvar{Bn | n ∈ N} = M

  • ne shows:

S ≺ Bn = ⇒ S ≀ ([2], U2) ≺ B5(n+2) and S ≺ Bn = ⇒ S ≀ ([m], Sm) ≺ Bm(n+2).

  • K. Auinger

Pseudovarieties generated by Brauer type monoids

slide-81
SLIDE 81

Brauer type monoids Pseudovarieties Main result Context Opposite view Strategy of proof Wreath product and labelled product

For the the claim pvar{Bn | n ∈ N} = M

  • ne shows:

S ≺ Bn = ⇒ S ≀ ([2], U2) ≺ B5(n+2) and S ≺ Bn = ⇒ S ≀ ([m], Sm) ≺ Bm(n+2). Thanks!

  • K. Auinger

Pseudovarieties generated by Brauer type monoids