伽罗瓦扩张

伽罗瓦扩张：在数学中，如果一个域扩张 K/k 既是一个正规扩张又是可分扩张，那 K/k 就是一个伽罗瓦扩张。注意正规扩张隐含了 K/k 是一个代数扩张。对于一个伽罗瓦扩张 K/k，可以定义伽罗瓦群，为所有 K/k 的自同构构成的群。抽象代数， 研究代数的具体结构，群、环、域、模，域的可分正规扩张——伽罗瓦扩张。