考察: 自然変換と正規部分群の関係
{}^\forall n \in N,{}^\forall g \in G,{}^\exist n' \in N
n \diamond g = g \diamond n'
上の対応は準同型K_g \colon N → Nとなる
n \diamond g = g \diamond n.K_g
そしてこの可換性から自然変換\alpha\left\lang g \right\rang \colon \subset \Rightarrow K_g\ast\subsetを得る
2019/12/25
