Local algebras in the representation of MV-algebras

In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed. Presented by S. Pulmannova. Received November 11, 2005; accepted in final form December 20, 2005.     

MV-semirings and their Sheaf Representations

In this paper we show that the classes of MV-algebras and MV-semirings are isomorphic as categories. This approach allows one to keep the inspiration and use new tools from semiring theory to analyze the class of MV-algebras. We present a representation of MV-semirings by MV-semirings of continuous sections in a sheaf of commutative semirings whose stalks are localizations of MV-semirings over prime ideals. Using the categorical equivalence, we obtain a representation of MV-algebras.     

Representation and extension of states on MV-algebras

MV-algebras stand for the many-valued Łukasiewicz logic the same as Boolean algebras for the classical logic. States on MV-algebras were first mentioned [20] in probability theory and later also introduced in effort to capture a notion of `an average truth-value of proposition' [15] in Łukasiewicz many-valued logic. In the presented paper, an integral representation theorem for finitely-additive states on semisimple MV-algebra will be proven. Further, we shall prove extension theorems concerning states defined on sub-MV-algebras and normal partitions of unity generalizing in this way the well-known Horn-Tarski theorem for Boolean algebras. The author gratefully acknowledges the support of grant 201/02/1540 of the Grant Agency of the Czech Republic and the partial support by the project 1M6798555601 of the Ministry of Education, Youth and Sports of the Czech Republic.     

AF inverse monoids and the structure of countable MV-algebras

This paper is a further contribution to the developing theory of Boolean inverse monoids. These monoids should be regarded as non-commutative generalizations of Boolean algebras; indeed, classical Stone duality can be generalized to this non-commutative setting to yield a duality between Boolean inverse monoids and a class of étale topological groupoids. MV-algebras are also generalizations of Boolean algebras which arise from many-valued logics. It is the goal of this paper to show how these two generalizations are connected. To do this, we define a special class of Boolean inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to an MV-algebra arising in this way. Our main theorem is that every countable MV-algebra can be so co-ordinatized. The particular Boolean inverse monoids needed to establish this result are examples of what we term AF inverse monoids and are the inverse monoid analogues of AF $C^{?}$-algebras. In particular, they are constructed from Bratteli diagrams as direct limits of finite direct products of finite symmetric inverse monoids.     

Quantaloids and non-commutative ring representations

Our aim is to generalize to the non-commutative case, the generic representation of commutative rings by sheaves on their quantales of ideals. As the quantale of two-sided ideals is not a sufficiently rich structure, we define and work on a quantaloid of left and right ideals. A workable notion of sheaf is introduced using matrices with values in a quantaloid. For a given ringR, we obtain a category of sheaves where the terminal object is endowed with a special subobject. There exists a representing sheaf forR in the sense that the elements ofR correspond to the sections from the special subobject and the global sections correspond to the center.     

MV-algebras with operators (the commutative and the non-commutative case)

In the present paper we define the (pseudo) MV-algebras with n-ary operators, generalizing MV-modules and product MV-algebras. Our main results assert that there are bijective correspondences between the operators defined on a pseudo MV-algebra and the operators defined on the corresponding ℓ-group. We also provide a categorical framework and we prove the analogue of Mundici's categorical equivalence between MV-algebras and abelian ℓ-groups with strong unit. Thus, the category of pseudo MV-algebras with operators is equivalent to some category of ℓ-groups with operators.     

Pierce sheaf for semirings with involution

We introduce the concept of Pierce sheaf for semirings with involution, an analog of Pierce sheaf for rings. We construct maximal spectrum, Pierce congruence, Pierce sheaf of semirings with involution, Pierce stalk of semiring with involution. We prove main theorem on the isomorphism of semiring with involution and semiring with involution of global sections of Pierce sheaf.     

Decomposition of ℓ-group-valued measures

We deal with decomposition theorems for modular measures µ: L → G defined on a D-lattice with values in a Dedekind complete ?-group. Using the celebrated band decomposition theorem of Riesz in Dedekind complete ?-groups, several decomposition theorems including the Lebesgue decomposition theorem, the Hewitt-Yosida decomposition theorem and the Alexandroff decomposition theorem are derived. Our main result—also based on the band decomposition theorem of Riesz—is the Hammer-Sobczyk decomposition for ?-group-valued modular measures on D-lattices. Recall that D-lattices (or equivalently lattice ordered effect algebras) are a common generalization of orthomodular lattices and of MV-algebras, and therefore of Boolean algebras. If L is an MV-algebra, in particular if L is a Boolean algebra, then the modular measures on L are exactly the finitely additive measures in the usual sense, and thus our results contain results for finitely additive G-valued measures defined on Boolean algebras.     

MV-closures of Wajsberg hoops and applications

In this paper we construct, given a Wajsberg hoop A, an MV-algebra MV(A) such that the underlying set A of A is a maximal filter of MV(A) and the quotient MV(A)/A is the two element chain. As an application we provide a topological duality for locally finite Wajsberg hoops based on a previously known duality for locally finite MV-algebras. We also give another duality for k-valued Wajsberg hoops based on a different representation of k-valued MV-algebras and show the relation to the first duality. We also apply this construction to give a topological representation for free k-valued Wajsberg hoops.     

Subdirectly irreducible state-morphism BL-algebras

Recently Flaminio and Montagna (Proceedings of the 5th EUSFLAT Conference, II: 201?C206. Ostrava, 2007), (Inter. J. Approx. Reason. 50:138?C152, 2009) introduced the notion of a state MV-algebra as an MV-algebra with internal state. We have two kinds: state MV-algebras and state-morphism MV-algebras. These notions were also extended for state BL-algebras in (Soft Comput. doi:10.1007/s00500-010-0571-5). In this paper, we completely describe subdirectly irreducible state-morphism BL-algebras and this generalizes an analogous result for state-morphism MV-algebras presented in (Ann. Pure Appl. Logic 161:161?C173, 2009).     

A characterization of MV-algebras free over finite distributive lattices

Mundici has recently established a characterization of free finitely generated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice.      

Representation of MV-algebras by regular ultrapowers of [0, 1]

We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0,1]. This result also implies the existence, for any cardinal α, of a single MV-algebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction with iterated ultrapowers, we show how to construct such an algebra of values in a definable way, thus providing a sort of “canonical” set of values for the functional representation.     

Vanishing cotangent cohomology for Plücker algebras

We use representation theory and Bott’s theorem to show vanishing of higher cotangent cohomology modules for the homogeneous coordinate ring of Grassmannians in the Plücker embedding. As a by-product, we answer a question of Wahl about the cohomology of the square of the ideal sheaf for the case of Plücker relations. We obtain slightly weaker vanishing results for the cotangent cohomology of the coordinate rings of isotropic Grassmannians.     

There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras

It was recently proved by P. Wojciechowski that for any infinite cardinal there exists a linearly ordered MV-algebra of this cardinality. Since basic algebras are a (non-associative) generalization of MV-algebras, there rises a natural question if this is true also for basic algebras which are not MV-algebras. Using the construction by P. Wojciechowski and the modified construction by the first author, we can set up certain defectors which enable us to prove the result of the title.     

Bounded pseudo-hoops with internal states

State MV-algebras were introduced by Flaminio and Montagna as MV-algebras with internal states. Di Nola and Dvure?enskij presented the notion of state-morphism MV-algebra which is a stronger variation of a state MV-algebra. Rach?nek and ?alounová introduced state GMV-algebras (pseudo-MV algebras) and state-morphism GMV-algebras, while the state BL-algebras and state-morphism BL-algebras were defined by Ciungu, Dvure?enskij and Hy?ko. Recently, Dvure?enskij, Rach?nek and ?alounová presented state R?-monoids and state-morphism R?-monoids. In this paper we study these concepts for more general fuzzy structures, namely pseudo-hoops and we present state pseudo-hoops and state-morphism pseudo-hoops.     

Cauchy completions of MV-algebras

Abstract. An MV-convergence is a convergence on an MV-algebra which renders the operations continuous. We show that such convergences on a given MV-algebra A are exactly the restrictions of the bounded -convergences on the abelian -group in which A appears as the unit interval. Thus the theory of -convergence and Cauchy structures transfers to MV-algebras.?We outline the general theory, and then apply it to three particular MV-convergences and their corresponding Cauchy completions. The Cauchy completion arising from order convergence coincides with the Dedekind-MacNeille completion of an MV-algebra. The Cauchy completion arising from polar convergence allows a tidy proof of the existence and uniqueness of the lateral completion of an MV-algebra. And the Cauchy completion arising from α-convergence gives rise to the cut completion of an MV-algebra. Received August 8, 2001; accepted in final form October 18, 2001.     

Generalized logic and the representation of rings

Following the progression towards weaker logics, a number of authors have considered the notion of a sheaf over a quantale or, equivalently, a quantale valued set. In this paper, we use ideas from enriched category theory to motivate the definition of a quantic sheaf. Given a localic subquantale of Q, a quantic sheaf over Q gives a sheaf in the usual sense. As an application, we derive a series of sheaf representations for commutative rings including the familiar Pierce representation.     

Relative subalgebras of MV-algebras

Given an MV-algebra A, with its natural partial ordering, we consider in A the intervals of the form [0, a], where \({a \in A}\). These intervals have a natural structure of MV-algebras and will be called the relative subalgebras of A (in analogy with Boolean algebras). We investigate various properties of relative subalgebras and their relations with the original MV-algebra.     

Weak relatively uniform convergences on MV-algebras

Weak relatively uniform convergences (wru-convergences, for short) in lattice ordered groups have been investigated in previous authors’ papers. In the present article, the analogous notion for MV-algebras is studied. The system s(A) of all wru-convergences on an MV-algebra A is considered; this system is partially ordered in a natural way. Assuming that the MV-algebra A is divisible, we prove that s(A) is a Brouwerian lattice and that there exists an isomorphism of s(A) into the system s(G) of all wru-convergences on the lattice ordered group G corresponding to the MV-algebra A. Under the assumption that the MV-algebra A is archimedean and divisible, we investigate atoms and dual atoms in the system s(A).