Checks if a subgroup of a group is a normal subgroup.