東大数理院試過去問解答例(2024B02)

616

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

2024B02

剰余環
$R := C [X, Y] / (X^{2} - Y^{5})$
を考え、 $X, Y$ で代表される $R$ の元を $x, y$ とおく。 $R$ のイデアル $m = (x, y)$ をとり、集合
$(x m, m) := {r \in R | r m \subseteq x m}$
を定める。

$R$ が整域であることを示しなさい。また $K$ を $R$ の商体としたとき、その部分集合
$\frac{1}{x} (x m, m) := {\frac{r}{x} \in K | r \in (x m, m)}$
は $K$ の体でない部分環であることを示しなさい。
$R$ 代数の同型
${Hom}_{R} (m, m) ≃ \frac{1}{x} (x m, m)$
を示しなさい。但し左辺は $m$ の $R$ 加群としての自己準同型全体の為す集合を表し、関数の合成を積とすることで $R$ 代数の構造を定めている。
$C$ -代数の同型
$C [S, T] / I ≃ {Hom}_{R} (m, m)$
が存在するような $C [S, T]$ のイデアル $I$ の生成系を一つ挙げなさい。

まず前半については $X^{2} - Y^{5}$ は既約多項式であるから、 $R$ は整域であることがわかる。以下後半を示していく $C [x, y]$ の元 $r = x f + y^{4} g (y) + h (y)$ (但し $f$ は二変数多項式、 $g$ は一変数多項式、 $h$ は $3$ 次以下の一変数多項式である)が $r m \subseteq x m$ を満たすとき、 $x f + y^{4} g \in (x m, m)$ であるから $h (y) \in (x m, m)$ である必要がある。ここで $y h (y) \in (x^{2}, x y)$ であったとすると、 $Y h (Y) \in (X^{2}, X Y, X^{2} - Y^{5}) = (X^{2}, X Y, Y^{5})$ になるが、 $h$ が $3$ 次以下の多項式であることから $h = 0$ が従う。以上から
$(x m, m) = ⟨ x, y^{4} ⟩_{R}$
であることがわかる。よって集合として
$\frac{1}{x} (x m, m) = {r + \frac{y^{4}}{x} s | r, s \in R}$
であり、 $x^{2} = y^{5}$ であることを考慮すると $1, 0$ を含んでいて和と積で閉じていることがわかる。また $\frac{1}{x} (x m, m)$ は $x$ を含む一方 $\frac{1}{x}$ を含んでいないから体ではない。以上から $\frac{1}{x} (x m, m)$ は $K$ の体でない部分環である。以上で後半が示せた。
まず $\frac{r}{x} \in \frac{1}{x} (x m, m)$ で定義される写像 $f_{\frac{r}{x}}$ を $x$ を $r$ に、 $y$ を $\frac{y r}{x}$ に送る写像とする。ここで $R$ が整域であることと、 $y r \in x m$ であること、そして $f_{\frac{r}{x}} (x^{2} - y^{5}) = x r^{2} - y^{4} \frac{r y}{x} = 0$ であるからwell-definedな写像
$\begin{aligned} F : \frac{1}{x} (x m, m) & \to {Hom}_{R} (m, m) \\ \frac{r}{x} & \mapsto f_{\frac{r}{x}} \end{aligned}$
が定まる。定義よりこれは $R$ -代数の準同型になっているから、あとは全単射性を示せば良い。まず $f \in {Hom}_{R} (m, m)$ が与えられたとする。このとき $f (x) m = f (x m) = x f (m) \subseteq x m$ であるから、 $f (x) \in (x m, m)$ である。以上から $\frac{f (x)}{x} \in \frac{1}{x} (x m, m)$ が従う。このとき $f_{\frac{f (x)}{x}} (y) = \frac{f (x) y}{x} = f (y)$ であるから、 $f$ は $\frac{1}{x} (x m, m)$ の元 $\frac{f (x)}{x}$ を用いて $f = f_{\frac{f (x)}{x}}$ と表せることがわかった。よって $F$ の全射性が示せた。次に $f_{\frac{r}{x}} = 0$ であったとする。このとき $r = 0$ であるから $F$ の単射性がわかった。以上から $F$ は $R$ 代数の同型であることがわかったから、 $F^{- 1}$ が所望の同型である。
いま
$\begin{aligned} G : C [S, T] & \to \frac{1}{x} (x m, m) \\ S & \mapsto y \\ T & \mapsto \frac{y^{4}}{x} \end{aligned}$
と定める。ここで $\frac{1}{x} (x m, m)$ は $y, \frac{y^{4}}{x}$ で生成される $C$ 代数であるから、 $G$ は $C$ 代数の全射準同型である。この核を $I$ とする。まず $T^{2} - S^{3} \in I$ である。ここで $\frac{1}{x} (x m, m)$ が体でない整域であることと $C [S, T]$ のクルル次元が $2$ であることから $I = (T^{2} - S^{3})$ であることが従う。以上から $T^{2} - S^{3}$ が所望の生成系である。

投稿日：2024年4月7日

更新日：2024年6月20日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

54080

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2024B02)