Related papers: Engel's Theorem for Alternative Superalgebras

Let A be any associative algebra graded by a finite abelian group G, then if we denote by GKdim_k(A) and GKdim^G_k (A) the Gelfand-Kirillov dimension of its relatively free algebra and its relatively free G-graded algebra in k variables…

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…

This paper presents a solution to a problem from superanalysis about the existence of Hilbert-Banach superalgebras. Two main results are derived: 1) There exist Hilbert norms on some graded algebras (infinite-dimensional superalgebras…

Let $b$ be a non-degenerate symmetric (respectively, alternating) bilinear form on a finite-dimensional vector space $V$, over a field with characteristic different from $2$. In a previous work, we have determined the maximal possible…

We give a complete description of degenerations of $3$-dimensional nilpotent algebras, $4$-dimensional nilpotent commutative algebras and $5$-dimensional nilpotent anticommutative algebras over $ \mathbb C$. In particular, we correct…

We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new…

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…

Let L be a Lie superalgebra over a fled of characteristic p\neq 2 with enveloping algebra U(L) or let L be a restricted Lie superalgebra over a field of characteristic p > 2 with restricted enveloping algebra u(L). In this note, we…

For central simple finitely generated algebras of finite Gelfand-Kirillov dimension and for their division algebras upper bounds are obtained for the transcendence degree of their commutative subalgebras and subfields respectively. In the…

To an arbitrary Lie superalgebra $L$ we associate its Jordan double ${\mathcal Jor}(L)$, which is a Jordan superalgebra. This notion was introduced by the second author before. Now we study further applications of this construction. First,…

We compare the maximal dimension of abelian subalgebras and the maximal dimension of abelian ideals for finite-dimensional Lie algebras. We show that these dimensions coincide for solvable Lie algebras over an algebraically closed field of…

It is shown that over an arbitrary field there exists a nil algebra $R$ whose adjoint group $R^{o}$ is not an Engel group. This answers a question by Amberg and Sysak from 1997 [5] and answers related questions from [3, 44]. The case of an…

We investigate the structure of an alternative finite dimensional $\Q$-algebra $\mathfrak{A}$ subject to the condition that for a $\Z$-order $\Gamma \subset \mathfrak{A}$, and thus for every $\Z$-order of $\mathfrak{A}$, the loop of units…

Let $F$ be a field, char$(F)\neq 2$. Then every finite-dimensional $F$-algebra has either an idempotent or an absolute nilpotent if and only if over $F$ every polynomial of odd degree has a root in $F$. This is also necessary and sufficient…

The structure of nilpotent symplectic algebras of maximal class has been studied in [8, 5]. In this paper, we study the dual subclass of algebras of minimal class. In particular, we show that symplectic alternating algebras of dimension up…

We develop the theory of the higher commutator for Taylor varieties. A new higher commutator operation called the hypercommutator is defined using a type of invariant relation called a higher dimensional congruence. The hypercommutator is…

For an arbitrary countable field, we construct an associative algebra that is graded, generated by finitely many degree-1 elements, is Jacobson radical, is not nil, is prime, is not PI, and has Gelfand-Kirillov dimension two. This refutes a…

In this paper, we introduce the concept of (super-)multiplier-rank for Lie superalgeras and classify all the finite-dimensional nilpotent Lie superalgebras of multiplier-rank $\leq 2$ over an algebraically closed field of characteristic…

Nilpotent Leibniz algebras with isomorphic maximal subalgebras are considered. The algebras are classified for coclass zero, one, and two. The results are field dependent.

This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the…