0

東大数理院試過去問解答例(2010B01)

67
0
$$$$

ここでは東大数理の修士課程の院試の2010B01の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。 

2010B01

可換環
$$ A=\mathbb{Z}[S,T]/(S(S-3),T(T-6),ST-3T) $$
について以下の問いに解答しなさい。

  1. 単射環準同型$g:A\to\mathbb{Z}^3$を一つ構成し、剰余群$\mathbb{Z}^3/g(A)$の濃度を計算しなさい。
  2. $A$の素イデアルで、$2$を含むものを全て求めなさい。
  3. 乗法群$A\qty[\frac{1}{2}]^\times$の群構造を巡回群の直積として表しなさい。
  1. $g:A\to\mathbb{Z}^3$
    $$ f\mapsto(f(0,0),f(3,0),g(3,6)) $$
    で定める。ここで$A$の元は全て
    $$ a+bS+cT $$
    の形(但し$a,b,c\in\mathbb{Z}$)のもので代表されるが、$g$による像が$0$になるのは$(a,b,c)=(0,0,0)$のときに限る。よって$g$は単射である。ここで$g$$A$を適切な基底を取ったとき
    $$ \begin{split} \mathbb{Z}^3&\to\mathbb{Z}^3\\ (a,b,c)&\mapsto(a,a+3b,a+3b+6c) \end{split} $$
    と表現されるから、$\mathbb{Z}^3/g(A)\simeq \mathbb{Z}/3\mathbb{Z}\times\mathbb{Z}/6\mathbb{Z}$が分かる。よって$|g(A)|={\color{red}18}$である。
  2. まず$2$を含むのでここから$T$及び$S(S-3)$を含むこともわかる。よって
    $$ {\color{red}(2,S,T),(2,S-3,T)} $$
    である。
  3. $g$によって環準同型
    $$ g:A\qty[\frac{1}{2}]\to\mathbb{Z}\qty[\frac{1}{2}]^3 $$
    が誘導される。右辺の単元$(s,t,u)$$g$の像に含まれているには$3|t-s$かつ$3|u-t$であることが必要充分である。ここで$\mathbb{Z}\qty[\frac{1}{2}]^3$の単元の為す群構造は
    $$ \left(\mathbb{Z}/2\mathbb{Z}\right)^3\times\mathbb{Z}^3 $$
    である。また$g$の像に含まれる位数$2$の元は$(-1,-1,-1)$のみであり、$g$の像は$(1,1,4),(1,4,1),(2,2,2)$を含むから、ランクと捩れ群を考えることで
    $$ A\qty[\frac{1}{2}]^\times\simeq {\color{red}\mathbb{Z}^3\times\mathbb{Z}/2\mathbb{Z}} $$
    が分かる。
投稿日:331
更新日:331
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント 

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中