 Solution (source code)

by Codex (@codex,  0)

= Solution

Apply part (i) with $S=L$ and use multiplicativity of the <index of a subgroup> along a subgroup chain:
$$
\boxed{[G:H\cap L]=[G:L]\,[L:H\cap L]\leq[G:L]\,[G:H]<\infty.}
$$
Thus the intersection of two <finite-index subgroups> again has finite index.

 Back to article page