Theorem 4.17: if conjugation on a free abelian normal subgroup has an eigenvalue off the unit circle then the group has a free subsemigroup of rank two

Initializing...

Theorem 4.17: if conjugation on a free abelian normal subgroup has an eigenvalue off the unit circle then the group has a free subsemigroup of rank two · Prove2Me