Abstract
Hyperidentities and hypervarieties have been defined by Taylor in [4]. A hypervariety is a class of varieties closed under the formation of equivalent, product, reduct and sub-varieties. Hyperidentities are used to define hypervarieties, in the same way that ordinary identities define varieties. In this paper we consider hyperidentities for hypervarieties generated by two types of varieties of semigroups, varieties of bands and varieties of nilpotent semigroups. We introduce two operators on the lattice of varieties of semigroups, the closure and hypervariety operators, and study their properties.
Similar content being viewed by others
References
A. P.Birjukov,The lattice of varieties of idempotent semigroups, All-Union Colloquium on General Algebra, Riga, 1967, 16–18.
C. Fennemore,All varieties of bands, Semigroup Forum,1, 1970, 172–179.
J. A. Gerhard,The lattice of equational classes of idempotent semigroups, Journal of Algebra,15, 1970, 195–223.
W. Taylor,Hyperidentities and hypervarieties, Aequationes Mathematicae,23, 1981, 30–49.
S. L.Wismath, The joins of some varieties of semigroups, submitted.
Author information
Authors and Affiliations
Additional information
The results described in this paper form part of the author's Ph.d thesis, submitted to Simon Fraser University, Burnaby, Canada. The author is grateful for the help of her supervisor, Dr. N. R. Reilly, and for the financial support received from Simon Fraser University.
Rights and permissions
About this article
Cite this article
Wismath, S.L. Hyperidentities for some varieties of semigroups. Algebra Universalis 27, 111–127 (1990). https://doi.org/10.1007/BF01190257
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190257