We consider the lattice-ordered groups Inv(R) and Div(R) of invertible and divisorial fractional ideals of a completely integrally closed Prüfer domain. We prove that Div(R) is the completion of the group Inv(R), and we show there is a faithfully flat extension S of R such that S is a completely integrally closed Bézout domain with Div(R) ∼ = Inv(S). Among the class of completely integrally closed Prüfer domains, we focus on the one-dimensional Prüfer domains. This class includes Dedekind domains, the latter being the one-dimensional Prüfer domains whose maximal ideals are finitely generated. However, numerous interesting examples show that the class of one-dimensional Prüfer domains includes domains that differ quite significantly from Dedekind domains by a number of measures, both group-theoretic (involving Inv(R) and Div(R)) and topological (involving the maximal spectrum of R). We examine these invariants in connection with factorization properties of the ideals of one-dimensional Prüfer domains, putting special emphasis on the class of almost Dedekind domains, those domains for which every localization at a maximal ideal is a rank one discrete valuation domain, as well as the class of SP-domains, those domains for which every proper ideal is a product of radical ideals. For this last class of domains, we show that if in addition the ring has nonzero Jacobson radical, then the lattice-ordered groups Inv(R) and Div(R) are determined entirely by the topology of the maximal spectrum of R, and that the Cantor-Bendixson derivatives of the maximal spectrum reflect the distribution of sharp and dull maximal ideals.
We discuss a fuzzy result by displaying an example that shows how a classical argument fails to work when one passes from classical logic to fuzzy logic. Precisely, we present an example to show that, in the fuzzy context, the fact that the supremum is naturally used in lieu of the union can alter an argument that may work in the classical context.
We introduce in this work, the class of commutative rings whose lattice of ideals forms an MTL-algebra which is not necessary a BL-algebra. The so-called class of rings will be named MTL-rings. We prove that a local commutative ring with identity is an MTL-ring if and only if it is an arithmetical ring. It is shown that a noetherian commutative ring R with an identity is an MTL-ring if and only if ideals of the localization R M at a maximal ideal M are totally ordered by the set inclusion. Remarking that noetherian MTL-rings are again BL-rings, we work outside of the noetherian case by considering non-noetherian valuation domains and non-noetherian Prüfer domains. We established that non-noetherian valuation rings are the main examples of MTL-rings which are not BL-rings.This leads us to some constructions of MTL-rings from Prüfer domains: the case of holomorphic functions ring through their algebraic properties and the case of semilocal Prüfer domains through the theorem of independency of valuations. We end up giving a representation of MTL-rings in terms of subdirectly irreducible product.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.