2
$\begingroup$

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.

$\endgroup$
2
$\begingroup$

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$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.