Related papers: A generalization of Lazard's elimination theorem
In this paper we study some special classes of division algebras over a Laurent series field with arbitrary residue field. We call the algebras from these classes as splittable and good splittable division algebras. It is shown that these…
A general simplicity problem in category theory is proposed. A particular example, the simplest choice of generators of an algebra is specified and illustrated by an example.
The purpose of this paper is to extend the cohomology and conformal derivation theories of the classical Lie conformal algebras to Hom-Lie conformal algebras. In this paper, we develop cohomology theory of Hom-Lie conformal algebras and…
We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in classical Lie theory is replaced by an identity similar to…
Motivated by the Cheung's elaborate work [Linear Multilinear Algebra, 51 (2003), 299-310], we investigate the construction of a Lie derivation on a generalized matrix algebra and apply it to give a characterization for such a Lie derivation…
The main purpose of this paper is to introduce the notion of $n$-L-dendriform algebra which can be seen as a dendrification of $n$-pre-Lie algebras by means of $\mathcal{O}$-operators. We investigate the representation theory of $n$-pre-Lie…
In this paper we prove that every recursively presented Lie algebra over a field which is a finite extention of its simple subfield can be embedded in a recursively presented Lie algebra defined by relations which are equalities of…
For a cellular algebra $\A$ with a cellular basis $\ZC$, we consider a decomposition of the unit element $1_\A$ into orthogonal idempotents (not necessary primitive) satisfying some conditions. By using this decomposition, the cellular…
We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…
In a recent paper by the authors, Lie bialgebras structures of generalized Virasoro-like type were considered. In this paper, the explicit formula of the quantization of generalized Virasoro-like algebras is presented.
In this paper we introduce generalized Spencer cohomology for finite depth Z-graded Lie (super)algebras. We develop a method of finding filtered deformations of such Z-graded Lie (super)algebras based on this cohomology. As an application…
We deduce decompositions of natural representations of general linear groups and symmetric groups from combinatorial bijections involving tableaux. These include some of Howe's dualities, Gelfand models, the Schur-Weyl decomposition of…
An algebraic deformation theory of coalgebra morphisms is constructed.
This paper reproves a general form of the Green-Lazarsfeld 'generic vanishing' theorem and more recent strengthenings, as well as giving some new applications.
For the space of $(\sigma,\tau)$-derivations of the group algebra $ \mathbb{C} [G] $ of discrete countable group $G$, the decomposition theorem for the space of $(\sigma,\tau)$-derivations, generalising the corresponding theorem on ordinary…
The Onsager Lie algebra $O$ is an infinite-dimensional Lie algebra defined by generators $A$, $B$ and relations $[A, [A, [A, B]]] = 4[A, B]$ and $[B, [B, [B, A]]] = 4[B, A]$. Using an embedding of $O$ into the tetrahedron Lie algebra…
Novikov algebras provide a simple but powerful algebraic axiomatization of important features of classical diferential calculus. We study their structure properties, modeling their relationships with commutative algebras with a derivation,…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
Decompositions of the unitary group U(n) are useful tools in quantum information theory as they allow one to decompose unitary evolutions into local evolutions and evolutions causing entanglement. Several recursive decompositions have been…
A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…