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

How did the author get that $L=(L \cap H)(L\cap K)$ in Lemma $5$ below.

Remark: All the groups here are finite. $H$ permutes (commutes) with $K$ means $HK=KH$ where $H$ and $K$ are subgroups of some finite group $G$.

enter image description here

Thanks in advance.

share|cite|improve this question
What primes could possibly divide $|L:(L \cap H)(L \cap K)|$? None that lie in $\pi(H)$ and none that do not lie in $\pi(H)$. – Derek Holt Nov 19 '12 at 17:42
@DerekHolt: There is no other than one. But, I do not know how to get that from analyzing $|L:(L \cap H)(L \cap K)|$. – user28083 Nov 20 '12 at 15:28
You know that $|L:L \cap K|$ is divisible only by primes in $\pi(H)$ and you know also that $|L:L \cap H|$ is divisible only be primes that do NOT lie in $\pi(H)$. – Derek Holt Nov 20 '12 at 19:36
@DerekHolt: I understand your last comment. Sorry, I still don't get it. – user28083 Nov 20 '12 at 21:04
If $|L:(L \cap H)(L \cap K)|$ is not divisible by any primes, then it must equal 1. – Derek Holt Nov 20 '12 at 22:23

Your Answer


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

Browse other questions tagged or ask your own question.