## If a Half of a Group are Elements of Order 2, then the Rest form an Abelian Normal Subgroup of Odd Order

## Problem 575

Let $G$ be a finite group of order $2n$.

Suppose that exactly a half of $G$ consists of elements of order $2$ and the rest forms a subgroup.

Namely, suppose that $G=S\sqcup H$, where $S$ is the set of all elements of order in $G$, and $H$ is a subgroup of $G$. The cardinalities of $S$ and $H$ are both $n$.

Then prove that $H$ is an abelian normal subgroup of odd order.

Add to solve later