0
大学数学基礎解説
東大数理院試過去問解答例(2024B03)
780
0
$$$$
ここでは東大数理の修士課程の院試の2024B03の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
2024B03
多項式環$S=\mathbb{C}[x_1,\cdots,x_n]$の極大イデアル$I=(x_1,\cdots,x_n)$について、$S$加群$M=I^{\ell}/I^{\ell+2}$を考える。
- $S$上の任意の自己準同型$f:M\to M$について、ある$\alpha\in\mathbb{C}$が存在して、$\mathrm{Im}(f-\alpha1_M)\subseteq I^{\ell+1}/I^{\ell+2}$かつ$(f-\alpha 1_M)^2=0$が成り立っていることを示しなさい。
- $M$は$S$-加群として直既約でない、つまり$2$つの$0$でない$S$加群$M_1,M_2$で$M=M_1\oplus M_2$を満たすものは存在しないことを示しなさい。
- まず初めに$F=f(x_1^{N_1}\cdots x_n^{N_n})$とおく。更に任意の$i\neq j$に対して
$$ G_t=f\left(\frac{x_j^{N_i}}{x_i^{N_i}}x_1^{N_1}\cdots x_n^{N_n}\right) $$
とおく。このとき$F=G_0$であり、更に任意の$t$について
$$ x_iG_{t+1}=x_jG_{t} $$
が成り立っている。まず$G_{N_i}$は$x_i^0=1$で割り切れる。次に$G_{t+1}$が$x^{N_i-t-1}$によって割り切れるとし、
$$ G_{t+1}=x_i^{N_i-t-1}H_t $$
と表されるとする。このとき上の式は
$$ x_i^{N_i-t}H_t=x_jG_t $$
と書けるから、$G_t$が$x_i^{N_i-t}$で割り切れることが従う。よって$G_t$は$x_i^{N_i-t}$で割り切れる元で代表されることがわかり、特に$F$は単項イデアル$\left(x_1^{N_1}\cdots x_n^{N_n}\right)$の元で代表されることがわかる。ここで
$$ f(x_1^{N_1}\cdots x_n^{N_n})=a x_1^{N_1}\cdots x_n^{N_n}+\cdots $$
と表されたとする。但し$\cdots$の部分は$I^{\ell+1}$の元とする。このとき$(i,j)=(N_t,1),(N_t-1,1),\cdots,(2,1)$に対して関係式$x_iG_{t+1}=x_jG_{t}$を次々に適用することで
$$ f(x_1^\ell)=ax_1^\ell+\cdots $$
と表されることがわかる。特に$F$の$\ell$次の係数は$N_1,\cdots,N_n$の取り方に依らない。この係数を$\alpha$とおく。このとき任意の$N_1,\cdots,N_n$に対して
$$ f(x_1^{N_1}\cdots x_n^{N_n})=\alpha x_1^{N_1}\cdots x_n^{N_n}+F_{N_1,\cdots,N_n} $$
を満たす$F_{N_1,\cdots,N_n}\in I^{\ell+1}$が存在する。これによって
$$ \mathrm{Im}(f-\alpha)\subseteq I^{\ell+1}/I^{\ell+2} $$
がわかり、ここから$(f-\alpha)^2=0$も従う。 - 背理法で示す。直既約でないとし、それを実現する直和分解を$M=M_1\oplus M_2$とすると、$S$加群の準同型$\mathrm{id}_{M_1}\oplus(-\mathrm{id}_{M_2})$は固有値$\pm1$を持つから(1)の結果の反する。以上から$M$は直既約である。
投稿日：2024年4月7日
更新日：2024年8月14日
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
この記事に送られたバッジ
この記事に送られたバッジ
バッジはありません。
投稿者
投稿者
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中