8
$\begingroup$

Let $G$ is a group and $H<G$ 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.

$\endgroup$
1
  • 4
    $\begingroup$ Look at the size of the cosets of $H$. $\endgroup$
    – Arthur
    Sep 6 '12 at 21:20
11
$\begingroup$

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.

$\endgroup$
8
  • $\begingroup$ why "and so is $x_0H$" ? can you please explain ? $\endgroup$
    – Belgi
    Sep 6 '12 at 21:25
  • 1
    $\begingroup$ @Belgi There is a bijection between the elements of $H$ and the elements of $x_0H$ given by $x\rightarrow x_0x$. $\endgroup$
    – Arthur
    Sep 6 '12 at 21:27
  • $\begingroup$ @Belgi I've added the detail. $\endgroup$ Sep 6 '12 at 21:27
  • $\begingroup$ backslash is for the quotient or $-$ (minus) of sets ? $\endgroup$
    – Belgi
    Sep 6 '12 at 21:30
  • 1
    $\begingroup$ I would suggest the following, which I believe is clearer: "[...], so is $x_0H$. As the map $a\mapsto x_0a$ is a bijection, we deduce that H is also finite." $\endgroup$
    – M Turgeon
    Sep 6 '12 at 22:13
1
$\begingroup$

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.

$\endgroup$
1
  • 3
    $\begingroup$ At the first line, you shoul write $g\in G\setminus H$. Why would $1$ be in $gH$? $\endgroup$ Sep 6 '12 at 21:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.