固定体と固定群

あまり、聞きなれない名前が出てきました。

方程式の最小分解体をL、ガロア群をGとします。Gの

部分群Hによって不変なLの元の集合Mは体になります。

これをHの固定体といいます。

また、Lの中間体Mのすべての元を不変にするGの元の

集合Hは群になります。これをGにおけるMの固定群と

いいます。

これらは、中間体の性質を調べたものです。

ガロア対応と呼ばれるものですが、ちょっと分かりにくいですね。