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

151

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

2016B02

剰余環
$A = C [X, Y] / (X Y (X + Y - 1))$
を考え、 $X$ 及び $Y$ で代表される元をそれぞれ $\overset{―}{X}$ 及び $\overset{―}{Y}$ とおく。

$A$ の素イデアルを全て求めなさい。
$C$ -代数の同型 $φ : A \to A$ で
$φ (\overset{―}{X}) = \overset{―}{Y}$
$φ (\overset{―}{Y}) = - \overset{―}{X} - \overset{―}{Y} + 1$
を満たすものがただ一つ存在することを示しなさい。
$A$ の部分環 $B$ を
$B = {a \in A | φ (a) = a}$
で定める。このとき単射環準同型 $ψ : B ↪ C [t]$ で、 $C [t] / ψ (B)$ が有限次元になるようなものを一つ構成し、その次元を求めなさい。

このような素イデアルは $\overset{―}{X}, \overset{―}{Y}, 1 - \overset{―}{X} - \overset{―}{Y}$ のいずれかを含むから、 $(\overset{―}{X}), (\overset{―}{Y}), (1 - \overset{―}{X} - \overset{―}{Y}), (\overset{―}{X}, \overset{―}{Y} - a), (\overset{―}{X} - a, \overset{―}{Y}), (\overset{―}{X} - a, \overset{―}{Y} - (1 - a))$ である(ここで $a$ は全ての複素数を走る)。
まず $A$ は $C$ -代数として $\overset{―}{X}, \overset{―}{Y}$ で生成されていることから $φ$ の一意性が従う。また $C [X, Y]$ の環同型 $(X, Y) \mapsto (Y, 1 - X - Y)$ は $X Y (1 - X - Y)$ を固定するから、これは $A$ の環同型を誘導する。以上から $φ$ の存在が示せた。
ここで
$\begin{aligned} p : A & \to C = {(f, g, h) \in C [x] \times C [y] \times C [t] | f (0) = g (0), g (1) = h (0), h (1) = f (1)} \\ F (x, y) & \mapsto (F (x, 0), F (0, y), F (t, 1 - t)) \end{aligned}$
とおく。ここで条件を満たす $(f, g, h)$ を取ったとき、 $f = x a (x) + c$ かつ $g = y b (y) + c$ なる $a \in C [x], b \in C [y], c \in C$ を用いて
$d (x) = \frac{h (x) - x a (x) - (1 - x) b (1 - x) - c}{x (1 - x)}$
とおく。ここで
$F = x y d (x) + x a (x) + y b (y) + c$
とおいたとき $p (F) = (f, g, h)$ を満たしている。これによって $p$ は環の同型を定めている。このとき上記の環同型によって $φ : A ≃ A$ は
$\begin{aligned} φ : C & ≃ C \\ (f, g, h) & \mapsto (g (1 - x), h (y), f (1 - t)) \end{aligned}$
と表される。ここで $C$ の $φ$ -不変な元は $f (0) = f (1)$ なる $f$ から一意的に定められる。よって単射環準同型 $ψ : B ↪ C [t]$ で、像が
$D := {f \in C [x] | f (0) = f (1)}$
であるようなものを構成でき、ここまでの議論からこのような $ψ$ は例えば $F \mapsto F (x, 0)$ で実現されるる。ここで $C$ -線型空間の同型
$\begin{aligned} C [x] / D & \to C^{2} \\ f & \mapsto (f (0), f (1)) \end{aligned}$
を構成できるから、 $\dim_{C} C [x] / ψ (B) = 2$ である。

投稿日：2024年3月2日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53709

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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