Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.2/2000
Título: An elegant 3-basis for inverse semigroups
Autor: Araújo, João
Kinyon, Michael
Palavras-chave: Inverse semigroups
Equational logic
Equational logic
Data: 2011
Editora: Springer Verlag
Citação: Araújo, João; Kinyon, Michael - An elegant 3-basis for inverse semigroups. "Semigroup Forum" [Em linha]. ISSN 0037-1912 (Print) 1432-2137 (Online). Vol. 82, nº 2 (Apr. 20111), p. 319-323
Resumo: 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 ⟨2, 1⟩ satisfying these three identities is an inverse semigroup and the unary operation coincides with the usual inversion on such semigroups.
Peer review: yes
URI: http://hdl.handle.net/10400.2/2000
Versão do Editor: http://www.springerlink.com/content/53465r88157q5790/
DOI: 10.1007/s00233-010-9280-8
Aparece nas colecções:Matemática e Estatística - Artigos em revistas internacionais / Papers in international journals

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
2.pdf92,45 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.