Related papers: Note on The Generalized Derivation Tower Theorem f…

In this paper we extend the Lie theory of integration in two different ways. First we consider a finite dimensional Lie algebra of vector fields and discuss the most general conditions under which the integral curves of one of the fields…

A complete reduction $\phi$ for derivatives in a differential field is a linear operator on the field over its constant subfield. The reduction enables us to decompose an element $f$ as the sum of a derivative and the remainder $\phi(f)$. A…

We address the construction of manifest U-duality invariant generalized diffeomorphisms. The closure of the algebra requires an extension of the tangent space to include a tensor hierarchy indicating the existence of an underlying unifying…

The aim of this paper is to give an alternative proof of Kac's theorem for weighted projective lines (\cite{W}) over the complex field. The geometric realization of complex Lie algebras arising from derived categories (\cite{XXZ}) is…

For a field $\mathbb{F}$, let $L_k(\mathbb{F})$ be the Lie algebra of derivations $f(t)\frac{d}{dt}$ of the polynomial ring $\mathbb{F}[t]$, where $f(t)$ is a polynomial of degree $\geqslant k$. For any $k\geqslant -1$, we present a basis…

We study $\delta$-derivations -- a construction simultaneously generalizing derivations and centroid. First, we compute $\delta$-derivations of current Lie algebras and of modular Zassenhaus algebra. This enables us to provide examples of…

The purpose of this paper is to show that there are Hom-Lie algebra structures on $\mathfrak{sl}_2(\mathbb{F}) \oplus \mathbb{F}D$, where $D$ is a special type of generalized derivation of $\mathfrak{sl}_2(\mathbb{F})$, and $\mathbb{F}$ is…

A cohomology theory, associated to a $n$-Lie algebra and a representation space of it, is introduced. It is observed that this cohomology theory is qualified to encode the generalized derivation extensions, and that it coincides, for $n=3$,…

We give information about finite-dimensional Lie algebras and their representations for model building in 4 and 5 dimensions; e.g., conjugacy classes, types of representations, Weyl dimensional formulas, Dynkin indices, quadratic Casimir…

A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the…

We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only…

Let $\mathbb{K}$ be a field, $R$ be an associative and commutative $\mathbb{K}$-algebra and $L$ be a Lie algebra over $\mathbb{K}$. We give some descriptions of injections from $L$ to Lie algebra of $\mathbb{K}$-derivations of $R$ in the…

A way to construct (conjecturally all) simple finite dimensional modular Lie (super)algebras over algebraically closed fields of characteristic not 2 is offered. In characteristic 2, the method is supposed to give only simple Lie…

A classical theorem of Veldkamp describes the center of an enveloping algebra of a Lie algebra of a semi-simple algebraic group in characteristic $p.$ We generalize this result to a class of Lie algebras with a property that they arise as…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

We construct four new series of generalized simple Lie algebras of Cartan type, using the mixtures of grading operators and down-grading operators. Our results in this paper are further generalizations of those in Osborn's work ``New simple…

We show that finite-dimensional Lie algebras over a field of characteristic zero such that their high-degree cohomology in any finite-dimensional non-trivial irreducible module vanishes, are, essentially, direct sums of semisimple and…

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…

In this paper I consider locally finite Lie algebras of characteristic zero satisfying the condition that for every finite number of elements $x_{1}, x_{2},..., x_{k}$ of such an algebra $L$ there is finite-dimensional subalgebra $A$ which…

The additive (generalized) $\xi$-Lie derivations on prime algebras are characterized. It is shown, under some suitable assumption, that an additive map $L$ is an additive (generalized) Lie derivation if and only if it is the sum of an…