Related papers: Algorithmic construction of Chevalley bases
In the current article we study structure of a Chevalley group $G(R)$ over a commutative ring $R$. We generalize and improve the following results: (1) standard, relative, and multi-relative commutator formulas; (2) nilpotent structure of…
An algorithm for constructing primitive adjoint-invariant functions on a complex simple Lie algebra is presented. The construction is intrinsic in the sense that it does not resort to any representation. A primitive invariant function on…
The concept of breadth has been used in the classification of p-groups and nilpotent Lie algebras. In this paper, we investigate this notion for finite-dimensional solvable Lie algebras. Our main focus is to characterize solvable Lie…
Let $\hat G$ be the finite simply connected version of an exceptional Chevalley group, and let $V$ be a nontrivial irreducible module, of minimal dimension, for $\hat G$ over its field of definition. We explore the overgroup structure of…
In this paper we give a complete classification of cyclically graded semisimple Lie algebras that afford cuspidal character sheaves and determine the support of the cuspidal character sheaves. This constitutes a major step towards the…
This article constructs a crossed module corresponding to the generator of the third cohomology group with trivial coefficients of a complex simple Lie algebra. This generator reads as <[,],>, constructed from the Lie bracket [,] and the…
In this paper, we shall provide a purely $\infty$-categorical construction of the mixed graded structure over Chevalley-Eilenberg complexes computing homology and cohomology of Lie algebras defined over a field $\Bbbk$ of characteristic…
For a finite subgroup $G$ of $SU(2)$ and one of its ground forms $P\in\mathbb{C}[X,Y]$, we show that the space of invariants $\mathbb{C}[X,Y,P^{-1}]^{G}_k$ of degree $k\in2\mathbb{Z}$ is a cyclic module over the algebra of invariants of…
We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any…
A complex Lie supergroup can be described as a real Lie supergroup with integrable almost complex structure. The necessary and sufficient conditions on an almost complex structure on a real Lie supergroup for defining a complex Lie…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We introduce the notion of a subregular subalgebra, which we believe is useful for classification of subalgebras of Lie algebras. We use it to construct a non-regular invariant generalized complex structure on a Lie group. As an…
Theoretical background of continuous contractions of finite-dimensional Lie algebras is rigorously formulated and developed. In particular, known necessary criteria of contractions are collected and new criteria are proposed. A number of…
In this paper we further develop the method of quaternion typification of Clifford algebra elements suggested by the author in the previous papers. On the basis of new classification of Clifford algebra elements it is possible to find out…
An element $x$ of a Lie algebra $L$ over the field $F$ is extremal if $[x,[x,L]]=Fx$. Under minor assumptions, it is known that, for a simple Lie algebra $L$, the extremal geometry ${\cal{E}}(L)$ is a subspace of the projective geometry of…
Every non-solvable and non-semisimple quadratic Lie algebra can be obtained as a double extension of a solvable quadratic Lie algebra. Thanks to a partial classification of nilpotent Lie algebras and this result, we can design different…
In this paper, we first introduce the concept of symmetric biderivation radicals and characteristic subalgebras of Lie algebras, and study their properties. Based on these results, we precisely determine biderivations of some Lie algebras…
We employ techniques of machine-learning, exemplified by support vector machines and neural classifiers, to initiate the study of whether AI can "learn" algebraic structures. Using finite groups and finite rings as a concrete playground, we…
It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie…
The main goal is to classify 4-dimensional real Lie algebras $\g$ which admit a para-hypercomplex structure. This is a step toward the classification of Lie groups admitting the corresponding left-invariant structure and therefore…