"g" に含まれるすべての "a" について "ah" ＝ "ha" であるとき、 "h" を正規部分群と言う。