Localization and Flatness in Quantale Theory
The study of flat ring morphisms is an important theme in commutative algebra. The purpose of this article is to develop an abstract theory of flatness in the framework of coherent quantales. The first question we must address is the definition of a notion of “flat quantale morphism” as an abstracti...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2025-01-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/13/2/227 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832588065834532864 |
|---|---|
| author | George Georgescu |
| author_facet | George Georgescu |
| author_sort | George Georgescu |
| collection | DOAJ |
| description | The study of flat ring morphisms is an important theme in commutative algebra. The purpose of this article is to develop an abstract theory of flatness in the framework of coherent quantales. The first question we must address is the definition of a notion of “flat quantale morphism” as an abstraction of flat ring morphisms. For this, we start from a characterization of the flat ring morphism in terms of the ideal residuation theory. The flat coherent quantale morphism is studied in relation to the localization of coherent quantales. The quantale generalizations of some classical theorems from the flat ring morphisms theory are proved. The Going-down and Going-up properties are then studied in connection with localization theory and flat quantale morphisms. As an application, characterizations of zero-dimensional coherent quantales are obtained, formulated in terms of Going-down, Going-up, and localization. We also prove two characterization theorems for the coherent quantales of dimension at most one. The results of the paper can be applied both in the theory of commutative rings and to other algebraic structures: <i>F</i>-rings, semirings, bounded distributive lattices, commutative monoids, etc. |
| format | Article |
| id | doaj-art-6f775bad53eb4c7dbf39623148ac0a3e |
| institution | Kabale University |
| issn | 2227-7390 |
| language | English |
| publishDate | 2025-01-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Mathematics |
| spelling | doaj-art-6f775bad53eb4c7dbf39623148ac0a3e2025-01-24T13:39:48ZengMDPI AGMathematics2227-73902025-01-0113222710.3390/math13020227Localization and Flatness in Quantale TheoryGeorge Georgescu0Faculty of Mathematics and Computer Science, University of Bucharest, 010014 Bucharest, RomaniaThe study of flat ring morphisms is an important theme in commutative algebra. The purpose of this article is to develop an abstract theory of flatness in the framework of coherent quantales. The first question we must address is the definition of a notion of “flat quantale morphism” as an abstraction of flat ring morphisms. For this, we start from a characterization of the flat ring morphism in terms of the ideal residuation theory. The flat coherent quantale morphism is studied in relation to the localization of coherent quantales. The quantale generalizations of some classical theorems from the flat ring morphisms theory are proved. The Going-down and Going-up properties are then studied in connection with localization theory and flat quantale morphisms. As an application, characterizations of zero-dimensional coherent quantales are obtained, formulated in terms of Going-down, Going-up, and localization. We also prove two characterization theorems for the coherent quantales of dimension at most one. The results of the paper can be applied both in the theory of commutative rings and to other algebraic structures: <i>F</i>-rings, semirings, bounded distributive lattices, commutative monoids, etc.https://www.mdpi.com/2227-7390/13/2/227coherent quantaleslocalizationflat quantale morphismsdimension of a quantalegoing-down propertygoing-up property |
| spellingShingle | George Georgescu Localization and Flatness in Quantale Theory Mathematics coherent quantales localization flat quantale morphisms dimension of a quantale going-down property going-up property |
| title | Localization and Flatness in Quantale Theory |
| title_full | Localization and Flatness in Quantale Theory |
| title_fullStr | Localization and Flatness in Quantale Theory |
| title_full_unstemmed | Localization and Flatness in Quantale Theory |
| title_short | Localization and Flatness in Quantale Theory |
| title_sort | localization and flatness in quantale theory |
| topic | coherent quantales localization flat quantale morphisms dimension of a quantale going-down property going-up property |
| url | https://www.mdpi.com/2227-7390/13/2/227 |
| work_keys_str_mv | AT georgegeorgescu localizationandflatnessinquantaletheory |