118 research outputs found

    A note on distributivity of the lattice of L-ideals of a ring

    Get PDF
    Many studies have investigated the lattice of fuzzy substructures of algebraic structures such as groups and rings. In this study, we prove that the lattice of L-ideals of a ring is distributive if and only if the lattice of its ideals is distributive, for an infinitely ?- distributive lattice L. © 2019 Hacettepe University. All rights reserved

    Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology

    Full text link
    A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features by so called barcodes or equivalently persistence diagrams. The set of points of all such diagrams determines a complete Heyting algebra that can explain aspects of the relations between persistent bars through the algebraic properties of its underlying lattice structure. In this paper, we investigate the topos of sheaves over such algebra, as well as discuss its construction and potential for a generalised simplicial homology over it. In particular we are interested in establishing a topos theoretic unifying theory for the various flavours of persistent homology that have emerged so far, providing a global perspective over the algebraic foundations of applied and computational topology.Comment: 20 pages, 12 figures, AAA88 Conference proceedings at Demonstratio Mathematica. The new version has restructured arguments, clearer intuition is provided, and several typos correcte

    Fuzzy hh-ideals of hemirings

    Full text link
    A characterization of an hh-hemiregular hemiring in terms of a fuzzy hh-ideal is provided. Some properties of prime fuzzy hh-ideals of hh-hemiregular hemirings are investigated. It is proved that a fuzzy subset ζ\zeta of a hemiring SS is a prime fuzzy left (right) hh-ideal of SS if and only if ζ\zeta is two-valued, ζ(0)=1\zeta(0) = 1, and the set of all xx in SS such that ζ(x)=1\zeta(x) = 1 is a prime (left) right hh-ideal of SS. Finally, the similar properties for maximal fuzzy left (right) hh-ideals of hemirings are considered

    The Reticulation of a Universal Algebra

    Get PDF
    The reticulation of an algebra AA is a bounded distributive lattice L(A){\cal L}(A) whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of AA, endowed with the Stone topologies. We have obtained a construction for the reticulation of any algebra AA from a semi-degenerate congruence-modular variety C{\cal C} in the case when the commutator of AA, applied to compact congruences of AA, produces compact congruences, in particular when C{\cal C} has principal commutators; furthermore, it turns out that weaker conditions than the fact that AA belongs to a congruence-modular variety are sufficient for AA 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 C{\cal C} is that of transferring algebraic and topological properties between the variety of bounded distributive lattices and C{\cal C}, 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

    Smarandache near-rings

    Get PDF
    The main concern of this book is the study of Smarandache analogue properties of near-rings and Smarandache near-rings; so it does not promise to cover all concepts or the proofs of all results
    • …
    corecore