Related papers: Lie triple system central extensions of Lie algebr…
We present a nonlinear realization of the 5-graded Lie algebra associated to a Kantor triple system. Any simple Lie algebra can be realized in this way, starting from an arbitrary 5-grading. In particular, we get a unified realization of…
It is proved that the derivation algebra of a centerless perfect Lie algebra of arbitrary dimension over any field of arbitrary characteristic is complete and that the holomorph of a centerless perfect Lie algebra is complete if and only if…
We construct a central Lie group extension for the Lie group of compactly supported sections of a Lie group bundle over a sigma-compact base manifold. This generalises a result of the paper "Central extensions of groups of sections" by Neeb…
The cohomology and deformation theory of 3-Lie algebras are revisited. The theory of extending structures and unified product for 3-Lie algebras are developed.It is proved that the extending structures of 3-Lie algebras can be classified by…
We introduce and provide a classification theorem for the class of Heisenberg-Fock Leibniz algebras. This category of algebras is formed by those Leibniz algebras $L$ whose corresponding Lie algebras are Heisenberg algebras $H_n$ and whose…
We provide a classification, up to isomorphism, of four-dimensional ternary Leibniz algebras over an algebraically closed field of characteristic zero. For each non-abelian algebra in the classification, we explicitly determine its centroid…
In this paper, first we give the controlling algebra of Lie triple systems. In particular, the cohomology of Lie triple systems can be characterized by the controlling algebra. Then using controlling algebras, we introduce the notions of…
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…
Let $(T,\langle \cdot, \cdot, \cdot \rangle)$ be a Leibniz triple system of arbitrary dimension, over an arbitrary base field ${\mathbb F}$. A basis ${\mathcal B} = \{e_{i}\}_{i \in I}$ of $T$ is called multiplicative if for any $i,j,k \in…
In this article, we introduce the concepts of excision and idealization for a multiplicative Lie algebra (also for a Lie algebra), which provides two new multiplicative Lie algebras (or Lie algebras) from a given multiplicative Lie algebra…
Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all $a,b,c\in L$. We describe the inner structure of left Leibniz algebras…
We extend the classification of solvable Lie algebras with abelian nilradicals to classify solvable Leibniz algebras which are one dimensional extensions of an abelian nilradicals.
In this paper we provide some conditions under which a Lie derivation on a trivial extension algebra is proper, that is, it can be decomposed into the sum of a derivation and a center valued map. We extend some known results on the…
Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all elements $a,b,c\in L$. A linear…
The complete enriched Lie algebras constitue the natural extension of graded Lie algebras for connected spaces. Each complete enriched Lie algebra is the rational homotopy Lie algebra of a connected space. This text is the first part of a…
Lie algebras endowed with an action by automorphisms of any of the symmetric groups S3 or S4 are considered, and their decomposition into a direct sum of irreducible modules for the given action is studied. In case of S3-symmetry, the Lie…
We give an explicit description of the Lie algebra of derivations for a class of infinite dimensional algebras which are given by \'etale descent. The algebras under consideration are twisted forms of central algebras over rings, and…
A converse to Lie's theorem for Leibniz algebras is found and generalized. The result is used to find cases in which the generalized property, called triangulable, is 2-recognizeable; that is, if all 2-generated subalgebras are…
We invent a new cohomology theory for Lie triple algebras. Using this cohomology, we introduce the notions of 2-term $L_\infty$-triple algebras and Lie triple 2-algebras. We prove that the category of 2-term $L_\infty$-triple algebras is…
In this paper, we introduce the notion Lie-derivation. This concept generalizes derivations for non-Lie Leibniz algebras. We study these Lie-derivations in the case where their image is contained in the Lie-center, call them Lie-central…