翻って、部分群 "n" が正規であるための必要十分条件は、"g" に属する任意の元 "g" について "gn" ＝ "ng" となることである。