Inelul lui Krull

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”.

Definiție

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ă:

  1.  este un inel de evaluare discret pentru toți ,
  2. este egală cu intersecția acestor inele de evaluare discrete (considerate ca subinele ale câmpului coeficient ).
  3. Orice element diferit de zero este conținut în cel mult un număr finit de idealuri prime de înălțime 1.

Proprietăți

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]

Exemple

Grupul clasei divizor

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.

Note

  1. Krull, Wolfgang (1931), Allgemeine Bewertungstheorie Arhivat 06.01.2013 . J. Reine Angew. Matematică. 167:160-196
  2. Krull ring - articol din Encyclopedia of Mathematics . V. I. Danilov
  3. Bourbaki, capitolul 7, nr . 10, Propunerea 16.
  4. Închiderea integrală a idealurilor, inelelor și modulelor, volumul 13

Literatură