Related papers: Prolongations and computational algebra
We compute the short distance expansion of fields or operators that live in the coadjoint representation of an infinite dimensional Lie algebra by using only properties of the adjoint representation and its dual. We explicitly compute the…
In this article, we introduce mock-Lie superalgebras, we give some definitions, properties, constructions, and we study their representations. Moreover we introduce pseudo-euclidean mock-Lie superalgebras which are mock-Lie superalgebras…
Two models of candidates for hereditary symmetry operators are proposed and thus many nonlinear systems of evolution equations possessing infinitely many commutative symmetries may be generated. Some concrete structures of hereditary…
We discuss computability and computational complexity of conformal mappings and their boundary extensions. As applications, we review the state of the art regarding computability and complexity of Julia sets, their invariant measures and…
This paper proposes new mathematical models of the untyped Lambda-mu calculus. One is called the stream model, which is an extension of the lambda model, in which each term is interpreted as a function from streams to individual data. The…
We calculate the formal analytic expansions of certain formal translations in a space of formal iterated logarithmic and exponential variables. The results show how the algebraic structure naturally involves the Stirling numbers of the…
The representation and the cohomology theory of associative 2-algebras are developed. We study the deformations and abelian extensions of associative 2-algebras in details.
We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…
A Lie superalgebra endowed with a supersymmetric, even, non-degenerate, invariant bilinear form is called a quadratic Lie superalgebra. In this paper we give inductive descriptions of quadratic Lie superalgebras in terms of generalized…
We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of…
The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with…
The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…
We consider a class of extensions of associative algebras, which we refer to as ``strongly proj-bounded extensions''. We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by…
We study some non-semisimple representations of affine Temperley--Lieb algebras and related cellular algebras. In particular, we classify extensions between simple standard modules. Moreover, we construct a completion which is an infinite…
In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…
Cohomologies of nonassociative metagroup algebras are investigated. Extensions of metagroup algebras are studied. Examples are given.
For an infinite chain bicomplex we show that the orthogonality and grading conditions provide it with the structure of a bigraded differential algebra with respect to a natural multiplication of several elements bicomplex spaces.…
We study a new flexible method to extend linearly the graph of a non-linear, and usually not bijective, function so that the resulting extension is a bijection. Our motivation comes from cryptography. Examples from symmetric cryptography…
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study…
In this paper we study derived equivalences between triangular matrix algebras using certain classical recollements. We show that special properties of these recollements actually characterize triangular matrix algebras, and describe…