A Localization in MV-algebras

Colin G. Bailey

DOI: https://doi.org/10.48550/arXiv.1009.4506

2010-09-23

Abstract: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$.

Rings and Algebras

What problem does this paper attempt to address?

Prime Filters in MV-algebras II

Colin G. Bailey

DOI: https://doi.org/10.48550/arXiv.0907.3332

2009-07-20

Abstract:In this document we consider the prime and maximal spectra of an MV-algebra with certain natural operations. Several new MV-algebras are constructed in this fashion.

Rings and Algebras
Locally Finite Quasivarieties of MV-algebras

Joan Gispert,Antoni Torrens

DOI: https://doi.org/10.48550/arXiv.1405.7504

2014-05-29

Abstract:In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.

Logic
On the geometric theory of local MV-algebras

Olivia Caramello,Anna Carla Russo

DOI: https://doi.org/10.48550/arXiv.1602.03867

2016-02-12

Abstract:We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of these quotients is a theory of presheaf type which is Morita-equivalent to an expansion of the theory of lattice-ordered abelian groups. Di Nola-Lettieri's equivalence is recovered from the Morita-equivalence for the quotient axiomatizing the local MV-algebras in Chang's variety, that is, the perfect MV-algebras. We establish along the way a number of results of independent interest, including a constructive treatment of the radical for MV-algebras in a fixed proper variety of MV-algebras and a representation theorem for the finitely presentable algebras in such a variety as finite products of local MV-algebras.

Category Theory,Group Theory,Logic
Varieties of MV-monoids and positive MV-algebras

Marco Abbadini,Paolo Aglianò,Stefano Fioravanti

2024-06-06

Abstract:MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative monoids, and some further connecting axioms are satisfied. Every MV-algebra in the signature $\{\oplus,\neg,0\}$ is term equivalent to an algebra that has an MV-monoid as a reduct, by defining, as standard, $1:= \neg 0$, $x \odot y := \neg(\neg x \oplus\neg y)$, $x \vee y := (x \odot \neg y) \oplus y$ and $x \wedge y := \neg(\neg x \vee \neg y)$. Particular examples of MV-monoids are positive MV-algebras, i.e. the $\{\vee, \wedge, \oplus, \odot, 0, 1\}$-subreducts of MV-algebras. Positive MV-algebras form a peculiar quasivariety in the sense that, albeit having a logical motivation (being the quasivariety of subreducts of MV-algebras), it is not the equivalent quasivariety semantics of any logic. In this paper, we study the lattices of subvarieties of MV-monoids and of positive MV-algebras. In particular, we characterize and axiomatize all almost minimal varieties of MV-monoids, we characterize the finite subdirectly irreducible positive MV-algebras, and we characterize and axiomatize all varieties of positive MV-algebras.

Rings and Algebras,Logic
MV-algebras and measure: some examples

Gianluca Caterina,Vittorio Cafagna

DOI: https://doi.org/10.48550/arXiv.1605.01336

2016-05-05

Abstract: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 topology of the geometric object under consideration might be reflected in the MV-algebraic structure. We also discuss an example of Chang and discuss similarities and differences with the proposed class of examples.

Logic
Separable MV-algebras and lattice-groups

Vincenzo Marra,Matías Menni

2023-07-27

Abstract:General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product of algebras of rational numbers, i.e., of subalgebras of the MV-algebra $[0,1]\cap\mathbb{Q}$. Beyond its intrinsic algebraic interest, this research is motivated by the long-term programme of developing the algebraic geometry of the opposite of the categroy of MV-algebras, in analogy with the classical case of commutative $K$-algebras over a field $K$.

Rings and Algebras,Algebraic Geometry,Category Theory,Logic
Separable MV-algebras and lattice-ordered groups

Vincenzo Marra,Matías Menni

DOI: https://doi.org/10.1016/j.jalgebra.2024.01.037

IF: 0.908

2024-05-01

Journal of Algebra

Abstract:The theory of extensive categories determines in particular the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product of algebras of rational numbers—i.e., of subalgebras of the MV-algebra [ 0 , 1 ] ∩ Q . Beyond its intrinsic algebraic interest, this research is motivated by the long-term programme of developing the algebraic geometry of the opposite of the category of MV-algebras, in analogy with the classical case of commutative K-algebras over a field K.

mathematics
Profinite MV-algebras

Jean B. Nganou

DOI: https://doi.org/10.48550/arXiv.1308.4733

2013-08-22

Abstract:We characterize all profinite MV-algebras, these are MV-algebras that are inverse limits of finite MV-algebras. It is shown that these are exactly direct product of finite Łukasiewicz's chains. We also prove that the category $\mathbb{M}$ of multisets is dually equivalent to the category $\mathbb{P}$ of profinite MV-algebras and homomorphisms that reflect principal maximal ideals. Thus generalizing the corresponding result for finite MV-algebras, and finite multisets.

Logic
MV-frames

Jean B Nganou

2024-05-07

Abstract:Complete MV-algebras are naturally equipped with frame structures. We call them MV-frames and investigate some of their main the properties as frames. We completely characterized algebraic MV-frames as well as regular MV-frames. In addition, we consider nuclei on MV-frames in general and on MV-frames of ideals of Lukasiewicz rings. Finally, we used the Chang-Mundici functor to explore the frame structures of complete unital lattice-ordered groups.

Logic
Mv-algebras And Partially Cyclically Ordered Groups

Gérard Leloup

DOI: https://doi.org/10.48550/arXiv.1902.04839

2019-02-13

Abstract:We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated in terms of MV-algebras. For example, the study of groups together with a cyclic order allows to get a first-order characterization of groups of unimodular complex numbers and of finite cyclic groups. We deduce a characterization of pseudofinite MV-chains and of pseudo-simple MV-chains (i.e. which share the same first-order properties as some simple ones). We can generalize these results to some non-lineraly ordered MV-algebras, for example hyper-archimedean MV-algebras.

Logic,Commutative Algebra,Rings and Algebras
On state monadic MV-algebras

Pengfei He,Ya Wei,Juntao Wang

DOI: https://doi.org/10.1016/j.fss.2024.108960

IF: 4.462

2024-03-30

Fuzzy Sets and Systems

Abstract:Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. In this paper, we extend monadic MV-algebras with a state operator that describes algebraic properties of states. The resulting variety of algebras will be called state monadic MV-algebras. First, we introduce state monadic MV-algebras and establish a natural equivalence between the category of state monadic MV-algebras and the category of state monadic l -groups with strong units. Moreover, we prove that the class of all state monadic ideals in state monadic MV-algebras is a complete Heyting algebra. In particular, by studying extended state monadic ideals, we prove that the set of all stable state monadic ideals in state monadic MV-algebras is a complete Heyting algebra. Also, the class of all involutory state monadic ideals in state monadic MV-algebras is a complete Boolean algebra. Finally, we introduce and characterize some members in the variety of state monadic MV-algebras, which are subdirectly irreducible, simple, semisimple, local and semilocal, respectively.

mathematics, applied,statistics & probability,computer science, theory & methods
Hopfian $\ell$-groups, MV-algebras and AF C$^*$-algebras

Daniele Mundici

DOI: https://doi.org/10.48550/arXiv.1509.03230

2015-09-11

Abstract:An algebra is said to be hopfian if it is not isomorphic to a proper quotient of itself. We describe several classes of hopfian and of non-hopfian unital lattice-ordered abelian groups and MV-algebras. Using Elliott classification and $K_0$-theory, we apply our results to other related structures, notably the Farey-Stern-Brocot AF C$^*$-algebra and all its primitive quotients, including the Behnke-Leptin C$^*$-algebras $\mathcal A_{k,q}$.

Rings and Algebras
Key lemma and universal localization

Vladimir Hinich

2024-10-25

Abstract:We study localizations of infinity categories that remain localizations after any base change.

Category Theory
Notes on MV-modules over integral domains

Serafina Lapenta

DOI: https://doi.org/10.48550/arXiv.1504.07016

2015-04-27

Abstract: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 ordered integral domain, and we prove an adjunction with a special class of linear spaces.

Logic
Stone MV-algebras and Strongly complete MV-algebras

Jean B. Nganou

DOI: https://doi.org/10.48550/arXiv.1502.02207

2015-05-04

Abstract: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 finite Lukasiewicz chains with discrete topology. Going one step further we also prove that Stone MV-algebras are product (both topological and algebraic) of finite Lukasiewicz chains with discrete topology. We also prove that an MV-algebra is strongly complete (isomorphic to its profinite completion) if and only if it is profinite and its maximal ideals of finite ranks are principal.

Logic
Quasi-valuations and algebras over valuation domains

Shai Sarussi

DOI: https://doi.org/10.48550/arXiv.1308.4743

2013-08-22

Abstract:Suppose $F$ is a field with valuation $v$ and valuation domain $O_{v}$, and $R$ is an $O_{v}-$algebra. We prove that $R$ satisfies SGB (strong going between) over $O_{v}$. We give a necessary and sufficient condition for $R$ to satisfy LO (lying over) over $O_{v}$. Using the filter \qv constructed in [Sa1], we show that if $R$ is torsion-free over $O_{v}$ then $R$ satisfies GD (going down) over $O_{v}$. In particular, if $R$ is torsion-free and $(R^{\times} \cap O_{v}) \subseteq O_{v}^{\times}$, then for any chain in $\text{Spec}(O_v)$ there exists a chain in $\text{Spec}(R)$ covering it. Assuming $R$ is torsion-free over $O_{v}$ and $[R \otimes_{O_{v}}F:F]< \infty$, we prove that $R$ satisfies INC (incomparabilty) over $O_{v}$. Assuming in addition that $(R^{\times} \cap O_{v}) \subseteq O_{v}^{\times}$, we deduce that $R$ and $O_{v}$ have the same Krull dimension and a bound on the size of the prime spectrum of $R$ is given. Under certain assumptions on $R$ and a \qv defined on it, we prove that the \qv ring satisfies GU (going up) over $O_{v}$. Combining these five properties together, we deduce that any maximal chain of prime ideals of the \qv ring is lying over $\text{Spec}(O_{v})$, in a one-to-one correspondence.

Rings and Algebras
A not so simple local multiplier algebra

Pere Ara,Martin Mathieu

DOI: https://doi.org/10.1016/j.jfa.2006.02.009

IF: 1.891

2006-08-01

Journal of Functional Analysis

Abstract:We construct an AF-algebra A such that its local multiplier algebra Mloc(A) does not agree with Mloc(Mloc(A)), thus answering a question raised by G.K. Pedersen in 1978.

mathematics
Localized strict topologies on multiplier algebras of pro-$C^*$-algebras

Alexandru Chirvasitu

2023-07-17

Abstract:The bounded localization $\beta_b$ of a locally convex topology $\beta$ is defined as the finest locally convex topology agreeing with $\beta$ on all bounded sets. We show that the strict topology on the multiplier algebra of a bornological pro-$C^*$-algebras equals its own localization, generalizing the analogous result due to Taylor for multiplier algebras of plain $C^*$-algebras. We also (a) characterize the barreled commutative unital pro-$C^*$-algebras as those of continuous functions on functionally Hausdorff spaces whose relatively pseudocompact subsets are relatively compact, equipped with the topology of uniform convergence on compact subsets, and (b) describe a contravariant equivalence between the category of commutative unital pro-$C^*$-algebras and a category of Tychonoff (rather than functionally Hausdorff) topological spaces.

Operator Algebras,Category Theory,Functional Analysis,General Topology
Orthocomplete Pseudo MV-algebras

Anatolij Dvurečenskij,Omid Zahiri

DOI: https://doi.org/10.48550/arXiv.1505.04304

2015-05-17

Abstract: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 pseudo $MV$-subalgebras to introduce orthocomplete pseudo $MV$-algebras. Then we apply a generalization of the Mundici's functor to an orthocompletion of an representable $\ell$-group to prove that each representable pseudo $MV$-algebra has an orthocompletion. In particular, our results are valid also for $MV$-algebras.

Rings and Algebras
Local R0-Algebras

Lian-zhen LIU,Kai-tai LI

DOI: https://doi.org/10.3770/j.issn.2095-2651.2005.03.023

2005-01-01

Abstract:Local R0-algebras are defined and studied. The following statements are proved to be equivalent: (i) R0-algebra L is local; (ii) (?)x∈L, either ord(i) ∞ or ord(-x) ∞; (iii) Every proper filter is primary. Moreover, it is proved that each Ro-algebra is a subdu-ect product of the local R0-algebras.

A Localization in MV-algebras

Prime Filters in MV-algebras II

Locally Finite Quasivarieties of MV-algebras

On the geometric theory of local MV-algebras

Varieties of MV-monoids and positive MV-algebras

MV-algebras and measure: some examples

Separable MV-algebras and lattice-groups

Separable MV-algebras and lattice-ordered groups

Profinite MV-algebras

MV-frames

Mv-algebras And Partially Cyclically Ordered Groups

On state monadic MV-algebras

Hopfian $\ell$-groups, MV-algebras and AF C$^*$-algebras

Key lemma and universal localization

Notes on MV-modules over integral domains

Stone MV-algebras and Strongly complete MV-algebras

Quasi-valuations and algebras over valuation domains

A not so simple local multiplier algebra

Localized strict topologies on multiplier algebras of pro-$C^*$-algebras

Orthocomplete Pseudo MV-algebras

Local R0-Algebras