Assertion: abelian group's subgroup | /r/HasProperty | field
Facets:
Source sentences:
text: For finitely generated linear groups, however, the von Neumann conjecture is true by the Tits alternative: every subgroup of GL(n,k) with k a field either has a normal solvable subgroup of finite index (and therefore is amenable) or contains the free group on two generators.