可约因式的唯一分解。
定义.设F为一个体，一非常数多项式在F上不可约，若其系数属于F，且无法分解成两个系数为F之非常数多项式的乘积。具整数系数（或更一般地，具唯一分解整环R内之系数）的多项式被称为在R上不可约，若该多项式为多项式环（在唯一分解整环上的多项式环也是一唯一分解整环）内的不可约元素，亦即该多项式不可逆、非零，且无法分解成两个系数在R内的不可逆多项式之乘积。另一个常用定义为，一多项式「在R上不可约」，若该多项式在R的分式环（若R为整数，即为一有理数体）上不可约。两种定义