東大数理院試過去問解答例(2023B03)

523

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

2023B03

$K = R (X)$ とし、多項式
$f (T) = T^{8} + 4 T^{6} + (7 - X) T^{4} + 4 T^{2} + 1$
の解の一つを $Y$ とおく。更に $M := K (Y)$ とおき、 $M / K$ のGalois閉包を $L$ とおく。
(1) 拡大次数 $[M : K]$ 及び $[L : K]$ を求めよ。
(2) $L / K$ の中間体 $N$ で、 $L / N$ が巡回 $4$ 次拡大であるようなものの個数を求めよ。
(3) $L / K$ の中間体で、 $K$ 上アーベルであるようなもののうち最大のものを $F$ とおく。 $[F : K]$ 及び $F$ を求めよ。

まず多項式 $f$ が $R (X)$ の範囲で因数分解できたとすると、 $R$ 係数多項式 $j, g, h$ を用いて
$f = f (X, T) = j (T) (g (T) X + h (T))$
と分解できることがわかる。しかし $j (T)$ は $f$ に $X = 1$ 及び $2$ を代入した $(T^{2} + 1)^{4}$ 及び $(T^{4} + 1)^{2} - T^{4}$ のいずれも割り切らないといけないから定数になるしかない。以上から $f$ の既約性が従う。特に $Y$ の取り方に関わらず $[M : K] = 8$ である。次に
$\begin{aligned} f & = (T^{2} + 1)^{4} - (X - 1) T^{4} \\ = ((T^{2} + 1)^{2} - \sqrt{X - 1} T^{2}) ((T^{2} + 1)^{2} + \sqrt{X - 1} T^{2}) \\ = (T^{2} - \sqrt[4]{X - 1} T + 1) (T^{2} + \sqrt[4]{X - 1} T + 1) (T^{2} - i \sqrt[4]{X - 1} T + 1) (T^{2} + i \sqrt[4]{X - 1} T + 1) \end{aligned}$
である。以上の因数分解及び既約多項式の根を一つ添加した体のガロア閉包は既約多項式の最小分解体なことを考慮すると、
$L = C (\sqrt[4]{X - 1}, \sqrt{\sqrt{X - 1} - 4}, \sqrt{\sqrt{X - 1} + 4})$
なことがわかる。 $α = \sqrt{X - 1}$ とおく。このとき
$L = C (\sqrt{α}, \sqrt{α - 4}, \sqrt{α + 4})$
は $C (α)$ 上 $8$ 次拡大であり、 $C (α)$ は $K$ 上 $4$ 次拡大である。よって $[L : K] = 32$ である。
まず体
$S = R (\sqrt{X - 1})$
を考えたとき、 $H := Gal (L / S) ≃ (Z / 2 Z)^{4}$ である。これは巡回 $4$ 次部分拡大を持たないから、 $N$ は $S$ を含まない。よって位数 $4$ の巡回群 $Gal (L / N)$ の生成元 $σ$ を取ったとき、これは $σ (\sqrt{X - 1}) = - \sqrt{X - 1}$ を満たしている。このような元は
$\begin{aligned} σ (\sqrt[4]{X - 1}) & = \pm i \sqrt[4]{X - 1} \\ σ (\sqrt{\sqrt{X - 1} - 4}) & = \pm i \sqrt{\sqrt{X - 1} + 4} \\ σ (\sqrt{\sqrt{X - 1} + 4}) & = \pm i \sqrt{\sqrt{X - 1} - 4} \\ σ (i) & = \pm i \end{aligned}$
を満たすもので尽くされるが、この中で位数 $4$ の元は $12$ 個ある。よって $N$ の個数は $\frac{12}{6} = 6$ 個である。
まず $τ \in G$ を
$\begin{aligned} σ (\sqrt[4]{X - 1}) & = i \sqrt[4]{X - 1} \\ σ (\sqrt{\sqrt{X - 1} - 4}) & = i \sqrt{\sqrt{X - 1} + 4} \\ σ (\sqrt{\sqrt{X - 1} + 4}) & = i \sqrt{\sqrt{X - 1} - 4} \\ σ (i) & = - i \end{aligned}$
で定まる元とし、その生成する部分群を $I ≃ Z / 2 Z$ とする。次に $σ_{s, t, u, r}$ を
$\begin{aligned} σ_{s, t, u, r} (\sqrt[4]{X - 1}) & = (- 1)^{s} \sqrt[4]{X - 1} \\ σ_{s, t, u, r} (\sqrt{\sqrt{X - 1} - 4}) & = (- 1)^{t} \sqrt{\sqrt{X - 1} - 4} \\ σ_{s, t, u, r} (\sqrt{\sqrt{X - 1} + 4}) & = (- 1)^{u} \sqrt{\sqrt{X - 1} + 4} \\ σ_{s, t, u, r} (i) & = (- 1)^{r} i \end{aligned}$
で定義されるものとする。これら全体は $H$ を生成する。このとき
$G ≃ H ⋊ I ≃ (Z / 2 Z)^{4} ⋊ Z / 2 Z$
である。いま $G$ の交換子部分群は任意の $s, t, u, r$ に対して
$τ σ_{s, t, u, r} τ σ_{s, t, u, r} = σ_{0, s, s + r + u, s + r + u}$
を含むので、交換子部分群は少なくとも $4$ つの元を持つ。よって $[F : K] \leq \frac{32}{4} = 8$ である。実際
$C (\sqrt{X - 1}, \sqrt{X - 17})$
は $K$ の $8$ 次アーベル拡大になっている。以上から
$F = C (\sqrt{X - 1}, \sqrt{X - 17})$
であり、 $[F : K] = 8$ である。

上記の議論に於いて $τ$ の $σ_{s, t, u, r}$ への共役を直接計算することで、 $G$ の群構造は
$\begin{aligned} Z / 2 Z & \to & {GL}_{4} (Z / 2 Z) \\ i & \mapsto & {(\begin{array}{c} 1 & 0 & 0 & 0 \\ 1 & 1 & 0 & 0 \\ 1 & 0 & 0 & 1 \\ 1 & 0 & 1 & 0 \end{array})}^{i} \end{aligned}$
の誘導する半直積
$(Z / 2 Z)^{4} ⋊ Z / 2 Z$
として実現されることがわかります。しかしこの問題に於いては(2)では位数 $4$ の元の個数を、(3)では交換子部分群が位数 $4$ 以上なことを見れば充分であり、いずれも群構造を求めてからこれらを見るよりガロア群の元として直接計算する方が早く確実と判断し、その方針で議論を進めました。

投稿日：2023年10月17日

更新日：2024年8月26日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53210

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2023B03)