Related papers: Engel's theorem in Mathlib

We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…

For any L-infinity algebra L, we construct an A-infinity structure on the space of symmetric tensors Sym*(L), which generalizes the classical universal enveloping for Lie algebras. Our construction is based on an invariant homotopy on a…

We introduce the notions of pre-morphism and pre-derivation for arbitrary non-associative algebras over a commutative ring $k$ with identity. These notions are applied to the study of pre-Lie $k$-algebras and, more generally, Lie-admissible…

A solvable Lie algebra L has the property that its nilradical N contains its own centraliser. This is interesting because gives a representation of L as a subalgebra of the derivation algebra of its nilradical with kernel equal to the…

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$…

Infinitesimal symmetries of a classical mechanical system are usually described by a Lie algebra acting on the phase space, preserving the Poisson brackets. We propose that a quantum analogue is the action of a Lie bi-algebra on the…

The aim of this article is to show, how computer algebra can be used when applying Liu's procedure. Although Mathematica (a commercial product by Wolfram Research Inc.) is used, it is possible to use other computer algebra systems as well.

We investigate the structure of the Schrodinger algebra and its representations in a Fock space realized in terms of canonical Appell systems. Generalized coherent states are used in the construction of a Hilbert space of functions on which…

This paper is concerned with generalising the results for Lie $CT$-algebras to Leibniz algebras. In some cases our results give a generalisation even for the case of a Lie algebra. Results on $A$-algebras are used to show every Leibniz…

Relationship is clarified between the notions of linear extension of algebraic theories, and central extension, in the sense of commutator calculus, of their models. Varieties of algebras turn out to be nilpotent Maltsev precisely when…

A nilpotent quotient algorithm for finitely presented Lie rings over Z (LieNQ) is described. The paper studies graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented,…

We will discuss the equivariant cohomology of a manifold endowed with the action of a Lie group. Localization formulae for equivariant integrals are explained by a vanishing theorem for equivariant cohomology with generalized coefficients.…

The theory of positive kernels and associated reproducing kernel Hilbert spaces, especially in the setting of holomorphic functions, has been an important tool for the last several decades in a number of areas of complex analysis and…

Using fundamental results of Deligne, we prove a nilpotence theorem for algebraic cycles and use this to prove a torsion nilpotence result for correspondences on surfaces.

We prove that the cohomology algebra of a conilpotent Lie coalgebra is generated in degree 1 as an A-infinity algebra. By dualizing, the same is true about cohomology algebras of finite dimensional nilpotent Lie algebras. In the process, we…

By a result of Vallette, we put a sensible model structure on the category of conilpotent Lie coalgebras. This gives us a powerful tool to study the subcategory of Lie algebras obtained by linear dualization, also known as the category of…

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$…

The paper presents two new results concerning the varieties of Leibnitz algebras. In the case of prime characteristic p of the base field constructed example not nilpotent variety of Leibnitz algebras satisfying an Engel condition order p.…

We prove a number of results on integrability and extendability of Lie algebras of unbounded skew-symmetric operators with common dense domain in Hilbert space. By integrability for a Lie algebra $\mathfrak{g}$, we mean that there is an…

Let $U$ be the quantum group with divided powers in $l-$th root of unity and let $u\subset U$ be the Frobenius kernel. V.Ginzburg and S.Kumar proved that the cohomology algebra of $u$ with trivial coefficients is isomorphic to the functions…