ここでは東大数理の修士課程の院試の2017B04の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
2017B04
整数を取り、体とその部分体を考える。
- 拡大はGalois拡大であることを示し、その拡大次数を求めなさい。
- あるを用いてと表せるようなの中間体の個数を求め、このような体に対応するの部分群を全て求めなさい
- 次斉次対称式についてとおく。拡大がガロア拡大になるようなを全て挙げなさい。
- 多項式を考えると、は上の最小分解体なので、特にGaloisである。またはの次拡大であり、はの次拡大であるから、である。
- ここでの生成元を一つ固定しの元を
によって、を
によって定義する。ここでがによって固定されるとすると、かつの場合との場合しかない。一方によって固定されているとすると、かつの場合しかない。以上からが非自明な中間体になっているのはの場合であり、これらはいずれも相異なる体を定めているから、所望の体は個である。またそれぞれに対応するの部分群はの場合は
であり、の場合は
である。 - 初めにの元は対称式であることから、これが上ガロアであるためにによる作用でも対称性を保つ必要がある。いま次斉次多項式
のによる作用は
であるから、これが対称式になるためには任意のに対して
のいずれかが満たされる必要がある。よってとしてあり得るものは
の場合のいずれかである。但しは前者の場合に含まれるからとする。前者の場合であるから上ガロアであり、後者の場合は上の最小分解体なので上ガロアである。以上からが奇数のときは複素数を用いてと表せるもので尽くされ、が偶数のときは少なくとも一方がでない複素数を用いてと表せるもので尽くされる。