可分扩张是抽象代数之域扩张理论中的概念。如果一个代数扩张L/K满足:任何一个L中元素在基体K上的极小多项式都是可分多项式,那么这个扩张就称作可分扩张。由于特征为0的域以及有限域都是完美域,任何这些域上的代数扩张都是可分扩张,因此可分扩张在域论研究中十分重要。可分扩张还是伽罗瓦扩张的条件之一,因此它在伽罗瓦理论中也扮演了重要的角色。
8
伽罗瓦扩张是抽象代数中伽罗瓦理论的核心概念之一。伽罗瓦扩张是体域扩张的一类。如果某个域扩张L/K既是可分扩张也是正规扩张,则称其为伽罗瓦扩张。另一个等价的定义是:伽罗瓦扩张是使得其上的环同态自同构群的固定域为其基域的域扩张。伽罗瓦扩张上的自同构群称为伽罗瓦群,而且伽罗瓦扩张的中间域与其伽罗瓦群的子群之间的关系满足伽罗瓦理论基本定理。