2
$\begingroup$

Question: If $G$ is an infinite group, and $A, B$ subgroups of finite index in $G$, then prove $A \cap B$ has finite index in $G$.

I'm trying to show that $A\cap B$ can not have infinite index, but I can't make contradiction. I do not see where the problem in $A \cap B$ have infinite order comes from. I thought this look easy when I first saw it, but now I'm not so sure..I'm sure its true, but do not know where the contradiction comes from.

Thank you for help if you choose to help

  • 0
    This has been covered many times on this site - just type "finite index" into the search box and pick your favourite!2012-11-14

2 Answers 2

2

If $\,\{a_i\}_{i\in I}\;\;,\;\{b_j\}_{j\in J}\,$ are representatives of the (left or right) cosets of $\,A\,,\,B\,$ in $\,G\,$ , show that $\,\{a_ib_j\}_{i\in I\,,\,j\in J}\,$ represent all the cosets of $\,A\cap B\,$ in $\,G\,$ (perhaps with repetitions, though)

  • 0
    DonAntonio, please check: Is my answer linked [here](https://math.stackexchange.com/a/2954600/198044) correct?2018-10-16
2

Hint: Show that $g(A \cap B) = gA \cap gB$ holds for all $g \in G$.