Notes on related structures of a universal algebra
William A. Lampe · Pacific Journal of Mathematics · 1972
The related structures of a universal algebra % that are studied here are the subalgebra lattice of % the congruence lattice of %, the automorphism group of % and the endomorphism semigroup of 51.Characterizations of these structures known, and E. T. Schmidt proved the independence of the automorphism group and the subalgebra lattice.It has been conjectured that the first three of the structures listed above are independent, i.e., that the congruence lattice, subalgebra lattice, and automorphism group are independent.One result in this paper is a proof of a special case of this conjecture.Various observations concerning the relationship between the endomorphism semigroup and the congruence lattice are also in this paper.In the last section a problem of G. Gratzer is solved, namely that of characterizing the endomorphism semigroups of simple unary algebras.(An algebra is simple when the only congruences are the trivial ones.)PROPOSITION 1. // property (**) is satisfied for , β(α 0 , α x ) satisfies property (*) m £Λβ congruence lattice of 2t.