Related papers: Engel's theorem in Mathlib

We develop a new, intrinsic, computationally friendly approach to Lie coalgebras through graph coalgebras, which are new and likely to be of independent interest. Our graph coalgebraic approach has advantages both in finding relations…

We consider Lie algebroids over algebraic spaces (in short we call it as $a$-spaces) by considering the sheaf of Lie-Rinehart algebras. We discuss about properties of universal enveloping algebroid $\mathscr{U}(\mathcal{O}_X,\mathcal{L})$…

Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…

Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an…

In this paper, we introduce the category of Lie $n$-racks and generalize several results known on racks. In particular, we show that the tangent space of a Lie $n$-Rack at the neutral element has a Leibniz $n$-algebra structure. We also…

Let L be a restricted Lie algebra over a field of characteristic p > 2 and denote by u(L) its restricted enveloping algebra. We determine the conditions under which the set of symmetric elements of u(L) with respect to the principal…

We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step…

We present LieART 2.0 which contains substantial extensions to the Mathematica application LieART (Lie Algebras and Representation Theory) for computations frequently encountered in Lie algebras and representation theory, such as tensor…

For any decomposition of a Lie superalgebra $\mathcal G$ into a direct sum $\mathcal G=\mathcal H\oplus\mathcal E$ of a subalgebra $\mathcal H$ and a subspace $\mathcal E$, without any further resctrictions on $\mathcal H$ and $\mathcal E$,…

Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language…

For any field K and directed graph E, we completely describe the elements of the Leavitt path algebra L_K(E) which lie in the commutator subspace [L_K(E),L_K(E)]. We then use this result to classify all Leavitt path algebras L_K(E) that…

Premet has conjectured that the nilpotent variety of any finite-dimensional restricted Lie algebra is an irreducible variety. In this paper, we prove this conjecture in the case of Hamiltonian Lie algebra. and show that its nilpotent…

The connections between Euler's equations on central extensions of Lie algebras and Euler's equations on the original, extended algebras are described. A special infinite sequence of central extensions of nilpotent Lie algebras constructed…

Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning…

This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy…

We introduce the non-abelian tensor product of Lie superalgebras, study some of its properties including nilpotency, solvability and Engel, and we use it to describe the universal central extensions of Lie superalgebras. We present the…

In this lecture we review apprearance of the Riemann-Roch Theorem in classical function theory, Algebraic topology, in theory of pseudo-differential operators and finally in noncommutative geometry. We show also it usefulness in many…

Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie…

We develop the Lie theory of Lie-admissible algebras whose product is enriched with higher operations modeled on directed graphs with a view to apply it to the deformation theories controlled by this kind of Lie algebras. We produce…

In a recent study of Engel Lie rings, Serena Cicalo` and Willem de Graaf have given a practical set of conditions for an additively finitely generated Lie ring L to satisfy an Engel condition. We present a simpler and more direct proof of…