# A lot of even elements

Back when I was an undergraduate we were asked to name a finite noncommutative group such that more then half the elements have order two. Furthermore, we know that every group such that every element different from the identity has order two must be abelian. So I ask myself, "how much of an noncommutative group can be of order two". In a more rigorous way:

What do I get, when I take the supremum over all finite noncommutative groups $G$ of the following expression $$\frac{\vert\{ g\in G \ : \ g \text{ has order } 2\}\vert}{\vert G \vert}.$$

I was able to show that the supremum should be greater equal $2/3$ by considering the groups $G_n =(\mathbb{Z}/2\mathbb{Z})^n \oplus S_3$ which has $4\cdot 2^n -1$ elements of order two and $\vert G_n \vert = 6\cdot 2^n$.

• A similar trick with $\mathbb Z_2^n\oplus D_4$ will give you $3\over4$. I believe the final answer to be 1, but that's merely a guess. – Ivan Neretin May 10 '18 at 22:00
• Looks like the definitive part of my comment was right, but my guess was wrong. – Ivan Neretin May 10 '18 at 22:23
• @IvanNeretin I would also have guessed that the ration goes to 1. – Severin Schraven May 11 '18 at 13:22

This preprint has a self-contained proof that the answer is $\frac34$: