Related papers: Prime Filters in an MV-algebra
We give a spectral theorem for unital representations of Hermitian commutative unital *-algebras by possibly unbounded operators in a pre-Hilbert space. A better result is known for the case in which the *-algebra is countably generated.
The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among…
We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra…
We continue the exploration of various aspects of divisibility of ultrafilters, adding one more relation to the picture: multiplicative finite embeddability. We show that it lies between divisibility relations $\mid_M$ and…
Filter convergence of vector lattice-valued measures is considered, in order to deduce theorems of convergence for their decompositions. First the $\sigma$-additive case is studied, without particular assumptions on the filter; later the…
The article is designed to explain to commutative algebraists what spectra (in the sense of algebraic topology) are, why they were originally defined, and how they can be useful for commutative algebra.
We propose in this article a definition of a MV-algebra structure on a class of subsets of some probability spaces and we work-out some examples. Our intention is to convey, by mean of the simplest possible examples, the idea that the…
State operators on convex effect algebras, in particular effect algebras of unital JC-algebras, JW-algebras and convex sigma-MV algebras are studied and their relations with conditional expectations in algebraic sense as well as in the…
Let $A$ be an MV-algebra. An $(\odot,\vee)$-derivation on $A$ is a map $d: A\to A$ satisfying: $d(x \odot y) = (d(x) \odot y) \vee(x \odot d(y))$ for all $x, y \in A$. This paper initiates the study of $(\odot,\vee)$-derivations on…
A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and coproduct. We here give a classification of connected, cocommutative Com-PreLie bialgebras over a field of…
We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties…
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…
A boundary behavior of mappings, which are closely related with Sobolev and Orlicz--Sobolev classes in the plane and in the space, is investigated. There are obtained theorems on boundary behavior of classes mentioned above.
Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the development of the basic theory of latent fibrations and…
In this paper we study prime spectra of commutative BCK-algebras. We give a new construction for commutative BCK-algebras using rooted trees, and determine both the ideal lattice and prime ideal lattice of such algebras. We prove that the…
Ordinary binary multiplication of natural numbers can be generalized in a non-trivial way to a ternary operation by considering discrete volumes of lattice hexagons. With this operation, a natural notion of `3-primality' -- primality with…
A graph $G$ is defined encapsulating the number theoretic notion of the Fundamental Theorem of Arithmetic. We then provide a graph theoretic approach to the fundamental results on the coprimality of two natural numbers, through the use of…
Let us say that a class of upward closed sets (upsets) of distributive lattices is a finitary filter class if it is closed under homomorphic preimages, intersections, and directed unions. We show that the only finitary filter classes of…
We present the first detailed computations of wave optics effects in the gravitational lensing of binary systems. The field is conceptually rich, combining the caustic singularities produced in classical gravitational lensing with quantum…
Inclusion preserving maps from modules over an Artin algebra to complete partially ordered sets are studied. This yields a filtration of the Ziegler spectrum which is indexed by all Gabriel-Roiter measures. Another application is a…