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

147

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

2012B02

$a$ を複素数とし、 $C$ 上の多項式環
$A = C [x, y] / (x y, y (y - a))$
を考える。

$A$ の極大イデアルを全て求めなさい。
(1)で求めた各極大イデアル $m$ に対して $\dim_{C} m / m^{2}$ を求めなさい。
$A$ の冪零でない元を全て求めなさい。

$C [x, y]$ の $x y, y (y - a)$ を含む極大イデアルと対応していることを考慮すれば
$(x - b, y) / (x y, y (y - a))$
$(x, y - a) / (x y, y (y - a))$
で尽くされている( $b$ は任意の複素数)。
まず $m$ の $C [x, y]$ への引き戻しも $m$ とおくと
$m^{2} + (x y, y (y - a)) = {\begin{cases} ((x - b)^{2}, y) & (a \neq 0, m = (x - b, y)) \\ ((x - b)^{2}, y) & (b \neq 0, m = (x - b, y)) \\ (x^{2}, x y, y^{2}) & (a = 0, m = (x, y)) \\ (x, y - a) & (a \neq 0, m = (x, y - a)) \end{cases}$
である。よって
$\dim_{C} m / m^{2} = {\begin{cases} 1 & (a \neq 0, m = (x - b, y)) \\ 1 & (b \neq 0, m = (x - b, y)) \\ 2 & (a = 0, m = (x, y)) \\ 0 & (a \neq 0, m = (x, y - a)) \end{cases}$
である。
初めに $A$ の元は $(x y, y (y - a))$ の元を適切に足すことで
$f (x) + s y$
の形の元で代表される(但し $f$ は複素係数多項式、 $s$ は複素数)。これが冪零であるとし、 $m$ 乗して $0$ になる、つまり
$(f (x) + s y)^{m} \in (x y, y (y - a))$
を満たすとする。まず $y = 0$ を代入するとこの多項式は $0$ になる必要があるから $f = 0$ が従う。更に $(x, y) = (0, a)$ を代入して $0$ になる必要もあるから $s^{m} a^{m} = 0$ が従う。以上から $a \neq 0$ のとき冪零元は $0$ のみであり、 $a = 0$ のとき冪零元はイデアル $(y)$ の元で尽くされるであることがわかる。

投稿日：2024年6月11日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

54817

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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