Signalizer Functor Theorem

$$\Theta(G; A)=\left\langle{\theta(a): a\in A-{1}}\right\rangle{}$$

is an $A$-invariant solvable $p'$-subgroup of $G$.