core — largest normal subgroup that is contained in a given subgroup