4
$\begingroup$

I'm doing some exercises on group-theory but got stuck in the following question:

Let $G$ be a group such that for all $a \in G\setminus\{e\}$, $a^2 = e$. Prove that $|G|$ is even.

I tried using Lagrange's theorem but perhaps I still don't understand it fully for I was not capable of finishing it.

Could you shed some enlightenment on the matter?

Thanks in advance.

  • 0
    what about the group just containing one element, the identity?2011-02-02
  • 0
    You're right. I forget to write that a can't be e. Thanks for noticing it.2011-02-02
  • 0
    It doesn't matter. Ofc, $e^2 = e$.2011-02-02
  • 2
    it does not matter if you assume $a\not= e$, but you need to say that $G$ is nontrivial, otherwise as Chris noted the claim is false, even in its revised form (as for the trivial group it is vacuously true.)2011-02-02
  • 0
    @Asaf Karagila: I understood. Thanks for taking the care.2011-02-02

2 Answers 2

5

HINT: Let $a\not=e$. If $a^2=e$, how many elements you got in the subgroup generated by $a$? Apply Lagrange......

NOTE: written at the same time as Myself's answer......

5

One must obviously assume $G$ is a nontrivial finite group.

In this case $G$ has a subgroup $H = \{e,a\}$ of order 2, for any $a\in G$ that is not the unit. Therefore by Lagranges theorem the order of H divides the order of G, in other words: $|G|$ is even.

  • 0
    That's the straightest answer I can think of. But no need to look at H. If for all $a \in G \text{ such that } a \neq e$, $a^2 = e$, then they all are of order two. However, you don't need all of them to satisfy this. If one element $x$, not being $e$, satisfies $x^2 = e$, then its order divides the order of $G$, that's as simple as this. Thus the result.2011-02-02
  • 0
    Actually, proving that the order of an element divides the order of the group is done via the Lagrange theorem, resoning with the cyclic group generated by that element. So one way or another, you're using that group. However, on an even more basic level you could state that $x\mapsto x\cdot a$ (where a satisfies $a^2=e$) is a involutory permutation on $G$ with no fixed points, hence the result. (Note that this is in fact equivalent to proving Lagranges thorem in this special case.)2011-02-02
  • 0
    Yeah sure. My remark was about my point of view on the clarity of exposure of the argument, not about the argument itself, since as I said that's exactly what I would have answered. I just thought adding H in there wasn't really necessary when just invoking the theorem, but this is equivalently correct as using it, of course.2011-02-03