Vrftsjtryk

Let $G={a_1,...,a_n}$ be a finite abelian group such that $nexists ane e$ with $a^2=e$

Evaluate $a_1cdotdotscdot a_n$

I thaught that a finite abelian group with the property of $a^2=eimplies a=e$ is isomorphic to $Bbb Z/pBbb Z$ with $p$ a prime, but that's not true cause $Bbb Z/9Bbb Z$ verifies this property and $9$ is not prime....

Anyway, how can one solve this exercise without using an isomorphism with a subgroup of $Bbb Z$?

Hint:

In the product $;a_1cdotldotscdot a_n;$ , pair up each element with its inverse ...(Why can you change the order of the product to do this pairing? What element cannot be paired with other element?)

Finally, unrelated to the question itself but also interesting: can you characterize the number $;n;$ ?

Let $x=a_1...a_n$

Claim: $n$ is odd (and the number of non identity elements is even)

If $xne e$ then $x^2ne eimplies (a_1...a_n)(a_1...a_n)ne e$

But since $G$ is abelian (and associative) we can change the order of the $a_i's$ to get $ene a_1a_1^{-1}cdot...cdot a_{(n-1)/2}a_{(n-1)/2}^{-1}cdot e=e$
which is absurd. So $x=e$

Now we need to prove the claim:

Consider the partition of $G$ by the classes of equivalence $xsim yiff x=y text{ or } x=y^{-1}$. All those classes should be even (except {e}) which would imply $n$ is odd. In fact if there is a class ${a=a^{-1}}$ then $a^2=eimplies a=e$. So $n$ is odd.