An elegant 3-basis for inverse semigroups
Abstract It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: x = (xx′)x, (xx′)(y′y) = (y′y)(xx′), (xy)z = x(yz′′). The goal of this note is to prove the converse, that is, we prove that an algebra of type...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | article |
| Language: | eng |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10400.2/2000 |
| Country: | Portugal |
| Oai: | oai:repositorioaberto.uab.pt:10400.2/2000 |