generated at
正規部分群

G部分群N \subseteq G正規部分群\iff
{}^\forall n \in N,{}^\forall g \in G
g\diamond n \diamond g^{-1} \in N