Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a finite group and $H<G, K<G$.

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.

share|cite|improve this question
up vote 4 down vote accepted

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$.

share|cite|improve this answer
That was VERY helpful.. thank you very much – dankilman Nov 27 '11 at 17:05

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

share|cite|improve this answer

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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