Problem - Finite Abelian Group - Order of each element is = 2

Problem: G = {a1,a2,a3,..,an} is a finite abelian group where order of each element (except of identity of-course) is 2.

Prove
1. Order of G is of the form where k is a positive integer
2. a1.a2.a3....an = e (This is true for all values of n>2.)

My attempt for 1
If the group G, has a proper sub-group of order then it has a sub-group (may not be proper) of order . This is how I did it. Let H be a proper sub-group of order . Thus, b but b not . Consider where Hb is a coset of H. is a sub-group of order . Hence the result as there is a trivial sub-group of order 1 in G.

Any comments on this approach - is there a better way?
Any hints on 2?

first note that you don't need to assume the group is abelian, because it follows from the fact that the order of each element (except identity) is 2.

Spoiler:

implies

then, assume G has more than one element and consider subgroup A1 of G generated by a nonzero element. Order of A1 is 2. But G/A1 is also a group in which every element is an involution... if it has more than one element you can take a quotient again...and so on. This process must terminate because G is finite and every step decreases number of elemts to one half.

for 2) we have n>2 so n >= 4. select two distinct nonzero elements u,v and consider subgroup H = {0,u,v,u+v} (these are 4 distinct elements).
then, partition G into cosets by H. You can rearrange the summation a1+...+an such that you first add elements from each coset a+H and then add those results all together. But summation of elements of coset a+H gives you (a+a+a+a)+ (0+u+v+(u+v)) = 0.

You're welcome! Do you know the fundamental theorem of finitely generated abelian groups, or some less general version of it? It would solve these types of questions straightaway. But it is always fun to use elementary methods only. Your solution of 1) must be ok, too.

If you have a bit more knowledge about groups you can fully classify what those groups are up to isomorphism. First, it must be abelian. Second, if is a prime number and divides the order of a group then there is an element of order . Thus, we immediately see that for all odd primes and so this forces . Now by fundamental theorem of finite abelian group we get that: . We must have because if then you can find (here is in the position) such that . This would be a contradiction. Thus, must be isomorphic to a direct product of groups.