M-Strongly Solid Varieties and Q-Free Clones

Abstract

A variety of algebras is called strongly solid if and only if every its identity is a strong hyperidentity. The clone of a strongly solid variety is free with respect to itself. M-solid varieties generalize the concept of solidity. In this paper, we describe the clone of an arbitrary M-strongly solid variety.