3

The question is as follows: prove or disapprove: every group of order $135$ must be abelian.

I started like this: $G = H \times\ K$ when $H$ is a normal 5-sylow subgroup and $K$ is a normal 3-sylow subgroup (both normal from sylow theory).

$H$ is cyclic and therefor abelian, but what about $K$? if it's cyclic then it proves the statement. if not, I'm not sure how to continue...

I'm not sure how to continue from here.

1 Answers1

3

It is enough to exhibit a nonabelian group of order $135$ of the form $C_5 \times K$, where $K$ is a nonabelian group of order $27$.

The set of all matrices of the form $$\begin{pmatrix}1&a&b\\0&1&c\\0&0&1\end{pmatrix}$$ with entries in $\mathbb Z_3$ is a nonabelian multiplicative group of order $27$, called the Heisenberg group over $\Bbb{Z}_3$.

lhf
  • 216,483