東大数理院試過去問解答例(2019B01)

220

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

2019B01

多項式環 $F_{p} [X]$ をとり、集合
$S := {A \subseteq F_{p} [X] | A は F_{p} [X] の部分 F_{p} -代数で、 \dim_{F_{p}} F_{p} [X] / T = 1}$
を考える。
(1) $S$ は有限集合であることを示し、その濃度を求めなさい。
(2) $S$ の元として現れる環の同型類の個数を求めなさい。

初めに $A$ は $1$ 次式を含まない。次に $2$ 次式を一切含んでいないとする。このとき $x$ 及び $x^{2}$ は $F_{p} [X] / A$ で線型独立になってしまうから、 $A$ はある $2$ 次式を含む。同様の議論から $A$ はある $3$ 次式も含む。この $2$ 次式及び $3$ 次式を $f$ 及び $g$ とする。このとき $F_{p} [f, g]$ は $A$ の部分環を定めている。ここで組 ${1, x, f^{i} g^{j}}_{i, j \in N}$ は $F_{p}$ -線型空間として $F_{p} [X]$ を生成するから、 $\dim_{F_{p}} F_{p} [X] / F_{p} [f, g] = 1$ であり、これによって $A = F_{p} [f, g]$ が従う。以上から $S$ の濃度は $F_{p}$ 係数 $2$ 次多項式及び $3$ 次多項式の組の個数以下であるから、特に有限集合である。
次に濃度を求めていく。 $A = F_{p} [f, g]$ なる $f, g$ をとったとき、これは定数項及び $g$ の $2$ 次の項を引いて $f = X^{2} - a X$ 及び $g = X^{3} - b X$ と取ることができる。ここでこのように取った $2$ 次式 $f_{1} = X^{2} - a_{1} X, f_{2} = X^{2} - a_{2} X$ 及び $3$ 次式 $g_{1} = X^{3} - b_{1} X, g_{2} = X^{3} - b_{2} X$ について $F_{p} [F_{1}, g_{1}] = F_{p} [f_{2}, g_{2}]$ が成り立っていたとすると、 $f_{1} - f_{2}$ 及び $g_{1} - g_{2}$ は $1$ 次式になってはいけないので、 $a_{1} = a_{2}$ 及び $b_{1} = b_{2}$ が従う。以上の議論から写像
$\begin{aligned} F_{p} \times F_{p} & \to S \\ (a, b) & \mapsto F_{p} [X^{2} - a X, X^{3} - b X] \end{aligned}$
は全単射であることがわかるから、 $| S | =$ $p^{2}$ である。
まず $p \neq 2$ とする。このとき全ての $A \in S$ は、ある適切な $a \in F_{p}$ について $X$ を $X - a$ に移すような $F_{p} [X]$ の自己同型によって $X^{2}$ とある $3$ 次式で生成される部分代数に移る。よって $S$ の元の同型類は全て $F_{p} [X^{2}, X^{3} - c X]$ の形をした元で代表される。
次に $X^{2}$ を $f$ に、 $X^{3} - c X$ を $g$ に送るような環準同型 $F_{p} [X^{2}, X^{3} - c X] \to F_{p} [X]$ があったすると、このとき $g^{2} = f (f - c)^{2}$ が満たされているから、このときある $h \in F_{p} [X]$ を用いて $f = h^{2}$ が満たされていて、結局このような環準同型は $X \mapsto h$ の形をしていることがわかる。ここで環同型 $A = F_{p} [X^{2}, X^{3} - c X] \to B = F_{p} [X^{2}, X^{3} - d X]$ があったとする。このとき $h$ が $2$ 次以上のとき $B \notin S$ であるから、 $h$ は $1$ 次でなければならない。 $1$ 次式 $h$ が $h^{2} \in B$ を満たすには $h = s X$ の型をしている必要がある。このとき $X^{3}$ は $s^{3} (X^{3} - \frac{c}{s^{2}} X)$ に移るから、 $A$ と $B$ の間に環同型が存在するためには、
$\exists s \in F_{p}^{\times} s.t. c = s^{2} d$
が満たされていることが必要充分である。以上から $S$ に含まれる同型類の個数は $1 + \frac{p - 1}{2} =$ $\frac{p + 1}{2}$ であることがわかる。
一方 $p = 2$ のとき、環同型
$F_{2} [X^{2}, X^{3} - c X] \to F_{2} [X^{2} - b X, X^{3} - d X]$
が存在したとすると、前半と同様の議論から $X \mapsto h$ なる $1$ 次式 $h$ の存在が言えるが、 $h$ の形に関わらず $h^{2}$ の $1$ 次係数は $0$ なので、このとき $b = 0$ かつ $c = d$ であることが従う。次に環同型
$F_{2} [X^{2} - X, X^{3} - X] \to F_{2} [X^{2} - X, X^{3}]$
が存在したとする。このとき $X^{2} - X$ 及び $X^{3} - X$ の送り先を $f, g$ とするとこれは $f^{3} = g (f - g)$ を満たしていることから、ある多項式 $h$ を用いて $f = h^{2} - h$ 及び $g = h^{2} (h - 1)$ とおくことができる。よってこの同型はある $1$ 次式 $h$ を用いて $X \mapsto h - 1$ と表すことができる。ここで $X$ が $X - a$ に移るとすると、 $X^{3} - X$ は $X^{3} - 3 a X^{2} + (3 a^{2} - 1) X - (a^{3} + a) = X^{3} - a X^{2} + (a^{2} - 1) X$ に送られ、これは $X^{2} - X$ 及び $X^{3} + (a^{2} + a + 1) x = X^{3} - X$ で生成される環に移される。以上から上記のような環同型は存在しないことがわかる。ここまでの議論から $F_{2} [X^{2} - a X, X^{3} - b X]$ (ここで $a, b \in F_{2}$ )
と表される $4$ つの $F_{2}$ -代数はどの二つも同型でないことがわかる。以上から $p = 2$ のとき $S$ に含まれる同型類の個数は $4$ 個である。

問題中では環同型
$A = F_{p} [X^{3} - a X, X^{2} - b X] \to B = F_{p} [X^{3} - c X, X^{2} - d X]$
が(存在するとすれば)同型 $F_{p} [X] \to F_{p} [X]$ に延長されることを愚直に示しました。しかし $A$ の商体 $K \subseteq F_{p} (X)$ 及び $B$ の商体 $L \subseteq F_{p} (X)$ を取ったとき、 $K$ 及び $L$ は実は $F_{p} (X)$ に等しいことを用いれば、この同型を商体に延長して、それを $A$ 及び $B$ の $K$ 及び $L$ に於ける整閉包(つまり $F_{p} [X]$ )に制限することでもう少しスマートに示すこともできます。

投稿日：2023年10月14日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53345

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2019B01)