Theorem 4.12: a polycyclic group is almost nilpotent or contains a free subsemigroup of rank two

Initializing...

Theorem 4.12: a polycyclic group is almost nilpotent or contains a free subsemigroup of rank two · Prove2Me