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)     

Topological representation for monadic implication algebras

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.      

Association Schemes and Fusion Algebras (An Introduction)

We introduce the concept of fusion algebras at algebraic level, as a purely algebraic concept for the fusion algebras which appear in conformal field theory in mathematical physics. We first discuss the connection between fusion algebras at algebraic level and character algebras, a purely algebraic concept for Bose-Mesner algebras of association schemes. Through this correspondence, we establish the condition when the matrix S of a fusion algebra at algebraic level is unitary or symmetric. We construct integral fusion algebras at algebraic level, from association schemes, in particular from group association schemes, whose matrix S is unitary and symmetric. Finally, we consider whether the modular invariance property is satisfied or not, namely whether there exists a diagonal matrix T satisfying the condition (ST)³ = S ². We prove that this property does not hold for some integral fusion algebras at algebraic level coming from the group association scheme of certain groups of order 64, and we also prove that the (nonintegral) fusion algebra at algebraic level obtained from the Hamming association scheme H(d, q) has the modular invariance property.     

Weyl代数研究简介

本文简要综述Ｗｅｙｌ代数诞生７０余年来的一系列重要研究成果。     

Lie Representations and an Algebra Containing Solomon's

We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed under the corresponding inner product; it is cocommutative, so it is an enveloping algebra; it contains all Lie idempotents of the symmetric group algebras. Moreover, its primitive elements are exactly the Lie elements which lie in the symmetric group algebras.     

Monadic Bounded Commutative Residuated ℓ-monoids

Bounded commutative residuated ℓ-monoids are a generalization of algebras of propositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Łukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuitionistic logic. 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. We introduce and study monadic residuated ℓ-monoids as a generalization of monadic MV-algebras. Jiří Rachůnek was supported by the Council of Czech Goverment MSM 6198959214.     

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.     

Temporal Algebras,Pretemporal Algebras,and Modal Algebras: A Relation between Time and Necessity

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.     

代数表示论的某些新进展

代数表示理论是代数学的一个新的重要分支，在近二十五年的时间里，这一理论有很大的发展，关于代数表示的基础理论的介绍可参见文献（１０１），本文主要从Ｈａｌｌ代数和拟遗传代数两个方面介绍代数表示论的一些最新进展，第一章给出了Ｈａｌｌ代数的基本理论及其方法，并且着重指出了利用这一理论和方法通过代数表示论去实现Ｋａｃ－Ｍｏｏｄｙ李代数及相应的量子包络代数，第二章介绍了拟遗传代数及其表示理论，以及这一理论与复     

Algebras Defined from Ordered Sets and the Varieties they Generate

We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by these algebras. In particular we consider two different but related methods for constructing an algebra with one binary operation from an arbitrary ordered set with a top element. The two varieties generated by all these algebras are shown to be well-behaved in that they are locally finite, finitely based, and have an equationally definable order relation. We exhibit a bijection between the subdirectly irreducible algebras in each variety and the class of all ordered sets with top element. We determine the structure and cardinality of the free algebra on n-free generators and provide sharp bounds on the number of n-generated algebras in each variety. These enumeration results involve the number of quasi-orders on an n-element set.     

关于对偶扩张拟遗传代数的Kazhdan-Lusztig理论

In order to study the representation theory of Lie algebras and algebraic groups, Cline, Parshall and Scott put forward the notion of abstract Kazhdan-Lusztig theory for quasihereditary algebras. Assume that a quasi-hereditary algebra B has the vertex set Q0 = {1,..., n} such that HomB（P（i）, P（j）） = 0 for i 〉 j. In this paper, it is shown that if the quasi-hereditary algebra B has a Kazhdan-Lusztig theory relative to a length function l, then its dual extension algebra A = .A（B） has also the Kazhdan-Lusztig theory relative to the length function l.     

Flat and weakly flat projection algebras

The notion of a projection algebra was first introduced in [4] by Ehrig et al. as an algebraic version of ultrametric spaces. Computer scientists use this notion as a convenient means of algebraic specification of process algebras. Some algebraic notions regarding these algebras have been studied in [1], [2], [5]. The flat projection algebras have been investigated by the authors in [1]. Here we completely characterize flat and weakly flat (m-separated and separated) projection algebras. Received November 19, 2001; accepted in final form December 1, 2002. RID="h1" ID="h1"     

Free monadic Tarski algebras

A. Monteiro and L. Iturrioz [7], introduced the notion of monadic Tarski algebras as a generalization of the monadic Boolean algebras considered by P. Halmos [6]. They represent the algebraic version of a fragment of the functional monadic calculus. In this paper we determine the structure of the monadic Tarski algebras with a finite set of free generators.Presented by B. Jónsson.The author is grateful for many valuable comments and suggestions from the referee.     

Universal quantum semigroupoids

We introduce the concept of a universal quantum linear semigroupoid (UQSGd), which is a weak bialgebra that coacts on a (not necessarily connected) graded algebra A universally while preserving grading. We restrict our attention to algebraic structures with a commutative base so that the UQSGds under investigation are face algebras (due to Hayashi). The UQSGd construction generalizes the universal quantum linear semigroups introduced by Manin in 1988, which are bialgebras that coact on a connected graded algebra universally while preserving grading. Our main result is that when A is the path algebra $\mathbb{k}Q$ of a finite quiver Q, each of the various UQSGds introduced here is isomorphic to the face algebra attached to Q. The UQSGds of preprojective algebras and of other algebras attached to quivers are also investigated.     

Bounded Algebraic Geometry over a Free Lie Algebra

Bounded algebraic sets over a free Lie algebra F over a field k are classified in three equivalent languages: (1) in terms of algebraic sets; (2) in terms of radicals of algebraic sets; (3) in terms of coordinate algebras of algebraic sets.Supported by RFBR grant No. 02-01-00192a.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 269–304, May–June, 2005.     

Matrix Characterization of 4-Ary Algebraic Operations of Idempotent Algebras

Let (U; F) be an idempotent algebra. There is an r-ary essentially algebraic operation in F where there is not any (r + 3)-ary algebraic operation depending on at least r + 1 variables. In this paper, we prove that the set of all 4-ary algebraic operations of this algebras forms a finite De Morgan algebra, and then we characterize this De Morgan algebra.     

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)     

N(2,2,0)代数的稳定化子与同余分解

为了深入研究N(2,2,0)代数的代数结构,首先利用代数的推理方法进一步研究了N(2,2,0)代数的稳定化子,改进了以前学者的部分结果,然后利用稳定化子建立了一种同余关系,给出了N(2,2,0)代数的同余分解,证明了其商代数仍是N(2,2,0)代数,并获得了自然同态下一类逆像的代数结构和性质.     

Chiral equivariant cohomology I

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan,² with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.