0

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

197
0

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

2017B04

整数m2を取り、体L=C(X,Y)とその部分体K=C(XmYm,Xm+Ym)を考える。

  1. 拡大L/KはGalois拡大であることを示し、その拡大次数[L:K]を求めなさい。
  2. あるaCを用いてK(X+aY)と表せるようなL/Kの中間体の個数を求め、このような体に対応するG=Gal(L/K)の部分群を全て求めなさい
  3. m次斉次対称式fについてK:=K(f(X,Y))とおく。拡大K/Kがガロア拡大になるようなfを全て挙げなさい。
  1. 多項式F(T)=(TmXm)(TmYm)を考えると、LKFの最小分解体なので、特にGaloisである。またS=C(Xm,Ym)K2次拡大であり、LSm2次拡大であるから、[L:K]=2m2である。
  2. ここで1mの生成元ζを一つ固定しGの元τi,j
    τi,j(X)=ζiX,τ(Y)=ζjY
    によって、σi,j
    σi,j(X)=ζiY,σi,j(Y)=ζjX
    によって定義する。ここでX+aYτi,jによって固定されるとすると、(i,j)=(0,j)かつa=0の場合と(i,j)=(0,0)の場合しかない。一方σi,jによって固定されているとすると、(i,j)=(i,i)かつa=ζiの場合しかない。以上からK(X+aY)が非自明な中間体になっているのはa=0,1,ζ,ζ2,,ζm1の場合であり、これらはいずれも相異なる体を定めているから、所望の体はm+1個である。またそれぞれに対応するGの部分群はa=0の場合は
    {τ0,j|j=0,m1}
    であり、a=ζiの場合は
    {σi,i,id}
    である。
  3. 初めにK(f)の元は対称式であることから、これがK上ガロアであるためにτ0,1による作用でも対称性を保つ必要がある。いまm次斉次多項式
    f=c0(Xm+Ym)+c1(Xm1Y+XYm1)+
    τ0,1による作用は
    sf=c0(Xm+Ym)+c1(ζXm1Y+ζ1XYm1)+c2(ζ2Xm2Y2+ζ2X2Ym2)
    であるから、これが対称式になるためには任意のi=1,,[m2]に対して
    ci=0
    ζ2i=1(2i=m)
    のいずれかが満たされる必要がある。よってfとしてあり得るものは
    f=a(Xm+Ym)
    f=b(Xm+Ym)+c(XY)m2
    の場合のいずれかである。但しc=0は前者の場合に含まれるからc0とする。前者の場合K(f)=KであるからK上ガロアであり、後者の場合K(f)=K(Xm2Ym2)KT2XmYmの最小分解体なのでK上ガロアである。以上からmが奇数のときは複素数cC×を用いてc(Xm+Ym)と表せるもので尽くされ、mが偶数のときは少なくとも一方が0でない複素数c,dCを用いてc(Xm+Ym)+d(XY)m2と表せるもので尽くされる。
投稿日:2024224
更新日:202484
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中