Abstract

Let τ : F → N be a type of a variety V . Every partition Pof the set F determines a so-called P-compatible variety. We consider thevarieties GnP defined by so-called P-compatible identities of Abelian groupswith exponent n. Besides, we study a connection between the lattice of allpartitions of the set F and the lattice of all subvarieties of the variety definedby some kind of P-compatible identities — externally compatible identitiessatisfied in the class of all Abelian groups with exponent n