ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS

2014 ◽  
Vol 79 (4) ◽  
pp. 1061-1091 ◽  
Author(s):  
LAWRENCE P. BELLUCE ◽  
ANTONIO DI NOLA ◽  
GIACOMO LENZI
Keyword(s):  
Algebraic Geometry ◽  
Polynomial Functions ◽  
Algebraic Sets ◽  
Mv Algebra ◽  
Geometric Objects ◽  
Universal Algebraic Geometry ◽  
Mv Algebras

AbstractIn this paper we try to apply universal algebraic geometry to MV algebras, that is, we study “MV algebraic sets” given by zeros of MV polynomials, and their “coordinate MV algebras”. We also relate algebraic and geometric objects with theories and models taken in Łukasiewicz many valued logic with constants. In particular we focus on the structure of MV polynomials and MV polynomial functions on a given MV algebra.

SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY

2007 ◽  
Vol 17 (05n06) ◽  
pp. 1133-1164 ◽  
Author(s):  
BORIS PLOTKIN
Keyword(s):  
Algebraic Geometry ◽  
Point Of View ◽  
Variety Of Algebras ◽  
Geometric Properties ◽  
Algebraic Sets ◽  
The Subject ◽  
Universal Algebraic Geometry ◽  
Future Work ◽  
The Given

In universal algebraic geometry (UAG), some primary notions of classical algebraic geometry are applied to an arbitrary variety of algebras Θ and an arbitrary algebra H ∈ Θ. We consider an algebraic geometry in Θ over the distinguished algebra H and we also analyze H from the point of view of its geometric properties. This insight leads to a system of new notions and stimulates a number of new problems. They are new with respect to algebra, algebraic geometry and even with respect to the classical algebraic geometry. In our approach, there are two main aspects: the first one is a study of the algebra H and its geometric properties, while the second is focused on studying algebraic sets and algebraic varieties over a "good", particular algebra H. Considering the subject from the second standpoint, the main goal is to get forward as far as possible in a classification of algebraic sets over the given H. The first approach does not require such a classification which is itself an independent and extremely difficult task. We also consider some geometric relations between different H1 and H2 in Θ. The present paper should be viewed as a brief review of what has been done in universal algebraic geometry. We also give a list of unsolved problems for future work.

Dimension in universal algebraic geometry

2014 ◽  
Vol 90 (1) ◽  
pp. 450-452 ◽  
Author(s):  
E. Yu. Daniyarova ◽  
A. G. Myasnikov ◽  
V. N. Remeslennikov
Keyword(s):  
Algebraic Geometry ◽  
Universal Algebraic Geometry

Radical of a-Ideals in Mv -Modules

2014 ◽  
Vol 0 (0) ◽  
Author(s):  
F. Forouzesh ◽  
E. Eslami ◽  
A. Borumand Saeid
Keyword(s):  
Maximal Ideal ◽  
The Other ◽  
Subject Classification ◽  
Mv Algebra ◽  
Mv Algebras

Abstract In this paper, we introduce the notion of the radical of an ideal in MV - algebras. Several characterizations of this radical is given. We define the notion of a semi-maximal ideal in an MV -algebra and prove some theorems which give relations between this semi-maximal ideal and the other types of ideals in MV -algebras. Also we prove that A/I is a semi-simple MV -algebra if and only if I is a semi-maximal ideal of an MV -algebra A. The above notions are used to define the radical of A-ideals in MV -modules and investigate some properties. Mathematics Subject Classification 2010: 03B50, 03G25, 06D35

Effect-like algebras induced by means of basic algebras

2010 ◽  
Vol 60 (1) ◽  
Author(s):  
Ivan Chajda
Keyword(s):  
Distributive Lattice ◽  
Effect Algebra ◽  
Binary Operation ◽  
Basic Algebra ◽  
Natural Question ◽  
Lattice Effect Algebra ◽  
Mv Algebra ◽  
Lattice Effect ◽  
Mv Algebras

AbstractHaving an MV-algebra, we can restrict its binary operation addition only to the pairs of orthogonal elements. The resulting structure is known as an effect algebra, precisely distributive lattice effect algebra. Basic algebras were introduced as a generalization of MV-algebras. Hence, there is a natural question what an effect-like algebra can be reached by the above mentioned construction if an MV-algebra is replaced by a basic algebra. This is answered in the paper and properties of these effect-like algebras are studied.

scholarly journals Residuation in non-associative MV-algebras

2018 ◽  
Vol 68 (6) ◽  
pp. 1313-1320
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Binary Operation ◽  
Residuated Lattice ◽  
Natural Question ◽  
Natural Conditions ◽  
Double Negation ◽  
Mv Algebra ◽  
Residuated Poset ◽  
Double Negation Law ◽  
Mv Algebras

Abstract It is well known that every MV-algebra can be converted into a residuated lattice satisfying divisibility and the double negation law. In a previous paper the first author and J. Kühr introduced the concept of an NMV-algebra which is a non-associative modification of an MV-algebra. The natural question arises if an NMV-algebra can be converted into a residuated structure, too. Contrary to MV-algebras, NMV-algebras are not based on lattices but only on directed posets and the binary operation need not be associative and hence we cannot expect to obtain a residuated lattice but only an essentially weaker structure called a conditionally residuated poset. Considering several additional natural conditions we show that every NMV-algebra can be converted in such a structure. Also conversely, every such structure can be organized into an NMV-algebra. Further, we study an a bit more stronger version of an algebra where the binary operation is even monotone. We show that such an algebra can be organized into a residuated poset and, conversely, every residuated poset can be converted in this structure.

scholarly journals Isometries and direct decompositions of pseudo MV-algebras

2007 ◽  
Vol 57 (2) ◽  
Author(s):  
Milan Jasem
Keyword(s):  
Direct Decomposition ◽  
The Other ◽  
Other Hand ◽  
Mv Algebra ◽  
Direct Decompositions ◽  
Mv Algebras

AbstractIn the paper isometries in pseudo MV-algebras are investigated. It is shown that for every isometry f in a pseudo MV-algebra $$\mathcal{A}$$ = (A, ⊕, −, ∼, 0, 1) there exists an internal direct decomposition $$\mathcal{A} = \mathcal{B}^0 \times \mathcal{C}^0 $$ of $$\mathcal{A}$$ with $$\mathcal{C}^0 $$ commutative such that $$f(0) = 1_{C^0 } $$ and $$f(x) = x_{B^0 } \oplus (1_{C^0 } \odot (x_{C^0 } )^ - ) = x_{B^0 } \oplus (1_{C^0 } - x_{C^0 } )$$ for each x ∈ A.On the other hand, if $$\mathcal{A} = \mathcal{P}^0 \times \mathcal{Q}^0 $$ is an internal direct decomposition of a pseudo MV-algebra $$\mathcal{A}$$ = (A, ⊕, −, ∼, 0, 1) with $$\mathcal{Q}^0 $$ commutative, then the mapping g: A → A defined by $$g(x) = x_{P^0 } \oplus (1_{Q^0 } - x_{Q^0 } )$$ is an isometry in $$\mathcal{A}$$ and $$g(0) = 1_{Q^0 } $$ .

Higher degrees of distributivity in complete generalized MV-algebras

2011 ◽  
Vol 61 (3) ◽  
Author(s):  
Ján Jakubík
Keyword(s):  
Mv Algebra ◽  
Mv Algebras

AbstractWe apply the notion of generalized MV-algebra (GMV-algebra, in short) in the sense of Galatos and Tsinakis. Let M be a complete GMV-algebra and let α be a cardinal. We prove that M is α-distributive if and only if it is (α, 2)-distributive. We deal with direct summands of M which are homogeneous with respect to higher degrees of distributivity.

scholarly journals TROPICAL ALGEBRAIC SETS, IDEALS AND AN ALGEBRAIC NULLSTELLENSATZ

2008 ◽  
Vol 18 (06) ◽  
pp. 1067-1098 ◽  
Author(s):  
ZUR IZHAKIAN
Keyword(s):  
Algebraic Geometry ◽  
Classical Theory ◽  
Commutative Algebra ◽  
Fundamental Theorem ◽  
Polynomial Algebra ◽  
Algebraic Sets ◽  
Tropical Semiring ◽  
Fundamental Theorem Of Algebra

This paper introduces the foundations of the polynomial algebra and basic structures for algebraic geometry over the extended tropical semiring. Our development, which includes the tropical version for the fundamental theorem of algebra, leads to the reduced polynomial semiring — a structure that provides a basis for developing a tropical analogue to the classical theory of commutative algebra. The use of the new notion of tropical algebraic com-sets, built upon the complements of tropical algebraic sets, eventually yields the tropical algebraic Nullstellensatz.

scholarly journals Pseudo MV-algebras are intervals in ℓ-groups

2002 ◽  
Vol 72 (3) ◽  
pp. 427-446 ◽  
Author(s):  
Anatolij Dvurečenskij
Keyword(s):  
Strong Unit ◽  
Famous Result ◽  
Mv Algebra ◽  
Mv Algebras

AbstractWe show that any pseudo MV-algebra is isomorphic with an interval Γ(G, u), where G is an ℓ-group not necessarily Abelian with a strong unit u. In addition, we prove that the category of unital ℓ-groups is categorically equivalent with the category of pseudo MV-algebras. Since pseudo MV-algebras are a non-commutative generalization of MV-algebras, our assertions generalize a famous result of Mundici for a representation of MV-algebras by Abelian unital ℓ-groups. Our methods are completely different from those of Mundici. In addition, we show that any Archimedean pseudo MV-algebra is an MV-algebra.

Sign in / Sign up

Export Citation Format

Share Document