直交群

以下の記事の続きを書く。 bananake-tai.hatenablog.com とりあえず、演習の証明からする。 演習 $G,G'$ を群とし、$f:G\to G'$ を準同型とする。 このとき、 $$ N'\lhd G'\Rightarrow f^{-1}(N')\lhd G $$ を示せ。 $1$ を用いて命題3…