ガロアの逆問題（ガロアのぎゃくもんだい、英語: inverse Galois problem）とは、全ての有限群が有理数体 のガロア拡大のガロア群として現れるかどうかを問う、ガロア理論の問題である。この問題は、19世紀初期にはじめて提起されたhttp://library.msri.org/books/Book45/files/book45.pdf未解決問題である。
いくつかの置換群については、その置換群がガロア群となるような有理数体 の代数拡大を全て与えるが知られている。 例えば、次数が以下の置換群は生成的多項式を持つことが知られている。また、位数がの巡回群のように、生成的多項式が存在しない群が存在することも知られている。
より一般的に、任意の有限群 と体 に対して、ガロア群が と同型になるようなガロア拡大体 は存在するかを問う問題も考えられる。そのような体 が存在するとき、 は 上実現可能であると言う。
部分的な結果 特殊な場合については多くのことが詳細に知られている。全ての有限群は複素数体 上の1変数代数関数体上実現可能であることが知られている。より一般に、標数零の任意の代数的閉体上の1変数代数関数体でも知られている。イゴール・シャハレビッチは、全ての有限可解群は 上実現可能であることを示したIgor R. Shafarevich, The imbedding problem for splitting extensions, Dokl. Akad. Nauk SSSR 120 (1958), 1217-1219.。 を除く全てのは 上実現可能であることも知られているp. 5 of Jensen et al., 2002。
ダフィット・ヒルベルトは、この問題が に対する有理性の問題と関係することを示した: を の任意の拡大体とし、 に が として作用し、 が 上有理的ならば、 は 上実現可能である。 ここで、有理的とは の 純超越 拡大体であること、すなわち 集合によって 上生成されているという意味である。この判定法を用いることで、例えば全ての対称群が実現可能であることを示せる。
この問題に関して詳細な研究が多くなされているが一般的には解かれていない。いくつかは射影直線のとして幾何学的に を構成する方法に基づいている。代数的な言葉で言えば、不定元 の 有理関数体 の拡大体をまず考えることに相当する。この拡大体が得られれば、 によりガロア群を保つように を特殊化できる。
次数が16以下の全ての置換群は、 上実現可能であることが知られているhttp://galoisdb.math.upb.de/。 次数が17の群 PSL(2,16):2 については知られていない。
PSL(2,25) (位数 7800) よりも小さい、全ての13個の非可換単純群については、 上実現可能であることが知られているMalle and Matzat (1999), pp. 403-424。
単純な例: 巡回群 古典的な結果を用いることにより、任意の正の整数 に対して 上のガロア群が巡回群 となるような多項式を明示的に構成することができる。これを見るために、まず素数 で となるようなものを取る。このような素数はディリクレの定理により存在する。 を1の原始 乗根とし、 を に を付け加えて得られる 円分拡大 とする。体拡大 のガロア群は位数 の巡回群である。
は を割り切るので、このガロア群は位数 の巡回部分群 を持つ。この部分群の固定体 は、ガロア理論の基本定理より 上のガロア群として を持つ。の構成方法に従って の共役の適当な和を取ることにより、 の元 で 上 を生成するものを作れ、その最小多項式を計算できる。
任意の有限アーベル群は の円分拡大のガロア群の商として現れる（クロネッカー・ウェーバーの定理はこれよりも深い結果）ので、この方法はそのような群にも適用できる。
範例: 位数3の巡回群 に対しては、 で取ることができる。このとき は位数6の巡回群である。このガロア群の を に移す元を とすると、これは生成元になっている。位数2の部分群 } に興味がある。元 を考える。作り方から は の作用で不変であり、 上の共役は
の3つである。
下記の恒等式 , を使って、
となることがわかる。
したがって は多項式 , の根であり、この多項式の 上のガロア群は である。
対称群と交代群 全ての対称群と交代群は有理数係数多項式のガロア群として現れることがヒルベルトにより示された。
多項式 の判別式は
である。
特殊な場合として、 . を考える。
多項式 の を素数に置き換えたもの（ の特殊化と呼ぶ）は、アイゼンシュタインの既約判定法により既約な多項式である。したがって は 上既約である。さらに、 は
とも書け、 は
と分解できる。
上式の2番目の項は、その相反多項式にアイゼンシュタインの既約判定法を適用することにより、既約であることがわかる。以上から、群 はであることがわかった。
次にこのガロア群が互換を含むことを見る。定数倍による変数変換 を使うと
となり、
と置き、
と定義すると、これは
ともかける。
これから、多項式 は を重複度2の零点として持ち、残りの 個の零点は重複度が1であることが分かり、 が互換を含むことがわかる。互換を含む任意の有限な は対称群そのものと一致する。
から、 を特殊化するとその多項式の有理数体 上のガロア群が となるものが無限に存在する。また、そのような有理数は のなかで稠密である。
の判別式は
となる。
これは完全平方ではない。
交代群 交代群の場合は奇数次数の場合と偶数次数の場合をわけて考える。
奇数次数
とおく。
この置換で の判別式は
となる。
が奇数であれば、これは完全平方である。
偶数次数
とおく。
この置換で の判別式は
となる。
が偶数であれば、これは完全平方である。
再び、ヒルベルトの既約性定理により、ガロア群が交代群となるような特殊化が無限に多く存在することが示された。
剛的（rigid）な群 を有限群 の共役類とし、 を の 個の元の組 で、各 は に含まれ、全ての積 が単位元になるようなものの集合とする。 が、空集合ではなく、共役による のその上への作用が推移的であり、更に の各元が を生成するとき、剛的（rigid）であると言う。
は、 もし有限群 が剛的（rigid）な集合を持つならば、この有限群はしばしば有理数体の円分拡大体（具体的には、 の既約指標が共役類 でとる値によって生成される有理数体の円分拡大体）上のガロア群として実現できることを示した。
これを使ってモンスター群を含む多くの有限単純群が有理数体のガロア拡大のガロア群となることを示せる。モンスター群は位数が 、、 の元の3つ組によって生成される。このような3つ組は全て共役である。
剛的（rigid）な群の原型は対称群 である。この群は、積を取ると長さ 巡回置換になる長さ 巡回置換と互換で生成される。前節の構成ではこの生成元を使って多項式のガロア群を求めた。
楕円モジュラー関数を使った構成 を任意の整数とする。複素平面上の格子 の周期の比を とすると、この格子は周期の比が であるような部分格子 を持つ。そのような部分格子の集合は有限集合であり、 の基底変換によりモジュラー群 が作用している。 をフェリックス・クラインの楕円モジュラー関数 とする。多項式 を、共役な部分格子にわたって の積をとったものとして定義する。 の多項式として、 は 係数のの多項式を係数としている。
互いに共役な格子の集合に、 モジュラー群は として作用している。これから、 の 上のガロア群は と同型であることがわかる。
ヒルベルトの既約性定理を使うことにより、多項式 を特殊化したときの 上のガロア群が となるような有理数が無限（更に、稠密）に多く存在する。群の族 には無限に多くの非可解群が含まれている。
脚注
参考文献
Alexander M. Macbeath, Extensions of the Rationals with Galois Group PGL(2,Zn), Bull. London Math. Soc., 1 (1969),332-338.
Helmut Völklein, Groups as Galois Groups, an Introduction, Cambridge University Press, 1996.
J.P.セール(著)、H.ダルモン(筆記)、植野義明(訳)：「ガロア理論特論」、トッパン、ISBN 4-8101-8924-4（1995年3月10日） Gunter Malle, Heinrich Matzat, Inverse Galois Theory, Springer-Verlag, 1999, . Gunter Malle, Heinrich Matzat, Inverse Galois Theory, 2nd edition, Springer-Verlag, 2018. Alexander Schmidt, Kay Wingberg, Safarevic's Theorem on Solvable Groups as Galois Groups (see also ) Christian U. Jensen, Arne Ledet, and , Generic Polynomials, Constructive Aspects of the Inverse Galois Problem, Cambridge University Press, 2002.