p-prime core of a finite group
= p-prime core of a finite group
{title2=$O_{p'}(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.