On Mal’cev’s Multiplication of Antivarieties of Algebraic Systems
In this paper it is proved that subantivarieties of an antivariety K form a semigroup with respect to Mal’cev’s multiplication whenever K is an antivariety of algebraic systems whose signature Ω contains only finite number of function symbols.We show that the condition of finiteness of the set of fu...
Saved in:
Published in | Lobachevskii journal of mathematics Vol. 39; no. 1; pp. 89 - 92 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
Moscow
Pleiades Publishing
2018
Springer Nature B.V |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | In this paper it is proved that subantivarieties of an antivariety K form a semigroup with respect to Mal’cev’s multiplication whenever K is an antivariety of algebraic systems whose signature Ω contains only finite number of function symbols.We show that the condition of finiteness of the set of function symbols from Ω is significant. Semigroups of subantivarieties of antivarieties of algebras are characterized. |
---|---|
ISSN: | 1995-0802 1818-9962 |
DOI: | 10.1134/S1995080218010158 |