semigroups of sets of n-ary functions - masarykova...
TRANSCRIPT
![Page 1: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/1.jpg)
Semigroups of sets of n-ary functions
Jörg Koppitz
Potsdam University
SSAOS 2016 (05/09/2016)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 1 / 15
![Page 2: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/2.jpg)
Boolean Operations
n 2 N
f : f0, 1gn ! f0, 1g is called n-ary Boolean operationPn2 set of all n-ary Boolean operations
jPn2 j = 22n
Examplen = 2: binary Boolean operations
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 2 / 15
![Page 3: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/3.jpg)
Boolean Operations
n 2 N
f : f0, 1gn ! f0, 1g is called n-ary Boolean operation
Pn2 set of all n-ary Boolean operations
jPn2 j = 22n
Examplen = 2: binary Boolean operations
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 2 / 15
![Page 4: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/4.jpg)
Boolean Operations
n 2 N
f : f0, 1gn ! f0, 1g is called n-ary Boolean operationPn2 set of all n-ary Boolean operations
jPn2 j = 22n
Examplen = 2: binary Boolean operations
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 2 / 15
![Page 5: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/5.jpg)
Boolean Operations
n 2 N
f : f0, 1gn ! f0, 1g is called n-ary Boolean operationPn2 set of all n-ary Boolean operations
jPn2 j = 22n
Examplen = 2: binary Boolean operations
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 2 / 15
![Page 6: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/6.jpg)
Boolean Operations
n 2 N
f : f0, 1gn ! f0, 1g is called n-ary Boolean operationPn2 set of all n-ary Boolean operations
jPn2 j = 22n
Examplen = 2: binary Boolean operations
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 2 / 15
![Page 7: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/7.jpg)
f1 f2 f3 f4 f5 f6 f7 f8(0, 0) 1 0 1 1 1 0 0 0(0, 1) 1 1 0 1 1 1 1 0(1, 0) 1 1 1 0 1 1 0 1(1, 1) 1 1 1 1 0 0 1 1
f9 f10 f11 f12 f13 f14 f15 f16(0, 0) 1 1 1 0 0 0 1 0(0, 1) 0 0 1 0 0 1 0 0(1, 0) 0 1 0 0 1 0 0 0(1, 1) 1 0 0 1 0 0 0 0
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 3 / 15
![Page 8: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/8.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 9: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/9.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 10: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/10.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 11: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/11.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 12: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/12.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 13: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/13.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 14: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/14.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 15: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/15.jpg)
Binary operation
De�nition of a binary operation + on Pn2 by
De�nitionf + g := Snn (f , g , . . . , g), i.e. (f + g)(a) := f (g(a), . . . , g(a)) for alla 2 f0, 1gn
Example
f3 + f4 = f1 since
f3(f4(0, 0), f4(0, 0)) = f3(1, 1) = 1
f3(f4(0, 1), f4(0, 1)) = f3(1, 1) = 1
f3(f4(1, 0), f4(1, 0)) = f3(0, 0) = 1
f3(f4(1, 1), f4(1, 1)) = f3(1, 1) = 1
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 4 / 15
![Page 16: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/16.jpg)
Semigroup
(Pn2 ,+) is a semigroup
FactThe semigroup (Pn2 ,+) is well studied in Semigroup Theory.
Why?
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 5 / 15
![Page 17: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/17.jpg)
Semigroup
(Pn2 ,+) is a semigroup
FactThe semigroup (Pn2 ,+) is well studied in Semigroup Theory.
Why?
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 5 / 15
![Page 18: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/18.jpg)
Semigroup
(Pn2 ,+) is a semigroup
FactThe semigroup (Pn2 ,+) is well studied in Semigroup Theory.
Why?
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 5 / 15
![Page 19: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/19.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 20: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/20.jpg)
Transformations
Let A be any set
α : A! A is called transformation on A
T (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 21: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/21.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 22: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/22.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)
composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 23: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/23.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 24: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/24.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 25: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/25.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 26: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/26.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � A
T (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 27: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/27.jpg)
Transformations
Let A be any set
α : A! A is called transformation on AT (A) set of all transformations on A
α, β 2 T (A)composition of transformations a(α � β) = a(αβ) = (aα)β)
T (A) forms a semigroup under composition
imα := faα : a 2 Ag is called image of α
B � AT (A,B) := fα 2 T (A) : imα � Bg
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 6 / 15
![Page 28: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/28.jpg)
Transformations with restricted range
T (A,B) � T (A)
semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 29: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/29.jpg)
Transformations with restricted range
T (A,B) � T (A)semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 30: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/30.jpg)
Transformations with restricted range
T (A,B) � T (A)semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 31: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/31.jpg)
Transformations with restricted range
T (A,B) � T (A)semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 32: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/32.jpg)
Transformations with restricted range
T (A,B) � T (A)semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 33: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/33.jpg)
Transformations with restricted range
T (A,B) � T (A)semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 34: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/34.jpg)
Transformations with restricted range
T (A,B) � T (A)semigroup with restricted range (Symons, 1975)
2008: "Regularity and Green�s Relations on a Semigroup ofTransformations with Restricted Range", J. Sanwong, and WoracheadSommancee,
2011: "The Ideal Structure of Semigroups of Transformations withrestricted range", Suzana Mendes-Gonçales and R. P. Sullivan
2011: "The regular part of a semigroup of transformations withrestricted range", J Sanwong
2013: "Rank and idempotent rank of �nite full transformationsemigroups with restricted range", Worachead Sommanee,
2016: "On Semigroups of Orientation-preserving Transformationswith Restricted Range", Vítor H. Fernandes, Preeyanuch Honyamb,Teresa M. Quinteiroc, and Boorapa Singhad
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 7 / 15
![Page 35: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/35.jpg)
Bijection
A = f0, 1gn
B = ∆�n := f(0, . . . , 0| {z }n times
), (1, . . . , 1| {z })n times
g � f0, 1gn
De�nitionf 2 Pn2 , αf : f0, 1gn ! ∆�n by aαf := (f (a), . . . , f (a)| {z }
n times
).
fαf : f 2 Pn2 g � T (f0, 1gn,∆�n)
Facth : Pn2 ! T (f0, 1gn,∆�n) with h : f 7! αf is bijective.
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 8 / 15
![Page 36: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/36.jpg)
Bijection
A = f0, 1gn
B = ∆�n := f(0, . . . , 0| {z }n times
), (1, . . . , 1| {z })n times
g � f0, 1gn
De�nitionf 2 Pn2 , αf : f0, 1gn ! ∆�n by aαf := (f (a), . . . , f (a)| {z }
n times
).
fαf : f 2 Pn2 g � T (f0, 1gn,∆�n)
Facth : Pn2 ! T (f0, 1gn,∆�n) with h : f 7! αf is bijective.
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 8 / 15
![Page 37: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/37.jpg)
Bijection
A = f0, 1gn
B = ∆�n := f(0, . . . , 0| {z }n times
), (1, . . . , 1| {z })n times
g � f0, 1gn
De�nitionf 2 Pn2 , αf : f0, 1gn ! ∆�n by aαf := (f (a), . . . , f (a)| {z }
n times
).
fαf : f 2 Pn2 g � T (f0, 1gn,∆�n)
Facth : Pn2 ! T (f0, 1gn,∆�n) with h : f 7! αf is bijective.
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 8 / 15
![Page 38: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/38.jpg)
Bijection
A = f0, 1gn
B = ∆�n := f(0, . . . , 0| {z }n times
), (1, . . . , 1| {z })n times
g � f0, 1gn
De�nitionf 2 Pn2 , αf : f0, 1gn ! ∆�n by aαf := (f (a), . . . , f (a)| {z }
n times
).
fαf : f 2 Pn2 g � T (f0, 1gn,∆�n)
Facth : Pn2 ! T (f0, 1gn,∆�n) with h : f 7! αf is bijective.
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 8 / 15
![Page 39: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/39.jpg)
Bijection
A = f0, 1gn
B = ∆�n := f(0, . . . , 0| {z }n times
), (1, . . . , 1| {z })n times
g � f0, 1gn
De�nitionf 2 Pn2 , αf : f0, 1gn ! ∆�n by aαf := (f (a), . . . , f (a)| {z }
n times
).
fαf : f 2 Pn2 g � T (f0, 1gn,∆�n)
Facth : Pn2 ! T (f0, 1gn,∆�n) with h : f 7! αf is bijective.
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 8 / 15
![Page 40: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/40.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 41: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/41.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 42: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/42.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 43: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/43.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 44: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/44.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 45: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/45.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 46: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/46.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 47: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/47.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 48: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/48.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 49: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/49.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 50: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/50.jpg)
Isomorphism
We can show that h is isomorphism
Theorem(Pn2 ;+) �= T (f0, 1gn,∆�n).
Proof.
Let h : Pn2 ! T (f0, 1gn ,∆�n) with h : f 7! αf
h is bijective
a(h(f + g)) = aα(f +g )
= (f + g(a), . . . , f + g(a))
= (f (g(a), . . . , g(a)), . . . , f (g(a), . . . , g(a)))
= (g(a), . . . , g(a))αf = (aαg )αf = a(αg αf )
= a(h(g)h(f )).
This shows h(f + g) = h(g) � h(f ).Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 9 / 15
![Page 51: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/51.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ng
T (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 52: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/52.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)
P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 53: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/53.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)
SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 54: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/54.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2
��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 55: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/55.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 56: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/56.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 57: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/57.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg
(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 58: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/58.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup
(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 59: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/59.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiring
g : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 60: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/60.jpg)
New approach
jf0, 1gn j = 2n, X2n := f1, 2, . . . , 2ngT (f0, 1gn,∆�n) �= T (X2n , f1, 2g)P�n2 := T (X2n , f1, 2g)SetP�n2 set of all non-empty subsets of P�n2��SetP�n2 �� = 2jP�n2 j � 1
Example
(n = 2)��SetP�22 �� = 2jP�22 j � 1 = 216 � 1
We introduce a binary operation � on SetP�22 byA � B := fab : a 2 A, b 2 Bg(SetP�n2 , �) forms a semigroup(SetP�n2 ;[, �) forms a semiringg : P�n2 ! (SetP�n2 , �) with a 7�! fag is an embedding
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 10 / 15
![Page 61: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/61.jpg)
Our Question
Problem
What about (SetP�n2 , �)?
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 11 / 15
![Page 62: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/62.jpg)
Idempotent elements
A 2 SetP�n2 is called idempotent if A � A = A
E (SetP�n2 ) set of all idempotents in SetP�n2
Example
n = 2��13 242 1
�,
�13 241 2
��2 E (SetP�22 )
although�13 242 1
�is not idempotent
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 12 / 15
![Page 63: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/63.jpg)
Idempotent elements
A 2 SetP�n2 is called idempotent if A � A = AE (SetP�n2 ) set of all idempotents in SetP�n2
Example
n = 2��13 242 1
�,
�13 241 2
��2 E (SetP�22 )
although�13 242 1
�is not idempotent
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 12 / 15
![Page 64: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/64.jpg)
Idempotent elements
A 2 SetP�n2 is called idempotent if A � A = AE (SetP�n2 ) set of all idempotents in SetP�n2
Example
n = 2��13 242 1
�,
�13 241 2
��2 E (SetP�22 )
although�13 242 1
�is not idempotent
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 12 / 15
![Page 65: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/65.jpg)
Idempotent elements
A 2 SetP�n2 is called idempotent if A � A = AE (SetP�n2 ) set of all idempotents in SetP�n2
Example
n = 2
��13 242 1
�,
�13 241 2
��2 E (SetP�22 )
although�13 242 1
�is not idempotent
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 12 / 15
![Page 66: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/66.jpg)
Idempotent elements
A 2 SetP�n2 is called idempotent if A � A = AE (SetP�n2 ) set of all idempotents in SetP�n2
Example
n = 2��13 242 1
�,
�13 241 2
��2 E (SetP�22 )
although�13 242 1
�is not idempotent
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 12 / 15
![Page 67: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/67.jpg)
Idempotent elements
A 2 SetP�n2 is called idempotent if A � A = AE (SetP�n2 ) set of all idempotents in SetP�n2
Example
n = 2��13 242 1
�,
�13 241 2
��2 E (SetP�22 )
although�13 242 1
�is not idempotent
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 12 / 15
![Page 68: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/68.jpg)
Idempotent subsemigroups
S � (SetP�n2 , �) is called idempotent subsemigroup (or band) ifS � E (SetP�n2 ).
(SetP�n2 , �) is not a band.An idempotent subsemigroup S is called maximal idempotentsubsemigroup if
S � T =) S = T or T 6� E (SetP�n2 ).
Theorem
There are exactly two maximal idempotent subsemigroups of (SetP�n2 , �).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 13 / 15
![Page 69: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/69.jpg)
Idempotent subsemigroups
S � (SetP�n2 , �) is called idempotent subsemigroup (or band) ifS � E (SetP�n2 ).
(SetP�n2 , �) is not a band.
An idempotent subsemigroup S is called maximal idempotentsubsemigroup if
S � T =) S = T or T 6� E (SetP�n2 ).
Theorem
There are exactly two maximal idempotent subsemigroups of (SetP�n2 , �).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 13 / 15
![Page 70: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/70.jpg)
Idempotent subsemigroups
S � (SetP�n2 , �) is called idempotent subsemigroup (or band) ifS � E (SetP�n2 ).
(SetP�n2 , �) is not a band.An idempotent subsemigroup S is called maximal idempotentsubsemigroup if
S � T =) S = T or T 6� E (SetP�n2 ).
Theorem
There are exactly two maximal idempotent subsemigroups of (SetP�n2 , �).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 13 / 15
![Page 71: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/71.jpg)
Idempotent subsemigroups
S � (SetP�n2 , �) is called idempotent subsemigroup (or band) ifS � E (SetP�n2 ).
(SetP�n2 , �) is not a band.An idempotent subsemigroup S is called maximal idempotentsubsemigroup if
S � T =) S = T or T 6� E (SetP�n2 ).
Theorem
There are exactly two maximal idempotent subsemigroups of (SetP�n2 , �).
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 13 / 15
![Page 72: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/72.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��A is not idempotent since A � A =
��13 241 2
�,
�12341
�,
�12342
��A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 73: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/73.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��A is not idempotent since A � A =
��13 241 2
�,
�12341
�,
�12342
��A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 74: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/74.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��A is not idempotent since A � A =
��13 241 2
�,
�12341
�,
�12342
��A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 75: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/75.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��A is not idempotent since A � A =
��13 241 2
�,
�12341
�,
�12342
��A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 76: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/76.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��
A is not idempotent since A � A =��
13 241 2
�,
�12341
�,
�12342
��A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 77: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/77.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��A is not idempotent since A � A =
��13 241 2
�,
�12341
�,
�12342
��
A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 78: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/78.jpg)
Regular elements
A 2 SetP�n2 is called regular if there is B 2 SetP�n2 withA � B � A = A.
FactThe idempotent elements are regular.
Example
n = 2
A =��
13 242 1
�,
�12341
�,
�12342
��A is not idempotent since A � A =
��13 241 2
�,
�12341
�,
�12342
��A is regular since A � A � A = A (i.e. A = B)
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 14 / 15
![Page 79: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/79.jpg)
Regular semigroups
A semigroup is called regular if all its elements are regular.
Fact
SetP�n2 is not regular
A regular subsemigroup S is called maximal regular subsemigroup if
S � T =) S = T or T is not regular.
Theorem
There are exactly two maximal regular subsemigroups of SetP�n2 .
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 15 / 15
![Page 80: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/80.jpg)
Regular semigroups
A semigroup is called regular if all its elements are regular.
Fact
SetP�n2 is not regular
A regular subsemigroup S is called maximal regular subsemigroup if
S � T =) S = T or T is not regular.
Theorem
There are exactly two maximal regular subsemigroups of SetP�n2 .
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 15 / 15
![Page 81: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/81.jpg)
Regular semigroups
A semigroup is called regular if all its elements are regular.
Fact
SetP�n2 is not regular
A regular subsemigroup S is called maximal regular subsemigroup if
S � T =) S = T or T is not regular.
Theorem
There are exactly two maximal regular subsemigroups of SetP�n2 .
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 15 / 15
![Page 82: Semigroups of sets of n-ary functions - Masarykova …ameql.math.muni.cz/sites/default/files/koppitz_0.pdf · Semigroups of sets of n-ary functions Jörg Koppitz Potsdam University](https://reader031.vdocument.in/reader031/viewer/2022030409/5a94cd587f8b9ab6188c0058/html5/thumbnails/82.jpg)
Regular semigroups
A semigroup is called regular if all its elements are regular.
Fact
SetP�n2 is not regular
A regular subsemigroup S is called maximal regular subsemigroup if
S � T =) S = T or T is not regular.
Theorem
There are exactly two maximal regular subsemigroups of SetP�n2 .
Jörg Koppitz (Institute) Semigroups of sets of n-ary functions SSAOS 2016 (05/09/2016) 15 / 15