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

Proposition: An abelian group is not isomorphic to an non-abelian group.

I need to prove this proposition and conclude that: $$ \Bbb{Z}/8\Bbb{Z},\Bbb{Z}/4\Bbb{Z}\times \Bbb{Z}/2\Bbb{Z},\Bbb{Z}/2\Bbb{Z}\times\Bbb{Z}/2\Bbb{Z}\times\Bbb{Z}/2\Bbb{Z}\not\cong D_4 $$ $$ \Bbb{Z}/8\Bbb{Z},\Bbb{Z}/4\Bbb{Z}\times \Bbb{Z}/2\Bbb{Z},\Bbb{Z}/2\Bbb{Z}\times\Bbb{Z}/2\Bbb{Z}\times\Bbb{Z}/2\Bbb{Z}\not\cong Q $$ ($D_4$ stands for the dihedral group of order eight and $Q$ for the quaternion group of order eight)

But I have no idea how to begin? Can someone give me some hints/tips?

share|cite|improve this question
Do you know what "isomorphic" means? – Chris Eagle Dec 2 '12 at 20:30
Yes, an isomorphism is a bijective homomorphism. – Onur Dec 2 '12 at 20:31
up vote 6 down vote accepted

Suppose you have an abelian group $G$ and an isomorphism $\varphi: G \to H$, for some group $H$. Then for any $a,b \in G$, you have that $\varphi(ab) = \varphi(a)\varphi(b)$, but since $ab = ba$ ($G$ is abelian), we have that $\varphi(ab) = \varphi(ba) = \varphi(b)\varphi(a)$, so

$\varphi(a)\varphi(b) = \varphi(b)\varphi(a)$

And since $\varphi$ is surjective, $H$ must be abelian.

I have proved "If $G \simeq H$ and $G$ is abelian, then $H$ is abelian", which is equivalent to saying "If $H$ is not abelian then either $G$ is not abelian or $G \not\simeq H$". Since we have assumed that $G$ is abelian, we know that $G \not\simeq H$, and we are done.

share|cite|improve this answer

Let $N$ be the non-abelian group and $A$ be the abelian group.

Take $(a, b)\in N^2$ that do not commute, ie $ab \not= ba$.

Let $f$ be your bijection from $N$ to $A$.

$f(ab)=f(a)f(b)=f(b)f(a)=f(ba)$ because $f(a)$ and $f(b)$ are in $A$ which is abelian.

So since $f$ is a bijection, $ab = ba$, absurd.

share|cite|improve this answer

Suppose $\,f:A\to G\,$ is a group isomorphism, with $\,A\,$ abelian, $\,G\,$ non-

abelian, then

$$\exists\,x,y\in G\,\,s.t.\,\,xy\neq yx$$

But since $\,f\,$ is bijective there exist $\,a,b\in A\,$ s.t.

$$f(a)=x\,\,,\,\,f(b)=y\Longrightarrow xy=f(a)f(b)=f(ab)=f(ba)=f(b)f(a)=yx ...$$

share|cite|improve this answer

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.