Inelul Krull este un inel comutativ cu proprietăți de descompunere relativ bune . Ele au fost investigate pentru prima dată de Wolfgang Krull în 1931 [1] . Inelele Krull sunt o generalizare multidimensională a inelelor Dedekind : un inel Dedekind este exact un inel Krull de dimensiunea de cel mult 1.
În acest articol, cuvântul „ring” înseamnă „un inel comutativ cu unitate”.
Fie un domeniu al integrității și să fie mulțimea tuturor idealurilor prime de înălțime 1, adică idealurile prime care nu conțin alte idealuri prime diferite de zero. este un inel Krull dacă și numai dacă:
Un inel Krull este factorial dacă și numai dacă fiecare ideal prim al înălțimii 1 este principal [2] .
Să fie un inel Zariski (de exemplu, un inel local Noetherian ). Dacă finalizarea este un inel Krull, atunci este și un inel Krull. [3]
Toate idealurile divizoarelor unui inel Krull se descompun (unic) într-un produs de idealuri prime de înălțime 1, astfel încât grupul poate fi privit ca un grup de combinații liniare formale (cu coeficienți întregi) de idealuri prime de înălțime 1. Divizorii principali se formează un subgrup , factorul peste acest grup se numește grupul clasei divizor . Acest grup este banal dacă și numai dacă inelul este factorial.
Divizorul Cartier este un divizor principal local. Divizorii Cartier formează un subgrup al grupului de divizori . Toți divizorii principali sunt divizori Cartier, iar factorul divizorilor Cartier în raport cu aceștia este grupul Picard de snopi inversați pe .
Exemplu: într-un inel , grupul clasei divizor are ordinul 2 (generat de un divizor ), în timp ce grupul Picard este banal.