5
$\begingroup$

Let $G$ be a finite group, $H$ and $K$ subgroups of $G$ such that $G=HK$. Show that there exists a $p$-Sylow subgroup $P$ of $G$ such that $P = (P \cap H)(P \cap K)$.

It is not hard to prove that there exist $p$-Sylow subgroups of $H$ and $K$, $P_1$ and $P_2$ respectively, such that $P_1 \cap P_2$ is a $p$-Sylow subgroup of $H \cap K$, but I cannot guarantee that $P_1P_2$ is a subgroup of $G$ (and thus the $p$-Sylow of $G$ that we are looking for). Is there any way to complete the proof or it is not the right way?

  • 1
    Ah, so it is I wasn't reading the second condition correctly.2011-06-01

1 Answers 1

5

The following steps lead to a solution:

(1) Let us first find a Sylow $p$-subgroup $P$ of $G$ such that $P\cap H$ is a Sylow $p$-subgroup of $H$ and $P\cap K$ is a Sylow $p$-subgroup of $K$. Let $P_1$ be a Sylow $p$-subgroup of $H$ and let $P_2$ be a Sylow $p$-subgroup of $K$. Choose a Sylow $p$-subgroup $Q$ of $G$ such that $P_1\subseteq Q$. We know that there exists $g\in G$ such that $P_2\subseteq Q^g$. In particular, $Q\cap H=P_1$ and $Q^g\cap K=P_2$.

(2) We can write $g=hk$ for some $h\in H$ and $k\in K$. Use this to find a Sylow $p$-subgroup $P$ of $G$ such that $P\cap H$ and $P\cap K$ are Sylow $p$-subgroups of $H$ and $K$, respectively.

(3) It is clear in this situation that $P=(P\cap H)(P\cap K)$.

Thank you for asking this question! It encouraged me to think about finite groups (a beautiful subject) which I have not done for a few months. If you have further questions, please do not hesitate to ask them.

  • 3
    For (3) I had to count elements. Is it easy to show how to factor an element of P into a product of elements of P∩H and P∩K? If K was normal, then you could conjugate "h" into P∩H without disturbing K, but I don't see it in general.2011-06-01