Let be a finite group. Suppose that every element of order of has a complement in , then has no element of order .
Proof. Let be an element of of order . By hypothesis, and for some subgroup of . Since , then is normal in . Clearly, and , but , a contradiction. Therefore has no element of order .
Is above true? Thanks in advance.