Theorem 4.12, core step: a polycyclic extension of a free abelian group by a nilpotent group, with no free subsemigroup of rank two, is almost nilpotent

Initializing...

Theorem 4.12, core step: a polycyclic extension of a free abelian group by a nilpotent group, with no free subsemigroup of rank two, is almost nilpotent · Prove2Me