Cancellable elements of the lattice of semigroup varieties
Sergey V. Gusev, Dmitry V. Skokov, Boris M. Vernikov

TL;DR
This paper characterizes all commutative semigroup varieties that are cancellable within the lattice of all semigroup varieties, revealing their equivalence to modular elements.
Contribution
It provides a complete classification of cancellable commutative semigroup varieties and establishes their equivalence to modular elements in the lattice.
Findings
All cancellable commutative semigroup varieties are identified.
Cancellability and modularity are shown to be equivalent properties for these varieties.
Abstract
We completely determine all commutative semigroup varieties that are cancellable elements of the lattice SEM of all semigroup varieties. In particular, we prove that, for commutative varieties, the properties of being cancellable and modular elements of SEM are equivalent.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · semigroups and automata theory · Rough Sets and Fuzzy Logic
