Definition

Let be a subgroup of . is a normal subgroup iff