Computer solutions of problems in inverse semigroups

Araújo, João; McCune, William

http://hdl.handle.net/10400.2/2002

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
5.pdf		241.09 KB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Araújo, João

McCune, William

Resumo(s)

In 1981, Tamura posed a number of problems regarding the axiomatic definition of inverse semigroups. The main goal of this article is to use automated reasoning to solve these problems. In the process, we find some new defining sets of identities for the class of inverse semigroups and provide a single identity for groups in terms of two binary operations.

Palavras-chave

Automated reasoning Equational logic Groups Luver semigroup

URI

http://hdl.handle.net/10400.2/2002

Citação

Araújo, João; McCune, William - Computer solutions of problems in inverse semigroups. "Communications in Algebra" [Em linha]. ISSN 0092-7872 (Print) 1532-4125 (Online). Vol. 38, nº3 (2010), p. 1104-1121

Editora

Taylor & Francis

Coleções

Matemática e Estatística | Artigos em revistas internacionais / Papers in international journals

Ver registo completo