Minimal Characteristic Algebras for Some Properties of Identities

We consider algebras of a type , without nullary fundamental operation symbols. A structural property p of an identity of type is hereditary if for every set I of identities of type having the property p every consequence of I (derived identity) has the property p. An algebra of type we call characteristic for a hereditary property p if for every variety V of type we have: V if and only if every identity from Id(V) has the property p. In this paper we show minimal characteristic algebras for several hereditary properties, e.g., to be regular, to be normal, etc.1991 Mathematics Subject Classification 08B05