Let $H, K$ be subgroups of $G$ with finite indexes, and $K\lhd G$, $H\lhd G$. Show $H \cap K$ has finite index.
We were taught only first and second homomorphisms theorems, and not all the indexes inequilities etc'. Is there a way going around these index inequilities? Also, is normality transitive?
Thanks!