A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866929316696162304 |
|---|---|
| author | Bernardoni, William |
| author_facet | Bernardoni, William |
| contents | Arithmetic valuations are intimately connected with the structure of the ideals of a commutative ring. We show how the generalized idempotent semiring valuations of Jeffrey and Noah Giansiracusa can be used to make this connection explicit. Through this generalized valuation theory sufficiently complete positive valuations give rise to Galois correspondences with the lattice of ideals of a commutative ring. Up to isomorphism the semiring of ideals of a commutative ring can be defined as a universal factoring semiring for positive valuations. We then further show that this valuation theory can formally connect Joyal's \textit{notion de zéros} and universal property of the spectrum of a ring to arithmetic valuation theory. We show that up to isomorphism as a coframe, the closed Zariski topology on a spectrum of a commutative ring can be defined as the universal factoring semiring of additively and multiplicatively idempotent valuations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_10937 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals Bernardoni, William Commutative Algebra Rings and Algebras 16W60 (Primary) 16Y60, 14T10, 12J25 (Secondary) Arithmetic valuations are intimately connected with the structure of the ideals of a commutative ring. We show how the generalized idempotent semiring valuations of Jeffrey and Noah Giansiracusa can be used to make this connection explicit. Through this generalized valuation theory sufficiently complete positive valuations give rise to Galois correspondences with the lattice of ideals of a commutative ring. Up to isomorphism the semiring of ideals of a commutative ring can be defined as a universal factoring semiring for positive valuations. We then further show that this valuation theory can formally connect Joyal's \textit{notion de zéros} and universal property of the spectrum of a ring to arithmetic valuation theory. We show that up to isomorphism as a coframe, the closed Zariski topology on a spectrum of a commutative ring can be defined as the universal factoring semiring of additively and multiplicatively idempotent valuations. |
| title | A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals |
| topic | Commutative Algebra Rings and Algebras 16W60 (Primary) 16Y60, 14T10, 12J25 (Secondary) |
| url | https://arxiv.org/abs/2404.10937 |