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

273

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

2016B03

関数体 $K = R (X)$ の部分体
$F = R (X^{4} - \frac{1}{X^{4}})$
を考え、 $K$ の $F$ 上のGalois閉包を $L$ とする。
(1) 拡大次数 $[L : F]$ を求めなさい。
(2) $Gal (L / F)$ は位数 $8$ の元を持つことを示しなさい。
(3) $L / F$ の $4$ 次部分拡大を全て求めなさい。

まず $K = F (X)$ である。ここで $ω^{4} = - 1$ とおく。 $F$ 上の多項式
$f : T^{8} - (X^{4} - \frac{1}{X^{4}}) T^{4} - 1 = (T - X) (T + X) (T - i X) (T + i X) (T - \frac{ω}{X}) (T + \frac{ω}{X}) (T - \frac{i ω}{X}) (T + \frac{i ω}{X})$
を考えたとき、 $F$ の元は変換 $X \mapsto \frac{ω}{X}$ 及び複素共役で不変な多項式からなる集合であるから、 $f$ は $F$ の既約多項式である。よって $[K : F] = 8$ である。ここで $L$ は $f$ の $F$ 上の最小分解体であるから $L = F (X, ω) = C (X)$ 、特に $[L : K] = 2$ である。よって $[L : F] = 16$ である。
$G = Gal (L / F)$ の元のうち、
$τ = (\begin{array}{ccc} X & \mapsto & \frac{ω}{X} \\ i & \mapsto & - i \end{array})$
で定義される $τ$ は位数 $8$ の元である。
まず $L / K$ の群構造上記で定めた $τ$ 及び複素共役
$σ = (\begin{array}{ccc} X & \mapsto & X \\ i & \mapsto & - i \end{array})$
で定められた元を用いて、 $G$ は表示
$G = ⟨ τ, σ | τ^{8} = σ^{2} = 1, σ τ σ^{- 1} = τ^{- 1} ⟩$
を持つことがわかる。よって $G$ の群構造は $1 + 2 Z \mapsto - 1$ で定義される群準同型 $Z / 2 Z \to Aut (Z / 8 Z)$ から誘導される半直積
$Z / 8 Z ⋊ Z / 2 Z$
である(つまり位数 $16$ の二面体群)。この位数 $4$ の部分群を考えれば良い。まず $(a, b), (x, y) \in G := Z / 8 Z ⋊ Z / 2 Z$ に対してこの群の積は
$(a, b) (x, y) = (a + (- 1)^{b} x, b + y)$
で定まっているから、 $(a, b) \in G$ に対して
$(a, b)^{2} = (a + (- 1)^{b} a, 0)$
$(a, b)^{4} = (a + (- 1)^{b} a, 0)^{2} = (2 (a + (- 1)^{b} a), 0)$
である。よって位数 $2$ の元は $(0, 1), (1, 1), \dots, (7, 1), (4, 0)$ の $9$ つ、位数 $4$ の元は $(2, 0) (6, 0)$ のみである。
まず位数 $4$ の巡回群は $Z / 8 Z$ に含まれる $1$ つのみ。これによって生成される部分体は $X \mapsto - i X$ 及び $i \mapsto i$ で定義される同型で固定される部分体であり、これは $C (X^{4})$ である。
次に $(a, 1)$ と $(b, 1)$ が可換になることは $a - b = 0, 4$ と同値であり、 $(4, 0)$ は $G$ の中心に含まれる。よって位数 $2$ の元全体から可換な二つ組を選ぶ方法は $12$ 通りあり、一つの巡回的でない位数 $4$ の群は $3$ 通りの生成元の取り方ができるから、巡回的でない位数 $4$ の部分群は $\frac{12}{3} = 4$ つあり、これは
$τ = (\begin{array}{ccc} X & \mapsto & X \\ i & \mapsto & - i \end{array})$
$σ τ = (\begin{array}{ccc} X & \mapsto & \frac{ω}{X} \\ i & \mapsto & i \end{array})$
$σ^{2} τ = (\begin{array}{ccc} X & \mapsto & - i X \\ i & \mapsto & - i \end{array})$
$σ^{3} τ = (\begin{array}{ccc} X & \mapsto & \frac{i ω}{X} \\ i & \mapsto & i \end{array})$
の $4$ つのうちのいずれか $1$ つと
$σ^{4} = (\begin{array}{ccc} X & \mapsto & - X \\ i & \mapsto & i \end{array})$
からできる群である。それぞれに対応した部分体は $R (X^{2}), R (X^{2} + \frac{i}{X^{2}}), R (i X^{2}), R (X^{2} - \frac{i}{X^{2}})$ である。以上の $5$ つが $L / F$ の $4$ 次の部分体である。

投稿日：2023年10月20日

更新日：2024年3月2日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53245

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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