11 research outputs found
Transferring Davey`s Theorem on Annihilators in Bounded Distributive Lattices to Modular Congruence Lattices and Rings
Congruence lattices of semiprime algebras from semi--degenerate
congruence--modular varieties fulfill the equivalences from B. A. Davey`s
well--known characterization theorem for --Stone bounded distributive
lattices, moreover, changing the cardinalities in those equivalent conditions
does not change their validity. I prove this by transferring Davey`s Theorem
from bounded distributive lattices to such congruence lattices through a
certain lattice morphism and using the fact that the codomain of that morphism
is a frame. Furthermore, these equivalent conditions are preserved by finite
direct products of such algebras, and similar equivalences are fulfilled by the
elements of semiprime commutative unitary rings and, dualized, by the elements
of complete residuated lattices.Comment: 18 page
The Reticulation of a Universal Algebra
The reticulation of an algebra is a bounded distributive lattice whose prime spectrum of filters or ideals is homeomorphic to the prime
spectrum of congruences of , endowed with the Stone topologies. We have
obtained a construction for the reticulation of any algebra from a
semi-degenerate congruence-modular variety in the case when the
commutator of , applied to compact congruences of , produces compact
congruences, in particular when has principal commutators;
furthermore, it turns out that weaker conditions than the fact that belongs
to a congruence-modular variety are sufficient for to have a reticulation.
This construction generalizes the reticulation of a commutative unitary ring,
as well as that of a residuated lattice, which in turn generalizes the
reticulation of a BL-algebra and that of an MV-algebra. The purpose of
constructing the reticulation for the algebras from is that of
transferring algebraic and topological properties between the variety of
bounded distributive lattices and , and a reticulation functor is
particularily useful for this transfer. We have defined and studied a
reticulation functor for our construction of the reticulation in this context
of universal algebra.Comment: 29 page
Functorial Properties of the Reticulation of a Universal Algebra
The reticulation of an algebra A is a bounded distributive lattice whose
prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic
to the prime spectrum of congruences of A, with its own Stone topology.
The reticulation allows algebraic and topological properties to be transferred
between the algebra A and this bounded distributive lattice, a transfer which
is facilitated if we can define a reticulation functor from a variety containing A
to the variety of (bounded) distributive lattices. In this paper, we continue the
study of the reticulation of a universal algebra initiated in [27], where we have
used the notion of prime congruence introduced through the term condition
commutator, for the purpose of creating a common setting for the study of the
reticulation, applicable both to classical algebraic structures and to the algebras
of logics. We characterize morphisms which admit an image through th
Fuzzy Mathematics
This book provides a timely overview of topics in fuzzy mathematics. It lays the foundation for further research and applications in a broad range of areas. It contains break-through analysis on how results from the many variations and extensions of fuzzy set theory can be obtained from known results of traditional fuzzy set theory. The book contains not only theoretical results, but a wide range of applications in areas such as decision analysis, optimal allocation in possibilistics and mixed models, pattern classification, credibility measures, algorithms for modeling uncertain data, and numerical methods for solving fuzzy linear systems. The book offers an excellent reference for advanced undergraduate and graduate students in applied and theoretical fuzzy mathematics. Researchers and referees in fuzzy set theory will find the book to be of extreme value