Related papers: Engel conditions and symmetric tensors

The connections between the properties of associative rings that are Lie-solvable (Engel, n-Engel, locally finite, respectively) and the properties of their adjoin subgroups are investigated.

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…

In line with known results on groups, we show the existence of the nilpotent radical in Lie rings with minimal condition on centralizers. We also prove a form of Engel's theorem if the characteristic is zero.

Recently there has been renewed interest among differential geometers in the theory of Engel structures. We introduce holomorphic analogues of these structures, and pose the problem of classifying projective manifolds admitting them.…

We prove a singular version of the Engel theorem. We prove a normal form theorem for germs of holomorphic singular Engel systems with good conditions on its singular set. As an application, we prove that there exists an integral analytic…

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…

We study the geometry of Engel structures, which are 2-plane fields on 4-manifolds satisfying a generic condition, that are compatible with other geometric structures. A complex Engel structure is an Engel 2-plane field on a complex surface…

We study Mittag-Leffler conditions on modules providing relative versions of classical results by Raynaud and Gruson. We then apply our investigations to several contexts. First of all, we give a new argument for solving the Baer splitting…

Given a finite group $G$, the Engel graph of $G$ is a directed graph encoding pairs of elements satisfying some Engel word. From the work of Detomi, Lucchini and Nemmi, the strongly connectivity of the Engel graph of an arbitrary group $G$…

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 construct finitely generated Engel branch groups, answering a question of Fern\'andez-Alcober, Noce and Tracey on the existence of such objects. In particular, the groups constructed are not nilpotent, yielding the second known class of…

Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an…

Relationships between certain properties of maximal subalgebras of a Lie algebra $L$ and the structure of $L$ itself have been studied by a number of authors. Amongst the maximal subalgebras, however, some exert a greater influence on…

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…

For every nonholonomic manifold, i.e., manifold with nonintegrable distribution, the analog of the Riemann tensor is introduced. It is calculated here for the contact and Engel structures: for the contact structure it vanishes (another…

We study the congeniality property of algebras, as defined by Bao, He, and Zhang, in order to establish a version of Auslander's theorem for various families of filtered algebras. It is shown that the property is preserved under homomorphic…

Let m,n be positive integers, v a multilinear commutator word and w=v^m. We prove that if G is an orderable group in which all w-values are n-Engel, then the verbal subgroup v(G) is locally nilpotent. We also show that in the particular…

We present a necessary and sufficient condition for a Boolean algebra to carry a finitely additive measure.

We study the properties of rings satisfying Auslander-type conditions. If an artin algebra $\Lambda$ satisfies the Auslander condition (that is, $\Lambda$ is an $\infty$-Gorenstein artin algebra), then we construct two kinds of…

Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive…