1
大学数学基礎解説
京大数学科院試過去問解答例(2017専門01)
150
0
$$$$
ここでは京大数学教室・RIMSの修士課程の院試の2017専門01の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
2017専門01
$G$を有限群とする。
- $|\mathrm{Aut}(G)|=1$であるような$G$は自明群か$\mathbb{Z}/2\mathbb{Z}$と同型であるものに限ることを示しなさい。
- $|\mathrm{Aut}(G)|=2$かつ$2\nmid|G|$であるような$G$を全て求めなさい。
- $G$の元による共役が$G$の自己同型であることを考慮すると、$G$はアーベル群である。また$G$の自己同型として$\mathrm{id}_G=-\mathrm{id}_G$出なければならないから$G=(\mathbb{Z}/2\mathbb{Z})^n$である。最後に$n>1$のとき対角化不可能な元が存在してしまうので$n=0,1$である。以上から$G=\{1\},\mathbb{Z}/2\mathbb{Z}$であり、これは所望の結果である。
- まず準同型
$$ \begin{array}{ccc} \rho:G&\to&\mathrm{Aut}(G)\\ g&\mapsto&(x\mapsto gxg^{-1}) \end{array} $$
を取ることができ、$|G|$が奇数であることと$|\mathrm{Aut}(G)|=2$であることから$\rho(G)=\{\mathrm{id}_G\}$、つまり$G$がアーベル群であることが従う。$G$の位数が奇数であることから$\mathrm{Aut}(G)=\{\mathrm{id_G},-\mathrm{id}_G\}$である。ここで奇素数$p$に対して
$$ \varphi(p^n)=p^{n-1}(p-1) $$
であること(但し$\varphi$はオイラー関数である)を考慮すると、$G$としてあり得るのは同型を除いて${\color{red}\mathbb{Z}/3\mathbb{Z}}$のみである。
この問題は$|G|$が奇数になっていたのでそれほど難しくありませんでしたが、この条件がなくとも$G$はある程度限られます。$G$は$|\mathrm{Aut}(G)|=2$のみを満たす群とします。アーベル群の場合は上の議論とほぼ同様にして特定できる($G$は$\mathbb{Z}/3\mathbb{Z}$か$\mathbb{Z}/4\mathbb{Z}$か$\mathbb{Z}/6\mathbb{Z}$のいずれかになります)ので、以下$G$は非可換群とします。このとき上で定義した群準同型$\rho:G\to\mathrm{Aut}(G)$は全射になっています。ここで$H=\mathrm{Ker}\rho$とおきます。このとき$G/H\simeq\mathrm{Aut}(G)$は巡回群ですが、$H$はその定義から$G$の中心なのでここから$G$はアーベル群になることがわかります。しかしこれは$G$の非可換性の仮定に反するので、結局$G$は同型を除いて上で挙げた$\mathbb{Z}/3\mathbb{Z}$と$\mathbb{Z}/4\mathbb{Z}$と$\mathbb{Z}/6\mathbb{Z}$のいずれかに限られます。
投稿日：3月23日
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
この記事に送られたバッジ
この記事に送られたバッジ
バッジはありません。
投稿者
投稿者
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中