Related papers: On Zel'manov's global nilpotence theorem for Engel…

Let $L$ be a finite-dimensional Lie algebra over a field $F$. In This paper we introduce the \emph{nilpotent graph} $\Gamma_\mathfrak{N}(L)$ as the graph whose vertices are the elements of $L \setminus \nil(L)$, where \[\nil(L) = \{x \in L…

In this paper, a nilpotency criterion is given for finite dimensional alternative superalgebras in the spirit of Engel's Theorem for Jordan superalgebras over infinite fields provided by Shestakov and Okunev. For alternative superalgebras,…

We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units V(FG) of the group algebra FG is locally nilpotent; (ii) the group algebra FG has a finite number of nilpotent elements and V(FG) is an…

Let $\mathbb{F}$ be a normed field. In this work, we prove that every nil complete metric $\mathbb{F}$-algebra is nilpotent when $\mathbb{F}$ has characteristic zero. This result generalizes Grabiner's Theorem for Banach algebras, first…

The paper studies nilpotent $n$-Lie superalgebras. More specifically speaking, we first prove Engel's theorem for $n$-Lie superalgebras. Second, we research some properties of nilpotent $n$-Lie superalgebras, Finally, we give several…

Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$. Let…

Suppose that a Lie type algebra L over a field K admits a Frobenius group of automorphisms FH with cyclic kernel F of order n and complement H such that the fixed-point subalgebra of F is trivial and the fixed-point subalgebra of H is…

We prove that 5-Engel Lie algebras over a field of characteristic zero, or over a field of prime characteristic $p>7$, are nilpotent of class at most 11. We also prove that if $G$ is a finite 5-Engel $p$-group for $p>7$ then $G$ is…

Small and Zelmanov posed the question whether every element of a graded algebra over an uncountable field must be nilpotent, provided that the homogeneous elements are nilpotent. This question has recently been answered in the negative by…

A Lie algebra L is known to be nilpotent if it admits a grading by (Zp, +) with support X not containing 0. It is also known that the class of L can be bounded by some explicit function of |X|. We generalise this and other classical results…

We discuss the theory of Lie algebras in Lean's Mathlib library. Using nilpotency as the theme, we outline a computer formalisation of Engel's theorem and an application to root space theory. We emphasise that all arguments work with…

In this paper we show that every finite-dimensional Zinbiel algebra over an arbitrary field is nilpotent, extending a previous result by other authors that they are solvable.

A classical theorem of R. Baer describes the nilpotent radical of a finite group G as the set of all Engel elements, i.e. elements y in G such that for any x in G the n-th commutator [x,y,...,y] equals 1 for n big enough. We obtain a…

We prove that any Novikov algebra over a field of characteristic $\neq 2$ is Lie-solvable if and only if its commutator ideal $[N,N]$ is right nilpotent. We also construct examples of infinite-dimensional Lie-solvable Novikov algebras $N$…

Consider the special linear Lie algebra $\mathfrak{sl}_n(\mathbb {K})$ over an infinite field of characteristic different from $2$. We prove that for any nonzero nilpotent $X$ there exists a nilpotent $Y$ such that the matrices $X$ and $Y$…

A (vector space) basis B of a Lie algebra is said to be very nilpotent if all the iterated brackets of elements of B are nilpotent. In this note, we prove a refinement of Engel's Theorem. We show that a Lie algebra has a very nilpotent…

Let B be an algebra over a field k and let Der(B) be the set of k-derivations from B to B. We define what it means for a subset of Der(B) to be a locally nilpotent set. We prove some basic results about that notion and explore the following…

In this paper we prove a group theoretic analogue of the well known local nilpotence theorem for sandwich Lie algebras due to Kostrikin and Zel'manov. We introduce the notion of a strong left 3-Engel element of a group G and show that these…

Given a nilpotent Lie algebra $L$ of dimension $\le 6$ on an arbitrary field of characteristic $\neq 2$, we show a direct method which allows us to detect the capability of $L$ via computations on the size of its nonabelian exterior square…

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…