I'm studying group theory for a new exam that I will have to take in 3-4 months. I was looking for some exercises online and I found my Professor's page, where I found the following:
Let $G$ be a finite group and let $H$ and $K$ be normal subgroups of $G$ where $G = HK$. Consider $P$ a p-Sylow subgroup of $G$. Show that $P = (P \cap H)(P \cap K)$.
One of the inclusion is trivial, but what about the other one? I've tried to use properties of powers as suggested by a friend, but I'm unable to conclude anything. I'm stuck :( I'm familiar with the meaning of the objects written above, however, I do not have yet the ability to show the result on my own. If someone of you could explain to me the logic behind this (kind of) proof(s), I'd be more than excited to read it!
Thank you so much!