# Upper Bound of Order of Non-Abelian Finite Simple Group/Corollary

## Corollary to Upper Bound of Order of Non-Abelian Finite Simple Group

Let $H$ be a finite group of even order.

Let $u \in H$ be a self-inverse element of $H$.

Then there are finitely many types of finite simple group $G$ such that:

$G$ has a self-inverse element $t \in G$
$\map {C_G} t \cong H$

## Proof

First suppose that $G$ is abelian.

Then by Abelian Group is Simple iff Prime, $\order G = 2$.

So let $G$ be non-abelian.

$\order G \le \paren {\dfrac {\order H \paren {\order H + 1} } 2}!$

which depends completely upon the given group $H$.

The result follows from Finite Number of Groups of Given Finite Order.

$\blacksquare$