Abstract
An orthodox semigroup S is called a left [right] inverse semigroup if the set of idempotents of S satisfies the identity xyx=xy [xyx=yx]. Bisimple left [right] inverse semigroups have been studied by Venkatesan [6]. In this paper, we clarify the structure of general left [right] inverse semigroups. Further, we also investigate the structure of orthodox semigroups whose idempotents satisfy the identity xyxzx=xyzx. In particular, it is shown that the set of idempotents of an orthodox semigroup S satisfies xyxzx=xyzx if and only if S is isomorphic to a subdirect product of a left inverse semigroup and a right inverse semigroup.
Similar content being viewed by others
References
Clifford, A. H. and G. B. Preston,The algebraic theory of semigroups, Amer. Math. Soc., Providence, R. I., I, 1961; II, 1967.
Hall, T. E.,On regular semigroups whose idempotents form a subsemigroup, Bull. Austral. Math. Soc. 1 (1969), 195–208.
Hall, T. E.,Orthodox semigroups, Pacific J. Math. 39 (1971), 677–686.
Kimura, N.,The structure of idempotent semigroups (1), Pacific J. Math. 8 (1958), 257–275.
Reilly, N. R. and H. E. Scheiblich,Congruences on regular semigroups, Pacific J. Math. 23 (1967), 349–360.
Venkatesan, P. S.,Bisimple left inverse semigroups, Semigroup Forum 4 (1972), 34–45.
Yamada, M.,The structure of separative bands, Dissertation, Univ. of Utah, 1962.
Yamada, M.,Regular semigroups whose idempotents satisfy permutation identities, Pacific J. Math. 21 (1967), 371–392.
Yamada, M.,On a regular semigroup in which the idempotents form a band, Pacific J. Math. 33 (1970), 261–272.
Yamada, M.,Bisimple strictly regular semigroups, Semigroup Forum 2 (1971), 154–161.
Author information
Authors and Affiliations
Additional information
Communicated by T. Saitô
Rights and permissions
About this article
Cite this article
Yamada, M. Orthodox semigroups whose idempotents satisfy a certain identity. Semigroup Forum 6, 113–128 (1973). https://doi.org/10.1007/BF02389116
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02389116