\(M\)-solid monoids of hypersubstitutions of type \(\tau=(2)\) (Q1281621)

An identity is called hyperidentity if it is satisfied whenever the operation symbols occurring in the identity are replaced by any terms of appropriate arity. If every identity in a variety is also a hyperidentity, the variety is called \(M\)-solid. A semigroup is called \(M\)-solid if the variety generated by it is \(M\)-solid. Mappings, which assign operation symbol terms (of appropriate arity) are called hypersubstitutions (of corresponding type); hypersubstitutions can be uniquely extended to all terms and they generate a semigroup according to composition. \(M\)-solid subsemigroups of the semigroup of all hypersubstitutions are characterized in the case where the type contains only one binary operation.