(3/3) ・群は代数的構造を忘れると集合である。同様に群の圏の代数的構造を忘れさせることで集合の圏への関手が作れるらしく、これを忘却関手というらしい。そのまんまだ。 ・位数ｐの有限体のガロア群がｐ乗で生成されることを示す。有限体𝔽pの有限次拡大K…