-solid varieties and -free clones
A fundamental result in universal algebra is the theorem of Rosenberg describing the maximal subclones in the clone of all operations over a finite set. In group theory, the maximal subgroups of the symmetric groups are classified by the O'Nan-Scott Theorem. We shall explore the similarities and differences between these two analogous major results. In addition, we show that a primitive permutation group of diagonal type can be maximal in the symmetric group only if its socle is the direct product...
Varieties whose algebras have no idempotent element were characterized by B. Csákány by the property that no proper subalgebra of an algebra of such a variety is a congruence class. We simplify this result for permutable varieties and we give a local version of the theorem for varieties with nullary operations.