I recently tried to find an answer to the following question:
"Consider a group where every element is self inverse. What are the possibilities for the size of the group?"
For various reasons, I believe the answer is that any group where every element is self inverse must have order $2^n$ for some $n$.
We can construct examples of such groups by taking the product of cyclic groups of order $2$. Such examples have size $2^n$. It turns out that, up to isomorphism, these are in fact the only groups satisfying the condition (I think).
This lead me to another question; what happens when we take the product of cyclic groups which all have order 3? Or order 4? Do we get other interesting properties?
This is easy enough to play around with, but I'd like to know whether this type of group (a group which is the direct product of n cyclic groups, each of order m), has been studied? Is there a name for this type of group?
If the above questions are not immediately known to anyone, ideas/information would be extremely welcome on whether studying such groups should be in any way interesting - or alternatively completely fruitless and boring.