同型写像が自己同型写像になる条件

Q（α）に作用する同型写像σについて、σ（α）がQ（α）に含まれるとき、

σはQ（α）の自己同型写像になります。

自己同型写像とは、同型写像が体Kから自分自身のKへの写像であるとき

ですから、なんとなく分かると思います。

以前に、最小分解体というのが出てきましたが

Q（α、β、γ、・・・）＝Q（α）＝Q（β）＝・・・となります。

これは、不思議ですが後になってまた出てくると思います。

ここで、α、β、・・は、ｎ次既約方程式ｆ（ｘ）の解です。