ON THE PROBLEM OF A FINITE BASIS OF IDENTITIES IN GROUPS

Abstract

This paper contains a proof that the set of varieties of groups has the cardinality of the continuum. This implies the existence of an infinite system of group identities not equivalent to any finite system.