Infinite Chains of Solid Varieties of Arbitrary Types
by
J. Koppitz
University of Potsdam

A variety V of a given type is called solid if every identity in V is satisfied as a hyperidentity, i.e. if for every substitution of terms of V of the appropriate arity for the operation symbols in an identity s = t, the resulting identity holds in V. K. Denecke and S. L. Wismath have determined infinite chains of solid varieties of semigroups. Recently, we found two different infinite chains of solid varieties of type (n). In this paper we construct for any type an infinite chain of solid varieties.

Date received: December 15, 2000