Related papers: Yet another proof of the Ado theorem
Let $A$ be an associative algebra over a field of characteristic $\neq 2$ that is generated by a finite collection of nilpotent elements. We prove that all Lie derived powers of $A$ are finitely generated Lie algebras.
Jacobson proved that if a Lie algebra admits an invertible derivation, it must be nilpotent. He also suspected, though incorrectly, that the converse might be true: that every nilpotent Lie algebra has an invertible derivation. We prove…
We introduce the concept of a triangular representation of a Lie algebra, give a counterpart of Ado's theorem, and discuss $2$-irreducible triangular modules over a nonreductive Lie algebra.
This is an elementary geometrical proof of Birkhoff theorem. It is hardly important, but the pictures behind are quite nice.
We prove nilpotency results for Lie algebras over an arbitrary field admitting a derivation, which satisfies a given polynomial identity $r(t)=0$. For the polynomial $r=t^n-1$ we obtain results on the nilpotency of Lie algebras admitting a…
Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…
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…
We present a proof of Kemer's representability theorem for affine PI algebras over a field of characteristic zero.
In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have…
We prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic $p$ which give sufficient conditions for the algebras to be of the form $[R^{(-)}, R^{(-)}] / (Z(R)…
Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…
We show that finite-dimensional Lie algebras over a field of characteristic zero such that the second cohomology group in every finite-dimensional module vanishes, are, essentially, semisimple.
In this paper we construct a graded universal enveloping algebra of a $G$-graded Lie algebra, where $G$ is not necessarily an abelian group. If the grading group is abelian, then it coincides with the classical construction. We prove the…
A Lie algebra $L$ is said to be of breadth $k$ if the maximal dimension of the images of left multiplication by elements of the algebra is $k$. In this paper we give characterization of finite dimensional nilpotent Lie algebras of breadth…
We give a proof of Artin's vanishing theorem in characteristic zero, based on Deligne's Riemann-Hilbert correspondence. Just as a curiosity.
We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic $p$ has distributive lattice of thick subcategories: they are precisely…
All finite-dimensional Leibniz algebra bimodules of a Lie algebra $\mathfrak{sl}_2$ over a field of characteristic zero are described.
We prove that every local derivation on a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero is a derivation. We also give examples of finite-dimensional nilpotent Lie algebras $\mathcal{L}$…
A proof of Poincar\'e-Birkhoff-Witt theorem is given for a class of generalized Lie algebras closely related to the Gurevich S-Lie algebras. As concrete examples, we construct the positive (negative) parts of the quantized universal…
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a…