Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How can I show that every group of order $4$ is abelian?

Let's denote $e,a,b,c$ as the four elements of the group.

Since $e$ is identity, we have $e*x=x*e$ for every $x$:

$$\begin{array}{|c|cccc|} \hline & e & a & b & c \\\hline e & e & a & b & c \\ a & a & & & \\ b & b & & & \\ c & c & & & \\\hline \end{array}$$

Now $a*a=$? We have several possibilities.

If I choose $a*a=b$ I can show $a*b=a*(a*a)=(a*a)*a=b*a$.

But so far I have shown only that $a$ and $b$ commute, there are also other pairs. And I have only discussed the choice $a*a=b$, there are also other possibilities. Is there a simpler way to do this?

share|improve this question
What are the possible orders of the elements? –  Daniel Fischer Jul 14 '13 at 20:44
Downvoted because 1. It shows no effort, 2. It looks like homework but is not tagged as such, and 3. Even a pure brute-force approach wouldn't take long. –  dfeuer Jul 14 '13 at 20:52
If $|G|=4$ then order of any element is either 1, 2 or 4. If there is element of order 4, it is cyclic. If all non-identity elements are of order 2, the group is commutative. –  Martin Sleziak May 16 at 12:19
Non-Abelian Group has Order Greater than 4 at ProofWiki. –  Martin Sleziak May 16 at 17:52

6 Answers 6

Consider a group $G$ of order $4$. Suppose, towards a contradiction, that $G$ is not abelian. Then there must exist some distinct non-identity elements $x,y\in G$ such that $xy\ne yx$. But notice that:

  • $xy≠e$ and $yx≠e$ (since $x$ and $y$ don’t commute, so $y≠x^{-1}$)
  • $xy≠x$ and $yx≠x$ (since by hypothesis $y≠e$)
  • $xy≠y$ and $yx≠y$ (since by hypothesis $x≠e$)

Thus, it follows that $e,x,y,xy,yx$ are $5$ distinct elements that are all in $G$. But this contradicts the fact that $G$ is of order $4$. Thus, $G$ must be abelian, as desired.

share|improve this answer
+1 Yes, this directly shows that all groups of order $<5$ are abelian, simply because it takes so many distinct elements to merely formulate noncommutativity, so to speak. This is the very approach I usually present this fact. –  Hagen von Eitzen Jul 14 '13 at 21:04

Let $G$ be a group of order $4$. If $G$ is cyclic, we're done. If not, $x^2 = e$ for all $x \in G$, which implies $(xy)(xy) = e$ for all $x, y \in G$. Multiply on the right by $yx$ to get $xy = yx$.

share|improve this answer
You should remember to cite Lagrange's theorem and not take it for granted in this sort of situation. –  Samuel Yusim Jun 19 '14 at 22:53

There are exactly two groups of order $4$: one is cyclic, and hence abelian, the other is not cyclic, but it is abelian. To see this, I'd suggest you get your hands "dirty" with the exercise below. Completing it will help you understand both the properties a group must satisfy, and also to learn about why all order-$4$ groups are necessarily isomorphic to one of two abelian groups of order $4$: $\mathbb Z_4$, and the Klein $4$-group.

Exercise: Try to complete the Cayley table for a group with elements $e, a, b, c$: one of which, say $e$, must be the identity. We know that every element must appear once and only once in each row and in column. Show that there are no more than, and no fewer than, two groups of order $4$, up to isomorphism. Confirm that each is abelian (the entries will be symmetric about the main diagonal of the $4\times 4$ Cayley table.)

share|improve this answer
I think that we can take another way to prove this , which is , prove that any group of order less than $6$ is abelian , this was a theorem and its prove was given in a text called , selected topics in group theory . This is more general , hence stronger , result than we are asked!. –  Maths Lover Jul 16 '13 at 1:07
Adriano way of proving " an above answer " uses the same methods in the proof of this theorem. –  Maths Lover Jul 16 '13 at 1:09
Yes, indeed, @MathsLover. I think the OP is very new to group theory, so I was trying to suggest a method that the OP could use to get insight into the properties of a group, an abelian group, etc. Given that the task at hand (stated problem)...it seems the OP is first encountering the definitions of a group and an abelian group! –  amWhy Jul 16 '13 at 1:14

HINT: There are only two groups of order $4$. One of them has an element of order $4$; the other one doesn’t.

share|improve this answer

There are three possible scenarios:

  • The group has an element of order 4

Let $x$ be the element of order $4$, then the group consists of $e,x,x^2, x^3$, which is commutative (actually cyclic)

  • The group has an element of order 3

Let $x$ be the element of order $3$, then the group consists of $e,x,x^2$ and one more element $y$.

Then $xy$ has to be $e, x, x^2$ or $y$, and it is trivial to check that none of them is possible. This case is impossible.

  • Every element has order at most 2

Then if $x,y \in G$ the elements $x, y$ and $xy$ have order 1 or 2. We have $x^2=y^2=(xy)^2=e$.

Then $$xxyy=x^2y^2=(xy)^2=xyxy \Rightarrow xy=yx$$

share|improve this answer

We know that order of any element of a group divides the order of the group. So possible orders of elements of our are 1, 2, 4. Moreover, only identity has order equal to 1. So all other elements must have orders 2 or 4.

If there is an element of order 4, this group is cyclic.

So the only remaining case is that there might be a group with four elements where all non-identity elements are of order two.

We know that every group with this property is commutative, see Prove that if $g^2=e$ for all g in G then G is Abelian. or Order of nontrivial elements is 2 implies Abelian group

But for the case of 4 elements, we can also find this group by filling out the Cayley table.

Let us denote the elements of the group $G=\{e,a,b,c\}$, where $e$ is the identity. So far we know that $a^2=b^2=c^2=e$.

$$\begin{array}{|c|cccc|} \hline & e & a & b & c \\\hline e & e & a & b & c \\ a & a & e & & \\ b & b & & e & \\ c & c & & & e \\\hline \end{array}$$

Now we can continue in a sudoku-like fashion. From the cancelation law we know that we cannot have the same element twice in the same row/in the same column. (If an element appears twice in a row $x$, it means that $x*y=x*z$ for $y\ne z$. Cancelation law says that this cannot happen in a group.)

So, for example, $a*b$ equals neither $a$ nor $e$, since this would mean having repeated letter in a row $a$. But it cannot be equal to $b$ either, since $b$ already is in this column. So the only remaining possibility is $a*b=c$. Almost in the same way we get that $b*a=c$.

$$\begin{array}{|c|cccc|} \hline & e & a & b & c \\\hline e & e & a & b & c \\ a & a & e & c & \\ b & b & c & e & \\ c & c & & & e \\\hline \end{array}$$

Now we continue like this - if there is only one possibility, we can write down an element to this position. We can fill the whole table.

$$\begin{array}{|c|cccc|} \hline & e & a & b & c \\\hline e & e & a & b & c \\ a & a & e & c & b \\ b & b & c & e & a \\ c & c & b & a & e \\\hline \end{array}$$

So we see that if a group on 4 elements is not cyclic, then it must have table like this. This table is symmetric w.r.t. the main diagonal, which means that the group is commutative.

Remark 1: So far we do not know whether the above table determines a group. We only know that if a non-cyclic group on 4 elements exists, it must have table like this. It can be shown that this is indeed a group. A very laborious way to do this would be checking associativity for all triples. But if we already know about the group $(\mathbb Z_2\times\mathbb Z_2,\times)$, it is not difficult to notice that it has "the same" table. $$\begin{array}{|c|cccc|} \hline & (0,0) & (0,1) & (1,0) & (1,1) \\\hline (0,0) & (0,0) & (0,1) & (1,0) & (1,1) \\ (0,1) & (0,1) & (0,0) & (1,1) & (1,0) \\ (1,0) & (1,0) & (1,1) & (0,0) & (0,1) \\ (1,1) & (1,1) & (1,0) & (0,1) & (0,0) \\\hline \end{array}$$

Remark 2: We have in fact proved something more that was asked. We have not only shown that every group on 4 elements is commutative. We have also shown that it is either cyclic or has the table described above. This means that there are only two groups having 4 element "up to isomorphism" (=all other groups have the same table, only elements are "renamed"). Namely, every group with $|G|=4$ is isomorphic either to $(\mathbb Z_4,+)$ or to $(\mathbb Z_2\times\mathbb Z_2,\times)$.

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