A note on geometric mappings
The idempotent modification of a group is always a subdirectly irreducible algebra.
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 elements of...
Some geometrical methods, the so called Triangular Schemes and Principles, are introduced and investigated for weak congruences of algebras. They are analogues of the corresponding notions for congruences. Particular versions of Triangular Schemes are equivalent to weak congruence modularity and to weak congruence distributivity. For algebras in congruence permutable varieties, stronger properties—Triangular Principles—are equivalent to weak congruence modularity and distributivity.