On the universal theories of generalized rigid metabelian groups

We prove that studying the universal theories of generalized rigid metabelian groups reduces to those of the pairs $(A,R)$, where $R$ is a commutative integral domain and $A$ is a nontrivial torsion-free subgroup of the multiplicative group $R^{\ast}$ generating $R$.