Abstract
Hyperidentities and hypervarieties have been defined by Taylor in [5]. A hypervariety is a class of varieties closed under the formation of equivalent, product, reduct and subvarieties. Hyperidentities are used to define hypervarieties, in the same way that ordinary identities define varieties. This paper produces some hyperidentities satisfied by various varieties of commutative semigroups, and identifies some restrictions as to what kind of hyperidentities such varieties can satisfy. It also continues the study, begun in [6], of the closure and hypervariety operators defined there, as they apply to varieties of commutative semigroups.
Similar content being viewed by others
References
Evans, T.,The lattice of semigroup varieties. Semigroup Forum2 (1971), 1–43.
Nelson, E.,The lattice of equational classes of commutative semigroups. Can. J. Math.23(5) (1971), 875–895.
Petrich, M.,All subvarieties of a certain variety of semigroups. Semigroup Forum7 (1974), 104–152.
Schwabauer, R.,A note on commutative semigroups. Proc. Amer. Math. Soc.20 (1969), 503–504.
Taylor, W.,Hyperidentities and hypervarieties. Aequationes Mathematicae23 (1981), 30–49.
Wismath, S. L.,Hyperidentities for some varieties of semigroups, to appear in Algebra Universalis.
Wismath, S. L.,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 commutative semigroups. Algebra Universalis 28, 245–273 (1991). https://doi.org/10.1007/BF01190855
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190855