Theorem 4.7: a finitely generated solvable group with no free subsemigroup of rank two is polycyclic

Initializing...

Theorem 4.7: a finitely generated solvable group with no free subsemigroup of rank two is polycyclic · Prove2Me