東大数理院試過去問解答例(2020B04)

213

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

2020B04

以下の問いに答えなさい

$F_{3} (S_{2})$ の素イデアルの個数を求めなさい。
$R = F_{3} (S_{3})$ をとり、その中心を $A$ とおく。 $A$ の素イデアルの個数を求めなさい。
$I$ を $A$ の巾ゼロ根基とする。ここで $R \otimes_{A} A / I$ の全ての極大左イデアルの共通部分を $J$ とする。このとき $J$ の $F_{3}$ -線型空間としての次元を求めなさい。

まず環同型
$\begin{aligned} F_{3} (S_{2}) & \to F_{3} [T] / (T^{2} - 1) \\ a + b σ & \mapsto a + b T \end{aligned}$
があるから、素イデアルの個数は $F_{3} [T]$ の $(T^{2} - 1)$ を含む素イデアルの個数に等しい。よって $2$ つである。
まず $R$ の元
$x = a + b (1, 2) + c (2, 3) + d (1, 3) + e (1, 2, 3) + f (1, 3, 2)$
を考える。このときこれに右から $(1, 2)$ を作用させたものは
$a (1, 2) + b + c (1, 3, 2) + d (1, 2, 3) + e (1, 3) + f (2, 3)$
である一方左から $(1, 2)$ を作用させたものは
$a (1, 2) + b + c (1, 2, 3) + d (1, 3, 2) + e (2, 3) + f (1, 3)$
であるから、 $x \in A$ であるためには $c = d$ 及び $e = f$ であることが必要になる。また $(2, 3), (1, 3)$ でも同様の議論を行うことで、 $x \in A$ のとき $b = c = d$ かつ $e = f$ であることがわかる。一方
$a + b ((1, 2) + (2, 3) + (3, 1)) + c ((1, 2, 3) + (1, 3, 2))$
のとき、これは任意の $S_{3}$ の元と可換である。以上から $A$ は $F_{3}$ 上 $τ = (1, 2) + (2, 3) + (3, 1)$ と $σ = (1, 2, 3) + (1, 3, 2)$ で生成される。ここで環準同型
$F_{3} [T, S] ↠ F_{3} [τ, σ]$
の核は $I^{'} = ((S + 1)^{2}, T^{2})$ を含んでいて、 $F_{3} [S, T] / I^{'}$ は $A$ と同じ $3$ 次元 $F_{3}$ -線型空間であるから、
$A ≃ F_{3} [S, T] / ((S + 1)^{2}, T^{2})$
である。よって $A$ の素イデアルは $F_{3} [S, T]$ の $S - 1$ 及び $T^{2}$ を含む素イデアルに対応しているから、このようなイデアルの個数は $(S + 1, T)$ の $1$ つである。
まず $R$ は $6$ 次元 $F_{3}$ -線型空間である。また $I$ は $σ + 1$ によって生成される $1$ 次元線型空間である。ここで
$(σ + 1) (1, 2) = (σ + 1) (2, 3) = (σ + 1) (1, 3) = τ$
$(σ + 1) (1, 2, 3) = (σ + 1) (1, 3, 2) = σ + 1$
$τ (1, 2) = τ (2, 3) = τ (1, 3) = σ + 1$
$τ (1, 3, 2) = τ (1, 3, 2) = τ$
であるから、 $J^{'} = {a (σ + 1) + b τ | a, b \in F_{3}}$ は $R$ のイデアルを定めている。ここで $R / J^{'} = R \otimes_{A} A / I$ である。ここで
$\begin{aligned} \arg_{+} : R & \to F_{3} \\ \sum_{a \in S_{3}} x_{a} a & \mapsto \sum_{a \in S_{3}} x_{a} \end{aligned}$
$\begin{aligned} \arg_{-} : R & \to F_{3} \\ \sum_{a \in S_{3}} x_{a} a & \mapsto \sum_{a \in S_{3}} sgn (a) x_{a} \end{aligned}$
を考えたとき、 $m = Ker (\arg_{+})$ と $n = Ker (\arg_{-})$ は $R$ の極大イデアルを定めている。ここで $m \cap n$ は $σ + 1, τ, τ^{'} := (1, 2) - (1, 3), σ^{'} := (1, 2, 3) - (1, 3, 2)$ の線型結合として表される。ここで
$τ^{' 2} = σ^{' 2} = - (σ + 1)$
$τ^{'} σ^{'} = σ^{'} τ^{'} = τ$
であるから、 $m \cap n$ は巾ゼロイデアルである。以上から $J = (m \cap n) / J^{'}$ がわかり、 $\dim_{F_{3}} J = 2$ であることもわかる。

投稿日：2024年3月3日

更新日：2024年3月3日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53305

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2020B04)