8
$\begingroup$

Let $G$ is a group and $H such that $|G-H|<\infty$. Prove that $|G|<\infty$.

Truthfully, there is a hint for it:

$H$ cannot be an infinite subgroup.

It is clear if $|H|<\infty$, since $|G-H|<\infty$ then $|G|<\infty$ and problem will be solved. But cannot understand why "$H$ cannot be an infinite subgroup". Thanks for your help.

  • 4
    Look at the size of the cosets of $H$.2012-09-06

2 Answers 2

11

We assume that $H\neq G$ (otherwise take $G$ infinite to get a counter-example). Let $x_0\in G\setminus H$. Then $x_0 H\cap H=\emptyset $ as $H$ is a subgroup, and since $|G\setminus H|$ is finite, so is $x_0 H$ (as the map $a\mapsto x_0 a$ is a bijection). We deduce that $H$ is finite.

  • 0
    In fact,when $H$ is infinite so $gh$, $h\in H, g\in G-H$ cannot belong to $H$. A contradiction!. Thanks Davide for your time. :-)2012-09-07
1

Either $|G-H|= 0$ or there exists an element $g \in G-H$. In the first case it is clear that $G=H$ and this would allow $G$ to be infinite. And in the second: Suppose H was not finite. Then $gH\cap H = \{1\}$ and hence $gH-\{1\} \subseteq G-H$ would be infinite contrary to your assumption. Hence $H$ is finite.

With $H$ being finite and $G-H$ being finite we can conclude that $G$ is also finite.

  • 3
    At the first line, you shoul write $g\in G\setminus H$. Why would $1$ be in $gH$?2012-09-06