under following conditions $G$ has only one subgroup of order $p$.

159 Views Asked by At

Let $|G|=p^m$ for $m \ge 2$. If every subgroup of $G$ of order $p^2$ is cyclic, then $G$ has only one subgroup of order $p$.

1

There are 1 best solutions below

0
On BEST ANSWER

It is easy to show that $p$-groups have non-trivial center (this is why you really need your group to be a group of order $p^k$ for some $k$). Hence you have $Z(G)\neq \{1_G\}$ in your situation. Take now an element $z\in Z(G)$ of order $p$. If $x\in G$ is another element of order $p$, denote :

$$H_1:=<z>\text{ and } H_2:=<x> $$

Then I claim that $H_1H_2$ is a subgroup of $G$ which is isomorphic to $H_1\times H_2=\frac{\mathbb{Z}}{p\mathbb{Z}}\times \frac{\mathbb{Z}}{p\mathbb{Z}}$ if $H_1\cap H_2=\{1_G\}$ (essentially $H_1$ normalizes $H_2$ because $z$ commutes with $x$ and $H_2$ normalizes $H_1$ because $z$ commutes with $x$). Because of your hypothesis it cannot be done (we have created a non-cyclic group of order $p^2$). Hence for any $x$ of order $p$ in $G$ you have that $H_1\cap H_2\neq \{1_G\}$ because of the cardinality you must then have $H_1=H_2$, whence the result.