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

I tried to prove the following theorem: A group with five elements is abelian.

I know only the definition of a group and a subgroup but no more.(this is a problem from Topics in Algebra by IN Herstein). I tried a few things but to no avail.

Suppose that the group is $G=\{e,g_1,g_2,g_3,g_4\}$. $g_1g_2$ cannot be $g_1$ or $g_2$ or else one of them will be the identity,$e$.So, $g_1g_2$ is either $g_3$ or $g_4$ or $e$.

Case I: $g_1g_2=e$.(so, $g_2g_1=e$). Then $g_1g_3=g_2$ or $g_4$($g_1g_3\not=e$,or else $g_2=g_3$). Say,$g_1g_3=g_2$. That is, $g_1=g_3^{-1}g_2\implies g_1g_2=g_3^{-1}g_2^2=e$ or in other words, $g_2^2=g_3$. Using this, $g_3g_1=g_2^2g_1=g_2(g_2g_1)=g_2$ and we have $g_1g_3=g_1g_2^2=g_2$.

Maybe, this will lead to a solution but I was wondering if there is a much smarter way to do it as this leads to a lot of casework! .

share|cite|improve this question
Easiest way: two facts which you may know already, if not they are quite easy to prove - try it. (1) Any group with a prime number of elements is cyclic. (2) Any cyclic group is abelian. – David Aug 26 '14 at 12:52
What is the order of $g_1$? what is the subgroup generated by $g_1$? it is abelian? – Hamou Aug 26 '14 at 12:54
up vote 7 down vote accepted

Proposition 1: Any group of prime order is cyclic.

Let $G$ be a non trivial group of order $p$ and take $g\in G$, $g\neq1$. So $\langle g\rangle$ is a subgroup of $G$, hence its order must divide $p$, which is prime, so $|\langle g\rangle|=p$, hence $\langle g\rangle=G$.

Proposition 2: Any cyclic group is abelian.

A finite cyclic group is by definition of the type $G=\langle g\rangle:=\{1,g,g^2,\dots,g^{n-1}\}$. The fact its elements commute follows easily.

share|cite|improve this answer
My feeling is that this is the best solution. – Tomek Kania Aug 26 '14 at 20:25
Many thanks!!! :-) – Joe Aug 26 '14 at 20:26
A beautiful and simple solution indeed! – user96343 Aug 30 '14 at 15:42

Hint: suppose your group is not abelian. Then you can find two different elements, say (after renumbering) $g_1$ and $g_2$, not equal to the identity, such that $g_1g_2 \neq g_2g_1$. Then the elements $\{e, g_1,g_2, g_1g_2, g_2g_1\}$ are all different. Now try to derive a contradiction (look at $g_1^2$ - which element of the set is this? Do the same for $g_1g_2g_1$).

share|cite|improve this answer
Anyone who knows group theory could have answered this by referring to Lagrange’s theorem. I like this answer for keeping it completely elementary – ziggurism Aug 26 '14 at 15:17
This is beautiful! Very neat trick. – Cameron Williams Feb 6 '15 at 5:28

It depends on what facts you have available, but you can see this quickly if know the easily deduced fact that in a group $G$ of order $n$ the order of every element is a factor of $n$. So, every element of a group of order $5$ has order $1$ or $5$, and only the identity has order $1$, by definition. Then, any other element $g$ has order $5$, so every element is a power of $g$, and so the group is abelian, and in fact $G \cong \mathbb{Z}_5$. NB this argument only used that $5$ is prime, so it works as well for any prime order.

share|cite|improve this answer

It is known that the order of a conjugacy class from a group element divides the order of the group. With $|G|=5$, this results either in one conjugacy class with $5$ elements, or five conjugacy classes with one element. Since the identity element always has its own conjugacy class, the first case is impossbible. Because all conjugacy classes have only one element, is $G$ commutative.

share|cite|improve this answer
The fact that the size of a conjugacy class divides the order of the group is even less elementary than the fact that the order of a subgroup divides the order of the group. – Dustan Levenstein Aug 26 '14 at 20:48
You're right, but this non-elementary fact gives a short proof, which IMHO is favourable in algebra. – Thijs Aug 27 '14 at 7:47
but clearly inappropriate for this particular question. – Dustan Levenstein Aug 27 '14 at 13:21

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.