Equational Noethericity of Metabelian r-Groups

The author had earlier defined the concept of an r-group, generalizing the concept of a rigid (solvable) group. This article proves that every metabelian r-group is equationally Noetherian; i.e., each system of equations in finitely many variables with coefficients in the group is equivalent to some finite subsystem.