正規部分群
normal subgroup
群
$ G
の
部分群
$ N \subseteq G
が
正規部分群
$ \iff
$ {}^\forall n \in N
,
$ {}^\forall g \in G
$ g\diamond n \diamond g^{-1} \in N
考察: 自然変換と正規部分群の関係