Related papers: Algorithmic construction of Chevalley bases

We give an efficient algorithm for Lang's Theorem in split connected reductive groups defined over finite fields of characteristic greater than 3. This algorithm can be used to construct many important structures in finite groups of Lie…

Claude Chevalley provided a basis for a {finite dimensional} simple complex Lie algebra called the Chevalley basis. This basis has the distinguishing property that all the structure constants are integers. Chevalley groups, which are…

We construct a convenient basis for all real semisimple Lie algebras by means of an adapted Chevalley basis of the complexification. It determines rational and in fact half-integer structure constants which we express only in terms of the…

Let L be the Lie algebra of a simple algebraic group defined over a field F and let H be a split Cartan subalgebra of L. Then L has a Chevalley basis with respect to H. If the characteristic of F is not 2 or 3, it is known how to find it.…

In the framework of algebraic supergeometry, we give a construction of the scheme-theoretic supergeometric analogue of Chevalley groups, namely affine algebraic supergroups associated to simple Lie superalgebras of classical type. In…

Based on the construction of simple Lie algebras via root category and following Chevalley's results, we construct Chevalley groups from the root category. Then we prove the Bruhat decomposition and the simplicity of the Chevalley groups,…

Let $\mathfrak{g}$ be a semisimple complex Lie algebra. Recently, Lusztig simplified the traditional construction of the corresponding Chevalley groups (of adjoint type) using the "canonical basis" of the adjoint representation…

We describe the structure and different features of Lie algebras in the Verlinde category, obtained as semisimplification of contragredient Lie algebras in characteristic $p$ with respect to the adjoint action of a Chevalley generator. In…

We illustrate an algorithm to classify nice nilpotent Lie algebras of dimension $n$ up to a suitable notion of equivalence; applying the algorithm, we obtain complete listings for $n\leq9$. On every nilpotent Lie algebra of dimension $\leq…

We give upper and lower bounds on the Chevalley-Bass number of a field of characteristic zero, whenever this quantity is well-defined. We also describe an algorithm which computes the Chevalley-Bass number of a field, provided its maximal…

We construct certain integral structures for the cores of reduced tame extended affine Lie algebras of rank at least 2. One of the main tools to achieve this is a generalization of Chevalley automorphisms in the context of extended affine…

Relying on the classification of simple Lie algebras over algebraically closed fields of characteristic $>3$, we show that any finite-dimensional central simple 5-graded Lie algebra over a field $k$ of characteristic $\neq 2,3$ is a simple…

Algorithms are described that help with obtaining a classification of the semisimple subalgebras of a given semisimple Lie algebra, up to linear equivalence. The algorithms have been used to obtain classifications of the semisimple…

We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In…

A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is…

We give a description of the construction of Chevalley supergroups, providing some explanatory examples. We avoid the discussion of the $A(1,1)$, $P(3)$ and $Q(n)$ cases, for which our construction holds, but the exposition becomes more…

We adopt the $p$-group generation algorithm to classify small-dimensional nilpotent Lie algebras over small fields. Using an implementation of this algorithm, we list the nilpotent Lie algebras of dimension at most~9 over $\F_2$ and those…

This article is the third in the series. It is devoted the calculation of the structure constants for the complex simple Lie algebra of type E_6 and Chevalley commutator formulas.

We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of…

This paper introduces two new algorithms for Lie algebras over finite fields and applies them to the investigate the known simple Lie algebras of dimension at most $20$ over the field $\mathbb{F}_2$ with two elements. The first algorithm is…