Algebraic properties of totally irreducible elements of clone lattices

摘要

Totally join-^s(meet-) irreducible elements are important for algebraic lattices since the join-(meet-) generates them. We study such elements for clone lattices, particularly for the clone lattice on a k-element universe. We show that in this case the set of totally join-^s(meet-) irreducible clones is countable; in particular that there are 2/sup k-1/(2/sup k/-2) countable descending chains of such clones.