The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum Spec (R) of a unital commutative ring R is always a spectral (= coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of R is played by elements of an abstract complete lattice L equipped with a binary multiplication with xy⩽ x∧ y for all x, y∈ L. In fact when no further conditions on L are required, the resulting space can be and is only shown to be sober, and we discuss further conditions sufficient to make it spectral. This discussion involves establishing various comparison theorems on so-called prime, radical, solvable, and locally solvable elements of L; we also make short additional remarks on semiprime elements. We consider categorical and universal-algebraic applications involving general theory of commutators, and an application to ideals in what we call the commutative world. The cases of groups and of non-commutative rings are briefly considered separately.

Abstractly constructed prime spectra

Facchini A.
;
Finocchiaro C. A.;
2022

Abstract

The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum Spec (R) of a unital commutative ring R is always a spectral (= coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of R is played by elements of an abstract complete lattice L equipped with a binary multiplication with xy⩽ x∧ y for all x, y∈ L. In fact when no further conditions on L are required, the resulting space can be and is only shown to be sober, and we discuss further conditions sufficient to make it spectral. This discussion involves establishing various comparison theorems on so-called prime, radical, solvable, and locally solvable elements of L; we also make short additional remarks on semiprime elements. We consider categorical and universal-algebraic applications involving general theory of commutators, and an application to ideals in what we call the commutative world. The cases of groups and of non-commutative rings are briefly considered separately.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

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: https://hdl.handle.net/11577/3427777
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 11
  • OpenAlex ND
social impact