Galois group

《代数学引论》 · 第 239 页 · 定义 1

设 $K/F$ 为任一域扩张。$K$ 的全部 $F$-自同构成一群，叫做 $K/F$ 的伽罗瓦群，记成 $\operatorname{Gal}(K/F)$。

由 admin 提交

《A Course in Finite Group Representation Theory》 · 第 135 页 · Section 4.1「Galois Extensions」，Definition 1

An algebraic field extension $L/K$ is called Galois if it is normal and separable. Then $\operatorname{Gal}(L/K):=\operatorname{Aut}_K(L)$ is called the Galois group of the Galois extension $L/K$.