A proper finite-index subgroup of a torsion-free group cannot be a direct summand when the complement is a subgroup of that same free abelian group. Indeed, if , every has because the quotient has order eighteen. But also , so by the trivial intersection. The ambient group is torsion-free, forcing and hence . This would give , contrary to index eighteen. Thus is not a direct summand.
Articles by others on the same topic
There are currently no matching articles.