Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/2146

 Title: The semidirectly closed pseudovariety generated by aperiodic Brandt semigroups Author(s): Teixeira, M. L. Keywords: SemigroupSemigrupoidGraphPseudovarietyImplicit operationPseudoidentityDecidabilitySemidirect productSemidirectly closedAlgorithm Issue date: 2001 Publisher: World Scientific and Engineering Academy and Society (WSEAS) Journal: International Journal of Algebra and Computation Citation: "International journal of algebra and computation". ISSN 0218-1967. 11:2 (2001) 247-267. Abstract(s): This paper presents a study of the semidirectly closed pseudovariety generated by the aperiodic Brandt semigroup $B_2$, denoted $\mathbf V^*(B_2)$. We construct a basis of pseudoidentities for the semidirect powers of the pseudovariety generated by $B_2$ which leads to the main result, which states that $\mathbf V^*(B_2)$ is decidable. Independently, using some suggestions given by J.~Almeida in his book Finite Semigroups and Universal Algebra", we constructed an algorithm to solve the membership problem in $\mathbf V^*(B_2)$. Type: Article URI: http://hdl.handle.net/1822/2146 DOI: 10.1142/S021819670100053X ISSN: 0218-1967 Peer-Reviewed: yes Access: Open access Appears in Collections: CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat