Mathematics Asked by Josef Hlava on November 6, 2021
I tried to construct a Cayley table of an algebraic structure called inverse semigroup. No success so far. I just end up with more complicated structure (monoid, group). Thank you kindly.
I may think, that this phrasing is more accurate and more to the point.
Also, I have checked many sources and didn’t find an example…
One possibility would be, that it is not possible (which I doubt). Or why would it be not possible?
One chance is to try for any set $X$, let $I(X)$ be the set of all partial bijections on $X to X$, i.e. bijections between subsets of $X to X$. The composite of partial bijections is their composite as relations (or as partial functions). In fact, any inverse semigroup is isomorphic to a sub-inverse-semigroup.
As you mentioned yourself, the set of all partial bijections on a set $X$ is an inverse monoid. If you take the set of all partial bijections that are not bijective, you get an inverse semigroup that is not a monoid. For instance, if $X$ is a two-element set, you get the five element Brandt semigroup. It can also be described as the semigroup $$ S = {a, b, ab, ba, 0} $$ generated by $a$ and $b$ under the relations $aba = a$, $bab = b$ and $aa = bb = 0$. Up to the identity, this example was given to you in a comment that you ignored and was deleted by his author. Your example is the same, in a more complicated presentation, since you use a set with $5$ elements instead of just $2$.
Another description of the semigroup is $$ S = left{pmatrix{1&0\0&0}, pmatrix{0&1\0&0}, pmatrix{0&0\1&0}, pmatrix{0&0\0&1}, pmatrix{0&0\0&0} right} $$ a description (again up to the identity) that was also given in a comment that you ignore.
Answered by J.-E. Pin on November 6, 2021
I finally solved my problem! :)
I found a structure and table which is pure inverse semigroup and it table. So solution all other similar questions is this. Behold:
'...1 2 3 4 5
1...1 1 1 1 1
2...1 2 3 1 1
3...1 1 1 2 3
4...1 4 5 1 1
5...1 1 1 4 5
I dont know how to type table :) But: no identity!, Associativity proved by Light's test :), even not commutative, and iverse by definitions aba=a, bab=b. Inverses are: a-a, b-b, c-d, d-c, e-e!!! I am so happy.
This is pure inverse semigroup!
Answered by Josef Hlava on November 6, 2021
Get help from others!
Recent Questions
Recent Answers
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP