p-core of a finite group
= p-core of a finite group
{title2=$O_p(G)$}
The p-core is the largest normal <p-subgroup> of a finite <group>. The product of two normal p-subgroups is again a normal p-subgroup, so this subgroup exists and is characteristic.