Equational Noethericity of metabelian \(r\)-groups (Q2191348)

Assume a group \(G\) has a normal series \(G = G_1 > G_2 > \dots > G_m > G_{m+1} = 1\) with abelian quotients \(G_i/G_{i+1}\). The action of \(G\) on \(G_i\) by conjugation determines on \(G_i/G_{i+1}\) the structure of a (right) module over the group ring \(\mathbb{Z}[G/G_i]\). Denote by \(R_i\) the quotient ring of \(\mathbb{Z}[G/G_i]\) by the annihilator of \(G_i/G_{i+1}\), so that we can regard \(G_i/G_{i+1}\) as a right \(R_i\)-module. The group \(G\) is called an \(r\)-group whenever \(G_i/G_{i+1}\) is \(R_i\)-torsion-free and the canonical mapping \(\mathbb{Z}[G/G_i] \rightarrow R_i\) is injective on \(G/G_i\). The author proves the following main result of the paper: Theorem. Every metabelian \(r\)-group is equationally Noetherian. Recall that a group is called equationally Noetherian whenever each system of equations over it with a finite set of unknowns is equivalent to some finite subsystem.