3
$\begingroup$

Let $G$ be a finite group and $H.

I have shown that $\left[G:H\cap K\right]\leq\left[G:H\right]\left[G:K\right]$

But I do not know where to begin to prove the equality in case these indexes are coprime.

I'd appreciate it much if a hint could be given.

3 Answers 3

5

Two hints:

1) $[G: H \cap K] = [G:H][H: H \cap K] = [G:K][K: H \cap K]$.
2) if $a \vert bc$ and $gcd(a,b) = 1$, then $a \vert c$.

  • 0
    That was VERY helpful.. thank you very much2011-11-27
2

I would first show that $[G:H \cap K] = [G:H] \cdot [H : H\cap K]$.

0

First of all, you can consider a homomorphism between $H$\times$K$ to $G$ taking elements of the form $(h,k)$ to $hk$. Then consider the kernel of this homomorphism and try to apply first isomorphism theorem. Of course, for a full writing, firstly you should verify that the map we define is actually a well-defined group homomorphism.

By this attempt, you will get an inequality not an equality that @user5262 wrote. But you will be one step further. Then use coprimeness to reach the equality.