Remark. the textbook definition for Galois extensions [22014]
Remark. the textbook definition for Galois extensions [22014]
The textbook uses $\lvert \mathrm{Aut}(K / F) \rvert = [K : F]$ as the definition of Galois extensions.
The textbook uses $\lvert \mathrm{Aut}(K / F) \rvert = [K : F]$ as the definition of Galois extensions.