On the laws of a metabelian variety

Many varieties of groups are known to have a finite basis for their laws (for the definition and general properties of varieties, see [6]-[8]). Among such varieties are any variety consisting of nilpotent groups of bounded class [4] and any variety generated by a finite group [9]. It is not known whether all varieties have a finite basis for their laws. In this paper we prove the following theorem.