Rosenblatt's Lemmas 4.8 and 4.9 in the form Chou uses them: with no free subsemigroup on two generators, a normal subgroup with virtually polycyclic quotient is finitely generated

Initializing...

Rosenblatt's Lemmas 4.8 and 4.9 in the form Chou uses them: with no free subsemigroup on two generators, a normal subgroup with virtually polycyclic quotient is finitely generated · Prove2Me