The Product of Distinct Sylow $p$-Subgroups Can Never be a Subgroup Problem 544

Let $G$ a finite group and let $H$ and $K$ be two distinct Sylow $p$-group, where $p$ is a prime number dividing the order $|G|$ of $G$.

Prove that the product $HK$ can never be a subgroup of the group $G$. Add to solve later

Hint.

Use the following fact.

If $H$ and $K$ are finite subgroups of a group $G$, then we have
$|HK|=\frac{|H| |K|}{|H \cap K|}.$

Proof.

Let $p^{\alpha}$ is the highest power of $p$ that divides $|G|$.
That is, we have
$|G|=p^{\alpha}n,$ where $p$ does not divide the integer $n$.

Then the orders of the Sylow $p$-subgroups $H, K$ are $p^{\alpha}$.

Since the intersection $H\cap K$ is a subgroup of $H$, the order of $H \cap K$ is $p^{\beta}$ for some integer $\beta \leq \alpha$ by Lagrange’s theorem.
As $H$ and $K$ are distinct subgroups, we must have $\beta < \alpha$.

Then the number of elements of the product $HK$ is
\begin{align*}
|HK|&=\frac{|H| |K|}{|H \cap K|}\\[6pt] &=\frac{p^{\alpha} p^{\alpha}}{p^{\beta}}=p^{2\alpha-\beta}.
\end{align*}
Since $\beta < \alpha$, we have $2\alpha-\beta > \alpha$.

It follows that the product $HK$ cannot be a subgroup of $G$ since otherwise the order $|HK|=p^{2\alpha-\beta}$ divides $|G|$ by Lagrange’s theorem but $p^{\alpha}$ is the highest power of $p$ that divides $G$. Add to solve later

More from my site

You may also like...

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Group Theory The Normalizer of a Proper Subgroup of a Nilpotent Group is Strictly Bigger

Let $G$ be a nilpotent group and let $H$ be a proper subgroup of $G$. Then prove that \$H \subsetneq...

Close