伽罗瓦扩张：在数学中，如果一个域扩张 K/k 既是一个正规扩张又是可分扩张，那 K/k 就是一个伽罗瓦扩张。注意正规扩张隐含了 K/k 是一个代数扩张。