English
Related papers

Related papers: A representation theorem for MV-algebras

200 papers

The paper deals with an algebraic extension of $MV$-algebras based on the definition of generalized Boolean algebras. We introduce a new algebraic structure, not necessarily with a top element, which is called an $EMV$-algebra and every…

Commutative Algebra · Mathematics 2017-06-05 Anatolij Dvurečenskij , Omid Zahiri

In this paper, for a vertex operator algebra $V$ with an automorphism $g$ of order $T,$ an admissible $V$-module $M$ and a fixed nonnegative rational number $n\in\frac{1}{T}\Bbb{Z}_{+},$ we construct an $A_{g,n}(V)$-bimodule $\AA_{g,n}(M)$…

Representation Theory · Mathematics 2016-04-20 Qifen Jiang , Xiangyu Jiao

We explore the relationship between the category of MV-algebras and its full subcategories of perfect and semisimple algebras, showing that this pair of subcategories defines a pretorsion theory. We study the Galois structure associated…

Category Theory · Mathematics 2023-10-18 Andrea Cappelletti

Let V be a simple vertex operator algebra and G a finite automorphism group. Then there is a natural right G-action on the set of all inequivalent irreducible V-modules. Let S be a finite set of inequivalent irreducible V-modules which is…

Quantum Algebra · Mathematics 2007-05-23 C. Dong , G. Yamskulna

Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras…

Functional Analysis · Mathematics 2010-06-11 Antonio Di Nola , Anatolij Dvurecenskij , Ada Lettieri

Let $G$ be a group and let $\rho\colon G\to\operatorname{Sym}(V)$ be a permutation representation of $G$ on a set $V$. We prove that there is a faithful $G$-coalgebra $C$ such that $G$ arises as the image of the restriction of…

Representation Theory · Mathematics 2023-09-01 Cristina Costoya , David Méndez , Antonio Viruel

In three recaent papers of G. Dimov, many Stone-type duality theorems for the category of locally compact Hausdorff spaces and continuous maps and some of its subcategories were proved. The dual objects in all these theorems are the local…

General Topology · Mathematics 2014-12-09 Elza Ivanova-Dimova

An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally…

Logic · Mathematics 2015-04-28 Serafina Lapenta

We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify the aforementioned construction by observing that there is…

Rings and Algebras · Mathematics 2016-03-04 Leonardo M. Cabrer , Luca Spada

Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for the class of such algebras.

Logic · Mathematics 2022-06-29 Marco Abbadini , Peter Jipsen , Tomáš Kroupa , Sara Vannucci

We study total binary operations on effect algebras obtained by truncating the Gudder-Greechie axiom package for a sequential product. The point is not to reprove the known nonexistence of non-Boolean full sequential products on finite…

Logic · Mathematics 2026-04-07 Joaquim Reizi Higuchi

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…

Logic · Mathematics 2025-02-12 S. Givant , H. Andréka

We show that the Beurling algebra with a weight-dependent convolution and the group algebra $L^1(G)$ are isomorphic. In particular, using this isomorphism, we extend some results of the algebra $\mathscr{L}^1(G,\omega)$ presented in recent…

Functional Analysis · Mathematics 2025-03-19 Raúl Rodríguez-Barrera , Francisco Torres-Ayala

A VB-groupoid is a Lie groupoid equipped with a compatible linear structure. In this paper, we describe a correspondence, up to isomorphism, between VB-groupoids and 2-term representations up to homotopy of Lie groupoids. Under this…

Differential Geometry · Mathematics 2017-09-15 Alfonso Gracia-Saz , Rajan Amit Mehta

A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable…

Logic · Mathematics 2025-02-12 Hajnal Andréka , Steven Givant

We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an…

Logic · Mathematics 2020-05-19 Luz Victoria De La Pava , Ciro Russo

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…

Logic · Mathematics 2016-05-05 Gianluca Caterina , Vittorio Cafagna

Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large…

Rings and Algebras · Mathematics 2015-05-19 Anatolij Dvurečenskij , Omid Zahiri

Let $G$ be a finitely generated group with polynomial growth, and let $\om$ be a weight, i.e. a sub-multiplicative function on $G$ with positive values. We study when the weighted group algebra $\ell^1(G,\om)$ is isomorphic to an operator…

Functional Analysis · Mathematics 2013-04-05 Hun Hee Lee , Ebrahim Samei , Nico Spronk

Recently, in [DvZa], we have introduced $EMV$-algebras which resemble $MV$-algebras but the top element is not guaranteed for them. For $\sigma$-complete $EMV$-algebras, we prove an analogue of the Loomis--Sikorski Theorem showing that…

Commutative Algebra · Mathematics 2017-07-04 Anatolij Dvurečenskij , Omid Zahiri