Let $G$ be a finite abelian group with elements $a_1,a_2,\dots,a_n$. If $G$ has more than one element of order $2$ then $a_1a_2\dots a_n=1$. Let $G$ be a finite abelian group with elements $a_1,a_2,\dots,a_n$.
If $G$ has more than one element of order $2$ then $a_1a_2\dots a_n=1$.  
Attempt
Clearly, if $a_i$ is not of order 2, the inverse of $a_i$ must be in the product.
So the elements left are all of order $2$ or identity, say $b_1,b_2,\dots,b_m$
Since $b_i^2=1$ for $i=1,\dots,m$.
Let $H=\{1,b_1,\dots,b_m\}$
Then $H \cong C_2\times C_2 \times\dots \times C_2$.   
For $C_2\times C_2$, it is indeed $V$-group $\{1,a,b,ab\}$. Clearly, $1abab=1$.
Assume the result holds for direct product of less than $k$ cyclic groups of order $2$.
Let $H$ be a direct product of $k$ cyclic groups of order $2$.
Write $H=\langle b_1\rangle \times \dots \times \langle b_k\rangle$.
Consider $K=\langle b_1\rangle \times \dots\times \langle b_{k-1} \rangle$.
Then the result holds for $K$. Now I need to relate this result to $H$.
 A: To finish your inductive proof, first look at the elements in $H$ that doesn't contain a factor $b_k$ (we'll include $1$ here for counting purposes). This is just the product of all elements of $K$, so by the inductive hypothesis, they all multiply to $1$.
Now look at the elements of $H$ that do contain a factor $b_k$. This is the same as above, except that each element now carries an additional factor $b_k$ (remember to include the lone $b_k$ as well). The product of all those elements is therefore $b_k^{|K|}$ times the product of all elements of $K$, which simplifies to just $b_k^{|K|}$ by the inductive hypothesis.
Lastly, note how many elements there are in $K$, and you see that $b_k^{|K|} = 1$.
One could also try to appeal to some sort of symmetry moral with this problem (this is not a valid proof, by any measure, but I personally like to think along these lines when pondering the eternal question "yeah... but why?"). Note that $(a_1a_2\cdots a_n)^2 = 1$, so $a_1a_2\cdots a_n$ is either the identity or some degree-2 element. If there is only one degree $2$ element in the group, then there's nothing wrong with $a_1a_2\cdots a_n$ being that one element. But if there are more than one, how would the group know which one to pick? The group being abelian means that there is no algebraic property that distinguishes any of the order $2$ elements, but "being the product of all the elements in the group" is a pretty distinguishing feature. The most (/ only?) consistent choice for $a_1a_2\cdots a_n$ is therefore $1$.
A: Consider $H=\{g\in G:g^2=1\}$; then $H$ is a subgroup of $G$. Moreover, the product of the elements not in $H$ is $1$, because each element has there its inverse (distinct from it).
Thus you can assume, without loss of generality, that $H=G$. Therefore $H\cong C_2^n$. If $n>1$, there is an automorphism that swaps any two components. Since the product of all elements is invariant under automorphisms…
