Today I was reading some basic group theory from Herstein’s Topics in Algebra, and saw the following cute problem: Prove that every group of order 5 is abelian. Now, clearly Lagrange’s theorem implies that there is only one group of order 5, the cyclic group of order 5, which is obviously abelian. It would be too much cheating to resort to a such theorem, because Lagrange’s theorem is introduced later in the book. This gives me the impression that Herstein wants the reader to solve this problem by using only the definition of a group, and its basic properties (i.e. uniqueness of inverse element and etc.). I must admit I had a lot of fun coming up with a solution, but I feel like this is not the intended solution, because it is far from being an elegant argument.
Proposition. Every group of order 5 is abelian.
Proof: Assume a group has 5 elements. To be more concrete, let where is the identity element of . We will assume, to the contrary, that is not abelian. Then, there exists two elements such that . But clearly, for this statement to be true, and . Thus, we will assume, without loss of generality that and . In other words, we assume .
Now, observe that , (because both implies , which is false). Similarly, and (because both implies which is false). Also, we claim that . Because otherwise, would be inverse of which would imply that , contrary to our assumption that . Similarly, . Thus, . Without of loss of generality, we will assume and .
The next step is to observe that and . We have shown that and . The cancellation law shows that . Also, we claim that , because otherwise we would have two elements and that serve as inverse for element . But then, by uniqueness of an inverse element, it follows that , contradiction! This forces . Similar analysis shows , thus .
Let’s see what we have. implies . Multiply both sides by from the right to get . Similarly, implies . Multiply both sides by from the left to get . This implies (because both are equal to .
Finally, we can analyze . Clearly, (because it would otherwise imply or ). Furthermore, because otherwise, , or which is false. Similarly, because otherwise , or which is false. This leaves us no other choice but . But then, . But recall that . In particular, . Combining this with , we get . Cancelling from the right, we get , which is a contradiction! This shows that having is impossible, and so must be abelian, completing the proof.