Dělicí věta (splittingtheorem) Věta k určení rozdělení prvočísel v teorii domény kategorií. Jestliže K/k je doména kategorie H, kde H je podgrupa obsahující k'z identické grupy J* z k, pak je jakýkoli prvotřídní dělitel v z k zcela rozdělen v K právě tehdy, když kvCH, kde k2 je úplnost k až v. Dále jsou zde následující výsledky: je-li K/k libovolný abelovský rozvoj, v je libovolný prvočíselník k, pak obrazem prvků v kv pod Atingovou mapou je právě rozkladná grupa Gv ( tj. Galoisova grupa Kw/k dva, w je libovolné pokračování v v k). , A více
kde N}. Je to K.
