因式分解（，，或），在数学中一般理解为把一个多项式分解为两个或多个的因式（因式亦为多项式）的过程。在这个过后会得出一堆较原式简单的多项式的积。例如多项式formula_1可被因式分解为formula_2。
因式分解定理.数域F上每个次数formula_3的多项式formula_4都可以分解成数域F上一些不可约多项式的乘积，并且分解是唯一的，即如果有两个分解式formula_5其中formula_6和formula_7都是数域F上的不可约多项式，那么必有formula_8，而