数学中，可分多项式在不同的作者的书下有两个略微不同的定义。

最常见的一个定义是：当在一个给定域K上的多项式P(X)在K的代数闭包中有不同的根时，称多项式为可分的。换言之它的互异根的数量需要等于多项式的次数。在多项式因式分解的观点下，这样的多项式是无平方多项式。

第二个定义，当P(X)在K[X]中的每个不可约因子在K的代数闭包中的根互不相同，此时称P(X)是可分的。这意味着每个不可约因子是无平方项的。在这个定义中，可分性依赖于K，比如任何一个不可分的不可约多项式P在它的分裂域上都变成可分的了。并且在这个定义下，每个完美域上的多项式是可分的，这包含了0特征域和所有有限域。

In mathematics, a polynomial P(X) over a given field K is separable if its roots are distinct in an algebraic closure of K, that is, the number of its distinct roots is equal to its degree.

This concept is closely related to square-free polynomial. If K is a perfect field then the two concepts coincide. In general, P(X) is separable if and only if it is square-free over any field that contains K, which holds if and only if P(X) is coprime to its formal derivative P′(X).