Lemma di Krull

In matematica, o, più precisamente, nella teoria degli anelli, il lemma di Krull, che prende il nome dal matematico tedesco Wolfgang Krull, dimostra l'esistenza di un ideale massimale in ogni anello unitario non banale.

Il lemmaModifica

Sia   un anello unitario diverso dall'anello banale, allora   contiene un ideale massimale.

Questo enunciato può essere dimostrato usando il lemma di Zorn, equivalente all'assioma della scelta.

Il lemma può essere enunciato anche nel modo seguente:

Sia   un anello unitario diverso dall'anello banale e sia   un ideale proprio, allora   è contenuto in un ideale proprio massimale di  .

Si noti come questo enunciato sia equivalente ed implichi il primo, assumendo  

BibliografiaModifica

  • W. Krull, Die Idealtheorie in Ringen ohne Endlicheitsbedingungen, Mathematische Annalen 10 (1929), 729–744.