Noetherian modules over nilpotent groups of finite rank (Q1176767)

In a previous paper [Algebra Logika 24, 631-666 (1985); translated in Algebra Logic 24, 412-436 (1985; Zbl 0604.20037)], the authors stated the following result. Theorem. Let \(F\) be a finite field and \(J\) be the group ring of an infinite cyclic group over \(F\). Let \(G\) be a nilpotent group of finite torsion-free rank, and let \(A\) be a noetherian \(JG\)-module of infinite \(J\)-rank. If \(u\) is a prime in \(J\), then \(A/Au\) is infinite unless \(u\) belongs to one of a finite number of associate classes in \(J\). The proof of this result given in (loc. cit.) was not quite complete, and the authors now remedy this.