p-prime core of a finite group ($O_{p^{\prime }}(G)$)

The p-prime core is the largest normal subgroup whose order is coprime to $p$. Products of normal subgroups of order coprime to $p$ again have order coprime to $p$, so it exists and is characteristic.