We formulate a natural common generalisation of Krull's theorem on prime ideals and of Lindenbaum's lemma on complete consistent theories; this has instantiations in diverse branches of algebra, such as the Artin–Schreier theorem. Following Scott we put the Krull–Lindenbaum theorem in universal rather than existential form, which move allows us to give a relatively direct proof with Raoult's Open Induction in place of Zorn's Lemma. By reduction to the corresponding theorem on irreducible ideals that is due to Noether, McCoy, Fuchs and Schmidt, we further shed light on why prime ideals occur together with transfinite methods.

A universal Krull–Lindenbaum theorem

Schuster, Peter Michael
2016

Abstract

We formulate a natural common generalisation of Krull's theorem on prime ideals and of Lindenbaum's lemma on complete consistent theories; this has instantiations in diverse branches of algebra, such as the Artin–Schreier theorem. Following Scott we put the Krull–Lindenbaum theorem in universal rather than existential form, which move allows us to give a relatively direct proof with Raoult's Open Induction in place of Zorn's Lemma. By reduction to the corresponding theorem on irreducible ideals that is due to Noether, McCoy, Fuchs and Schmidt, we further shed light on why prime ideals occur together with transfinite methods.
prime ideals, irreducible ideals, closure operator, complete theories, Zorn's Lemma, Open Induction.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/939438
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 11
social impact