17
$\begingroup$

Let $G$ be a group with the property that for any set of three distinct elements in $G$, say $x$, $y$, $z$, at least two of them will commute. Prove that $G$ is abelian.

I have no idea how to start this problem. How do I use the fact that two elements for any set of three elements of $G$ commute.

  • 1
    Do you know the lemma that a group is never the union of two proper subgroups? That makes this problem really simple (I used this strategy in my solution.)2015-12-07

2 Answers 2

23

Given $a,b\in G$, consider the three elements $a,b$, and $a^{-1}b^{-1}$. If $a$ and $b$ don’t commute, then $a^{-1}b^{-1}$ commutes with at least one of $a$ and $b$. Say it commutes with $b$: then $aba^{-1}b^{-1}=aa^{-1}b^{-1}b=1_G\;,$ and $a$ and $b$ commute. If instead $a^{-1}b^{-1}$ commutes with $a$, $a^{-1}b^{-1}ab=aa^{-1}b^{-1}b=1_G\;,$ and again $a$ commutes with $b$.

Added: As Steve D points out, $a^{-1}b^{-1}$ may be equal to one of $a$ and $b$, in which case I don’t actually have three elements of $G$. If $a^{-1}b^{-1}=a$, then $b=a^{-2}$, which certainly commutes with $a$, and the argument is similar if $a^{-1}b^{-1}=b$.

  • 8
    You could also consider $a$, $ab$ and $ba$.If $a$ does not commute with $b$, then $a$, $ab$ and $ba$ are distinct. So $a$ commutes with either $ab$ or $ba$. Multiplying the relation with $a^{-1}$ (to the left or the right), you get that $a$ and $b$ commute.2012-04-07
3

Suppose there are $a,b$ that don't commute, and denote the centralizer of $x$ as $C(x)$.

The hypothesis says that $G=C(a)\cup C(b)$. But a group can't be the union of two proper subgroups, so one of these, say $C(a)$, equals $G$.

But then $a$ is central and commutes with $b$, a contradiction. Thus $G$ is abelian.