 p-core of a finite group

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.