此一建构，最终会得到能将P分解成线性因式的体。该体在体同态的意义下是唯一的，且称之为P的分裂体。
在整环上.令R为一整环。R内非零，亦非单位元之一元素f被称为不可约，若不存在非单位元之元素g与h，使得f = gh。可证明，每个质元素均为不可约；反之不一定成立，但在唯一分解整环内为真。在一体F（或任一唯一分解整环）上之多项式环F[x]亦为唯一分解整环。以此类推，若R为唯一分解整环，可知在环R上具n个未变数的多项式环也会是唯一分解整环。