Burnside normal complement theoremLet G be a finite group, and S a Sylow subgroup such that CG(S)=NG(S). Then Shas a normal complement. That is, there exists a normal subgroup N⊲G such thatS∩N={1} and SN=G.