groups: Define 'normal subgroup'