Related papers: On derivations of MV-algebras

Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $\theta$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of…

Compact Hausdorff topological MV-algebras and Stone MV-algebras are completely characterized. We obtain that compact Hausdorff topological MV-algebras are product (both topological and algebraic) of copies $[0,1]$ with standard topology and…

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to…

We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.

In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same…

In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $\mathbb Q$-vector lattices, we present the divisible hull as a categorical…

We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…

The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing…

Every multiplier algebra of an irreducible complete Pick kernel arises as the restriction algebra $\mv = \{f\big|_V : f \in \cM_d\}$, where $d$ is some integer or $\infty$, $\cM_d$ is the multiplier algebra of the Drury-Arveson space…

Complete Pick algebras - these are, roughly, the multiplier algebras in which Pick's interpolation theorem holds true - have been the focus of much research in the last twenty years or so. All (irreducible) complete Pick algebras may be…

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…

We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators…

For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we…

In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge…

Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…

We show that in the class of solvable Lie algebras there exist algebras which admit local derivations which are not ordinary derivation and also algebras for which every local derivation is a derivation. We found necessary and sufficient…

Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a $\sigma$-MV-effect algebra. This sum is commutative, associative and with neutral element. Under…

In this document we consider a way of localizing an MV-algebra. Given any prime filter $F$ we find a local MV-algebra which has the same poset of prime filters as the poset of prime filters comparable to $F$.

We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff \'etale spaces. Difference-restriction algebras are those algebras isomorphic to…

To each associative unitary finite-dimensional algebra over a normal base, we associative a canonical multiplicative function called its determinant. We give various properties of this construction, as well as applications to the topology…