Article
Keywords:
monounary algebra; variety; normal variety; choice algebra
Summary:
A variety is called normal if no laws of the form $s=t$ are valid in it where $s$ is a variable and $t$ is not a variable. Let $L$ denote the lattice of all varieties of monounary algebras $(A,f)$ and let $V$ be a non-trivial non-normal element of $L$. Then $V$ is of the form ${\mathrm Mod}(f^n(x)=x)$ with some $n>0$. It is shown that the smallest normal variety containing $V$ is contained in ${\mathrm HSC}({\mathrm Mod}(f^{mn}(x)=x))$ for every $m>1$ where ${\mathrm C}$ denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of $L$ consisting of all normal elements of $L$ is isomorphic to $L$.
References:
[3] E. Jacobs and R. Schwabauer:
The lattice of equational classes of algebras with one unary operation. Am. Math. Monthly 71 (1964), 151–155.
DOI 10.2307/2311743 |
MR 0162740
[4] D. Jakubíková-Studenovská:
Endomorphisms and connected components of partial monounary algebras. Czechoslovak Math. J. 35 (1985), 467–490.
MR 0803041
[5] D. Jakubíková-Studenovská:
On completions of partial monounary algebras. Czechoslovak Math. J. 38 (1988), 256–268.
MR 0946294
[6] O. Kopeček and M. Novotný:
On some invariants of unary algebras. Czechoslovak Math. J. 24 (1974), 219–246.
MR 0347703
[7] I. I. Mel’nik:
Nilpotent shifts of varieties. Math. Notes (New York) 14 (1973), 692–696.
MR 0366782