Теорема раздвајања (сплиттингтхеорем) Теорема за одређивање цепања простих идеала у теорији домена категорија. Ако је К/к домен категорије од Х, где је Х подгрупа која садржи к' идал групе Ј* од к, тада је сваки прости делилац в од к потпуно подељен у К ако и само ако је квЦХ, где је к2 комплетност од к до в. Даље, постоје следећи резултати: ако је К/к било која Абелова експанзија, в је било који прости делилац од к, онда је слика елемената у кв испод Атингове мапе тачно декомпозициона група Гв ( односно Галоа група од Кв/к два, в је било који наставак в у к). , И још
где је Н}. То је К.
