Suppose were finite, say . There are at most left cosets, each with elements by part (i), and they partition . Hence would be a finite set with at most elements. This contradicts the assumption that is an infinite group. Therefore .
Articles by others on the same topic
There are currently no matching articles.