Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

From a little reading, I know that for $p$ and odd prime, there are two nonabelian groups of order $p^3$, namely the semidirect product of $\mathbb{Z}/(p)\times\mathbb{Z}/(p)$ and $\mathbb{Z}/(p)$, and the semidirect product of $\mathbb{Z}/(p^2)$ and $\mathbb{Z}/(p)$.

Is there some obvious reason that these groups are nonabelian?

share|cite|improve this question
The semidirect product of two groups isn't unique; you need to specify how one group acts as automorphisms on the other. Can you write down two elements of the group that don't commute? – Qiaochu Yuan Dec 8 '11 at 19:01
a semi-direct product $N\rtimes H$ (when not adirect product) doesnt have $H$ and $N$ commute ($H$ acts by conjugation as automorphisms of $N$) – yoyo Dec 8 '11 at 19:03
A semidirect product that is not simply a direct product is by definition non-abelian. It is a very specific sort of a non-abelian. – Jack Schmidt Dec 8 '11 at 19:03
A semi-direct product (of $N$ and $H$ with respect to $\phi : H \to {\sf Aut}(N)$) is commutative iff $N,H$ are both commutative and $\phi$ is the identity everywhere. – Ewan Delanoy Dec 8 '11 at 19:06
this is as explicit as is gets – yoyo Dec 8 '11 at 19:41
up vote 5 down vote accepted

Think about it this way, suppose that you have that $G=A\rtimes_\varphi B$ where $A,B$ are abelian. You then have a short exact sequence $0\to A\to G\xrightarrow{\gamma} B\to 0$ and a backmap $B\xrightarrow{\psi}G$ such that $\gamma\circ\psi=1_B$. If you assume that $G$ is abelian then the splitting lemma for $\mathbb{Z}$-modules tells you that the sequence $0\to A\to G\to B\to0$ splits and so $G\cong A\oplus B$. Thus, if $A\rtimes_\varphi B$ is abelian, then $A\rtimes_\varphi B\cong A\oplus B$. But, it's easy to check that this is the case if and only if $\varphi$ is trivial. So, non-trivial semidirect products induce non-abelian groups.

share|cite|improve this answer
You've got your $\gamma$ over the map $B\rightarrow 0$, which you probably don't mean. – Thomas Andrews Dec 8 '11 at 20:17
Ah, yes, thank you! – Alex Youcis Dec 8 '11 at 20:19

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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