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

197

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

2017B04

整数 $m \geq 2$ を取り、体 $L = C (X, Y)$ とその部分体 $K = C (X^{m} Y^{m}, X^{m} + Y^{m})$ を考える。

拡大 $L / K$ はGalois拡大であることを示し、その拡大次数 $[L : K]$ を求めなさい。
ある $a \in C$ を用いて $K (X + a Y)$ と表せるような $L / K$ の中間体の個数を求め、このような体に対応する $G = Gal (L / K)$ の部分群を全て求めなさい
$m$ 次斉次対称式 $f$ について $K^{'} := K (f (X, Y))$ とおく。拡大 $K^{'} / K$ がガロア拡大になるような $f$ を全て挙げなさい。

多項式 $F (T) = (T^{m} - X^{m}) (T^{m} - Y^{m})$ を考えると、 $L$ は $K$ 上 $F$ の最小分解体なので、特にGaloisである。また $S = C (X^{m}, Y^{m})$ は $K$ の $2$ 次拡大であり、 $L$ は $S$ の $m^{2}$ 次拡大であるから、 $[L : K] = 2 m^{2}$ である。
ここで $\sqrt[m]{1}$ の生成元 $ζ$ を一つ固定し $G$ の元 $τ_{i, j}$ を
$τ_{i, j} (X) = ζ^{i} X, τ (Y) = ζ^{j} Y$
によって、 $σ_{i, j}$ を
$σ_{i, j} (X) = ζ^{i} Y, σ_{i, j} (Y) = ζ^{j} X$
によって定義する。ここで $X + a Y$ が $τ_{i, j}$ によって固定されるとすると、 $(i, j) = (0, j)$ かつ $a = 0$ の場合と $(i, j) = (0, 0)$ の場合しかない。一方 $σ_{i, j}$ によって固定されているとすると、 $(i, j) = (i, - i)$ かつ $a = ζ^{i}$ の場合しかない。以上から $K (X + a Y)$ が非自明な中間体になっているのは $a = 0, 1, ζ, ζ^{2}, \dots, ζ^{m - 1}$ の場合であり、これらはいずれも相異なる体を定めているから、所望の体は $m + 1$ 個である。またそれぞれに対応する $G$ の部分群は $a = 0$ の場合は
${τ_{0, j} | j = 0, \dots m - 1}$
であり、 $a = ζ^{i}$ の場合は
${σ_{i, - i}, id}$
である。
初めに $K (f)$ の元は対称式であることから、これが $K$ 上ガロアであるために $τ_{0, 1}$ による作用でも対称性を保つ必要がある。いま $m$ 次斉次多項式
$f = c_{0} (X^{m} + Y^{m}) + c_{1} (X^{m - 1} Y + X Y^{m - 1}) + \dots$
の $τ_{0, 1}$ による作用は
$s f = c_{0} (X^{m} + Y^{m}) + c_{1} (ζ X^{m - 1} Y + ζ^{- 1} X Y^{m - 1}) + c_{2} (ζ^{2} X^{m - 2} Y^{2} + ζ^{- 2} X^{2} Y^{m - 2}) \dots$
であるから、これが対称式になるためには任意の $i = 1, \dots, [\frac{m}{2}]$ に対して
$c_{i} = 0$
$ζ^{2 i} = 1 (\Leftrightarrow 2 i = m)$
のいずれかが満たされる必要がある。よって $f$ としてあり得るものは
$f = a (X^{m} + Y^{m})$
$f = b (X^{m} + Y^{m}) + c (X Y)^{\frac{m}{2}}$
の場合のいずれかである。但し $c = 0$ は前者の場合に含まれるから $c \neq 0$ とする。前者の場合 $K (f) = K$ であるから $K$ 上ガロアであり、後者の場合 $K (f) = K (X^{\frac{m}{2}} Y^{\frac{m}{2}})$ は $K$ 上 $T^{2} - X^{m} Y^{m}$ の最小分解体なので $K$ 上ガロアである。以上から $m$ が奇数のときは複素数 $c \in C^{\times}$ を用いて $c (X^{m} + Y^{m})$ と表せるもので尽くされ、 $m$ が偶数のときは少なくとも一方が $0$ でない複素数 $c, d \in C$ を用いて $c (X^{m} + Y^{m}) + d (X Y)^{\frac{m}{2}}$ と表せるもので尽くされる。

投稿日：2024年2月24日

更新日：2024年8月4日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53474

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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