Jakolause (splittingtheorem) Lause, joka määrittää alkuideaalien jaon kategoriatason teoriassa. Jos K/k on H:n luokka-alue, jossa H on aliryhmä, joka sisältää k:n k:n idaaliryhmän J*, niin mikä tahansa k:n alkujakaja v jaetaan kokonaan K:ssä, jos ja vain jos kvCH, missä k2 on k:n täydellisyys v:ksi. Lisäksi on seuraavat tulokset: jos K/k on mikä tahansa Abelin laajennus, v Onko mikä tahansa k:n alkujakaja, niin alkioiden kuva kv:ssä Ating-kartan alla on täsmälleen hajoamisryhmä Gv ( eli Kw/k kaksi Galois'n ryhmä, w on mikä tahansa v:n jatke kohdassa k). , Ja enemmän
missä N}. Se on K.
