Related papers: Engel's theorem in Mathlib

An algorithm for embedding finite dimensional Lie algebras into Lie algebras of vector fields (and Lie superalgebras into Lie superalgebras of vector fields) is offered in a way applicable over ground fields of any characteristic. The…

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra equipped with a symmetric bilinear form $\langle\cdot,\cdot\rangle$. We assume that $\langle\cdot,\cdot\rangle $ is nil-invariant. This means that every nilpotent operator in the…

In this paper we shall consider the Lie algebra of column-finite infinite matrices indexed by positive integers $\mathbb{N}$, describe the lattice of its ideals for arbitrary field $K$ and study its derivations over any commutative, unital…

We describe algorithms for computing the induced nilpotent orbits in semisimple Lie algebras. We use them to obtain the induction tables for the Lie algebras of exceptional type. This also yields the classification of the rigid nilpotent…

We study infinite-dimensional analogues of nilpotent and solvable Lie algebras, focusing on the classes of pro-nilpotent, residually nilpotent, pro-solvable and residually solvable Lie algebras. We extend classical triangularization results…

A version of Auslander theorem is proven for the following classes of noncommutative algebras: (a) noetherian PI local (or connected graded) algebras of finite injective dimension, (b) universal enveloping algebras of finite dimensional Lie…

We prove a version of the Wilson conjecture for $\omega$-categorical $3$-Engel Lie algebras over a field of characteristic $5$: every $\omega$-categorical Lie algebra over $\mathbb{F}_5$ which satisfies the identity $[x,y^3] = 0$ is…

We show that for every complex simple Lie algebra, the equations of Schubert divisors on the flag variety give a complete integrable system of the minimal nilpotent orbit. The approach is motivated by the integrable system on Coulomb…

The invariants of solvable triangular Lie algebras with one nilindependent diagonal element are studied exhaustively. Bases of the invariant sets of all such algebras are constructed using an original algebraic algorithm based on Cartan's…

The invariants of solvable Lie algebras with nilradicals isomorphic to the algebra of strongly upper triangular matrices and diagonal nilindependent elements are studied exhaustively. Bases of the invariant sets of all such algebras are…

Let $k$ be an arbitrary field and $d$ a positive integer. For each degenerate symmetric or antisymmetric bilinear form $M$ on $k^{d}$ we determine the structure of the Lie algebra of matrices that preserve $M$, and of the Lie algebra of…

We study group-graded Lie algebras L with finite support X. We show that L is nilpotent of |X|-bounded class if X is arithmetically-free. Conversely: we show that Y supports the grading of a non-nilpotent Lie algebra if Y is not…

In this paper, we systematically investigate the nilpotentizer and nilpotent graph for a Lie superalgebra over the field of characteristic not equal to 2. First, we establish some fundamental properties of the nilpotentizer. Next, we show…

Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result.…

The notion of Lie algebroids over a topological ringed space provides a unified framework to study various geometric structures. This geometric concept is intimately connected with well-known algebraic structures, including Gerstenhaber…

A new q-binomial theorem for Macdonald polynomials is employed to prove an A_n analogue of the celebrated Selberg integral. This confirms the g=A_n case of a conjecture by Mukhin and Varchenko concerning the existence of a Selberg integral…

We give an algebraic construction of the topological graph-tree configuration pairing of Sinha and Walter beginning with the classical presentation of Lie coalgebras via coefficients of words in the associative Lie polynomial. Our work…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

We show that the skew-symmetrized product on every Leibniz algebra E can be realized on a reductive complement to a subalgebra in a Lie algebra. As a consequence, we construct a nonassociative multiplication on E which, when E is a Lie…

This paper develops the structure theory of a Malcev algebra via the consideration of its most important and largest Lie (sub-) algebra. We introduce the notion of a Lie algebra which uniquely corresponds to a Malcev algebra and use this…