Related papers: On Levi extensions of nilpotent Lie algebras

Semisimple Lie algebras have been completely classified by Cartan and Killing. The Levi theorem states that every finite dimensional Lie algebra is isomorphic to a semidirect sum of its largest solvable ideal and a semisimple Lie algebra.…

Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space…

The present article is part of a research program the aim of which is to find all indecomposable solvable extensions of a given class of nilpotent Lie algebras. Specifically in this article we consider a nilpotent Lie algebra n that is…

From the Levi's Theorem it is known that every finite dimensional Lie algebra over a field of characteristic zero is decomposed into semidirect sum of solvable radical and semisimple subalgebra. Moreover, semisimple part is the direct sum…

We establish an improved upper estimate on dimension of any solvable algebra s with its nilradical isomorphic to a given nilpotent Lie algebra n. Next we consider Levi decomposable algebras with a given nilradical n and investigate…

We study codimension growth of infinite dimensional Lie algebras over a field of characteristic zero. We prove that if a Lie algebra $L$ is an extension of a nilpotent algebra by a finite dimensional semisimple algebra then the PI-exponent…

Let $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ be a Levi decomposable Lie algebra, with Levi factor $\mathfrak{s}$, and radical $\mathfrak{r}$. A module $V$ of $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ is cyclic indecomposable if it is…

In this paper we introduce the notion of pure non-characteristically nilpotent Lie algebra and under a condition we prove that a complex maximal extension of a finite-dimensional pure non-characteristically nilpotent Lie algebra is…

We study {\em disemisimple} Lie algebras, i.e., Lie algebras which can be written as a vector space sum of two semisimple subalgebras. We show that a Lie algebra $\mathfrak{g}$ is disemisimple if and only if its solvable radical coincides…

The concept of breadth has been used in the classification of p-groups and nilpotent Lie algebras. In this paper, we investigate this notion for finite-dimensional solvable Lie algebras. Our main focus is to characterize solvable Lie…

We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With suitable definitions, we prove that G has a unique maximal…

We analyze the number N of functionally independent generalized Casimir invariants for non-semisimple Lie algebras \frak{s}\overrightarrow{% oplus}_{R}\frak{r} with Levi factors isomorphic to \frak{so}(3) and \frak{sl}(2,R) in dependence of…

For a finite dimensional Lie algebra $L$, it is known that $s(L)=\f{1}{2}(n-1)(n-2)+1-\mathrm{dim} M(L)$ is non negative. Moreover, the structure of all finite nilpotent Lie algebras is characterized when $s(L)=0,1$ in \cite{ni,ni4}. In…

We study the minimal dimension of solvable and nilpotent Lie algebras over a field of characteristic zero with given derived length $k$. This is motivated by questions on nildecomposable Lie algebras $\Lg=\La+\Lb$, arising in the context of…

Every Lie algebra over a field $E$ gives rise to new Lie algebras over any subfield $F \subseteq E$ by restricting the scalar multiplication. This paper studies the structure of these underlying Lie algebra in relation to the structure of…

Let $k$ be a field of any characteristic, $V$ a finite-dimensional vector space over $k$, and $S^d(V^*)$ be the $d$-th symmetric power of the dual space $V^*$. Given a linear map $\varphi$ on $V$ and an eigenvector $w$ of $\varphi$, we…

We study finite dimensional almost and quasi-effective prolongations of nilpotent Z-graded Lie algebras, especially focusing on those having a decomposable reductive structural subalgebra. Our assumptions generalize effectiveness and…

Let $K$ be an arbitrary field of characteristic zero and $A$ a commutative associative $ K$-algebra which is an integral domain. Denote by $R$ the fraction field of $A$ and by $W(A)=RDer_{\mathbb K}A,$ the Lie algebra of $\mathbb…

Let L be a Lie pseudoalgebra, a in L. We show that, if a generates a (finite) solvable subalgebra S=<a>, then one may find a lifting a' in S of [a] in S/S' such that <a'> is nilpotent. We then apply this result towards vertex algebras: we…

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…