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...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2011
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10400.2/2000 |
| País: | Portugal |
| Oai: | oai:repositorioaberto.uab.pt:10400.2/2000 |