ここでは阪大数学科の修士課程の院試の2023B1の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
2023B1
位数の有限群及び群同型を考え、部分集合を
で定める。ここではかつを満たしているとする。このとき以下の問いに答えなさい。
(1) を示せ。
(2) を示せ。
(3) はアーベル群であることを示せ。
- をとる。このときであるから、はを保存する。ここで定義からである。ここでによって生成されるの部分群をとすると、である。ここでよりであるからである。よってである。
- 写像
を考える。ここでについてであったとすると、これはを意味するが、の条件からが従う。よっては単射であるが、は
有限集合であるからは全射になる。特にが従う。 - を任意にとったとき、(2)からあるを用いてと表せる。このとき
であることからが従う。よって任意のについて
であることがわかるから、はアーベル群である。