自己同型群

体Kの自己同型写像は、写像を連続的に行うことで積について群に

なっています。この群を、体Kの自己同型群といいます。

　　自己同型写像を、σ、τとしたとき積のσ・τをσ（τ（α））とします。

　　ここで、αはKの元です。

次の定義は重要です。

一般に、ｆ（ｘ）＝０の最小分解体に関する自己同型群のことを

ｆ（ｘ）のガロア群と呼びます。これは以前にも出てきていますが、

ここでの定義の方が分かりやすいと思いますが、どうでしょうか。