Abstract:
In connection with the notion of a polyidentity, introduced by O. N. Golovin, we introduce the notion of the polyvariety of groups and we generalize Birkhoff's theorem on varieties of groups for the case of polyvarieties. We also present several examples of polyvarieties of groups.