A note on normal varieties of monounary algebras
Ivan Chajda, Helmut Länger (2002)
Czechoslovak Mathematical Journal
Similarity:
A variety is called normal if no laws of the form are valid in it where is a variable and is not a variable. Let denote the lattice of all varieties of monounary algebras and let be a non-trivial non-normal element of . Then is of the form with some . It is shown that the smallest normal variety containing is contained in for every where denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of consisting of all normal...