Representations of MV‐algebras by sheaves

In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein ([2]), we develop an approach to sheaf representations of MV‐algebras which combines two techniques for the representation of MV‐algebras devised by Filipoiu and Georgescu ([18]) and by Dubuc and Poveda ([16]). Following Davey approach ([12]), we use a subdirect representation of MV‐algebras that is based on local MV‐algebras. This allowed us to obtain: (a) a representation of any MV‐algebras as MV‐algebra of all global sections of a sheaf of local MV‐algebras on the spectruum of its prime ideals; (b) a representation of MV‐algebras, having the space of minimal prime ideals compact, as MV‐algebra of all global sections of a Hausdorff sheaf of MV‐chains on the space of minimal prime ideals, which is a Stone space; (c) an adjunction between the category of all MV‐algebras and the category of MV‐algebraic spaces, where an MV‐algebraic space is a pair (X, F), where X is a compact topological space and F is a sheaf of MV‐algebras with stalks that are local (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hyper‐Archimedean BL‐algebras are MV‐algebras

Generalizations of Boolean elements of a BL‐algebra L are studied. By utilizing the MV‐center MV(L) of L, it is reproved that an element x ∈ L is Boolean iff x ∨ x * = 1 . L is called semi‐Boolean if for all x ∈ L, x * is Boolean. An MV‐algebra L is semi‐Boolean iff L is a Boolean algebra. A BL‐algebra L is semi‐Boolean iff L is an SBL‐algebra. A BL‐algebra L is called hyper‐Archimedean if for all x ∈ L, xⁿ is Boolean for some finite n ≥ 1. It is proved that hyper‐Archimedean BL‐algebras are MV‐algebras. The study has application in mathematical fuzzy logics whose Lindenbaum algebras are MV‐algebras or BL‐algebras. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Vaught’s Conjecture and finitely valued MV algebras

We show that the complete first order theory of an MV algebra has $2^{\aleph _0}$ countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are $2^{\aleph _0}$ and that all ω‐categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra on countably many generators of any locally finite variety of MV algebras is ω‐categorical.     

Categorical Constructions for Hopf Algebras

We prove that both the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras have right adjoints; in other words, every bialgebra has a Hopf coreflection, and on every algebra there exists a cofree Hopf algebra. In this way, we give an affirmative answer to a forty-years old problem posed by Sweedler. On the route, the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.     

Monoidal Hom–Hopf Algebras

Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal category such that Hom-algebras coincide with algebras in this monoidal category, and similar properties for coalgebras, Hopf algebras, and Lie algebras.     

Polyadic and cylindric algebras of sentences

In this note we give an interpretation of cylindric algebras as algebras of sentences (rather than formulas) of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interpretation sheds light on some recent results. This is done by likening Henkin's Neat Embedding Theorem to his celebrated completeness proof. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hyper MV ‐ideals in hyper MV ‐algebras

In this paper we define the hyper operations ?, ∨ and ∧ on a hyper MV ‐algebra and we obtain some related results. After that by considering the notions ofhyper MV ‐ideals and weak hyper MV ‐ideals, we prove some theorems. Then we determine relationships between (weak) hyper MV ‐ideals in a hyper MV ‐algebra (M, ⊕, *, 0) and (weak) hyper K ‐ideals in a hyper K ‐algebra (M, °, 0). Finally we give a characterization of hyper MV ‐algebras of order 3 or 4 based on the (weak) hyper MV ‐ideals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

关于格上蕴涵代数及其对偶代数

给出了格蕴涵代数、MV代数、R₀代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.     

一类满足可补性质的双重Stone代数

该文构造了一个从布尔代数范畴到满足可补性质的双重Ｓｔｏｎｅ 代数范畴的函子，并证明了这个函子有一个等价的左伴随函子．     

Nijenhuis geometry II: Left-symmetric algebras and linearization problem for Nijenhuis operators

A field of endomorphisms R is called a Nijenhuis operator if its Nijenhuis torsion vanishes. In this work we study a specific kind of singular points of R called points of scalar type. We show that the tangent space at such points possesses a natural structure of a left-symmetric algebra (also known as pre-Lie or Vinberg-Kozul algebras). Following Weinstein's approach to linearization of Poisson structures, we state the linearisation problem for Nijenhuis operators and give an answer in terms of non-degenerate left-symmetric algebras. In particular, in dimension 2, we give classification of non-degenerate left-symmetric algebras for the smooth category and, with some small gaps, for the analytic one. These two cases, analytic and smooth, differ. We also obtain a complete classification of two-dimensional real left-symmetric algebras, which may be an interesting result on its own.     

Generalized Lie Algebras and Cocycle Twists

We use the results of Etingof and Gelaki on the classification of (co)triangular Hopf algebras to extend Scheunert's “discoloration” technique to Lie algebras in the category of (co)modules. As an application, we prove a PBW-type theorem for such Lie algebras. We also discuss the relationship between Lie algebras in the category of (co)modules and symmetric braided Lie algebras introduced by Gurevich. Finally, we construct examples of symmetric braided Lie algebras that are essentially different from Lie coloralgebras.     

2-Calabi-Yau tilted代数的交换关系

本文研究了2-Calabi-Yau三角范畴上的2-Calabi-Yau tilted代数的almost complete tilting模.我们利用2-Calabi-Yau三角范畴上的交换关系给出了2-Calabi-Yau tilted代数的almost complete tilting模有两个(Bongartz)补的一系列充分必要条件.     

New types of hyper MV‐deductive systems in hyper MV‐algebras

The notions of a (weak) hyper MV‐deductive system, a (?, ?; ?)‐hyper MV‐deductive system, a (?, ?; ?)‐ hyper MV‐deductive system, a (?, ?; ?)‐hyper MV‐deductive system, a (?, ?; ?)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relations are investigated (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Quantization of Lie bialgebras, II

This paper is a continuation of [EK]. We show that the quantization procedure of [EK] is given by universal acyclic formulas and defines a functor from the category of Lie bialgebras to the category of quantized universal enveloping algebras. We also show that this functor defines an equivalence between the category of Lie bialgebras over k [[h]] and the category of quantized universal enveloping (QUE) algebras.     

Monadic dynamic algebras

The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non‐standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze the conditions under which a hemimorphism of a dynamic algebra into itself defines a quantifier. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

One-Point Extensions of t-Koszul Algebras

We introduce the category of t-fold modules which is a full subcategory of graded modules over a graded algebra. We show that this subcategory and hence the subcategory of t-Koszul modules are both closed under extensions and cokernels of monomorphisms. We study the one-point extension algebras, and a necessary and sufficient condition for such an algebra to be t-Koszul is given. We also consider the conditions such that the category of t-Koszul modules and the category of quadratic modules coincide.     

Equations des algèbres Lie triple qui sont des algèbres train

In this paper, we consider equations of Lie triple algebras that are train algebras. We obtain two different types of equations depending on assuming the existence of an idempotent or a pseudo-idempotent.In general Lie triple algebras are not power-associative. However we show that their train equation with an idempotent is similar to train equations of power-associative algebras that are train algebras and we prove that Lie triple algebras that are train algebras of rank $\le 4$ with an idempotent are Jordan algebras.Moreover, the set of non-trivial idempotents has the same expression in Peirce decomposition as that of $e$-stable power-associative algebras.We also prove that the algebra obtained by $2$-gametization process of a Lie triple algebra is a Lie triple one.     

Universal Classes of MV‐chains with Applications to Many‐valued Logics

In this paper we characterize, classify and axiomatize all universal classes of MV‐chains. Moreover, we accomplish analogous characterization, classification and axiomatization for congruence distributive quasivarieties of MV‐algebras. Finally, we apply those results to study some finitary extensions of the Łukasiewicz infinite valued propositional calculus.     

A class of non‐graded left‐symmetric algebraic structures on the Witt algebra

We classify the compatible left‐symmetric algebraic structures on the Witt algebra satisfying certain non‐graded conditions. It is unexpected that they are Novikov algebras. Furthermore, as applications, we study the induced non‐graded modules of the Witt algebra and the induced Lie algebras by Novikov‐Poisson algebras’ approach and Balinskii‐Novikov's construction.