Related papers: Constructing algebraic groups from their Lie algeb…
For a Lie algebra L over an algebraically closed field of non-zero characteristic, every finite-dimensional L-module can be decomposed into a direct sum of submodules such that all composition factors of a summand have the same character.…
In this paper we prove a new characterization of the distinguished unipotent orbits of a connected reductive group over an algebraically closed field of characteristic 0. For classical groups we prove the characterization by a combinatorial…
We present a method for associating labeled directed graphs to finite-dimensional Lie algebras, thereby enabling rapid identification of key structural algebraic features. To formalize this approach, we introduce the concept of…
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…
Given a Lie algebra $L$ graded by a group $G$, if $L$ is does not contain orthogonal graded ideals and $G$ is generated by the support of $L$, then $G$ is an abelian group.
A new class of infinite dimensional simple Lie algebras over a field with characteristic 0 are constructed. These are examples of non-graded Lie algebras. The isomorphism classes of these Lie algebras are determined. The structure space of…
We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime…
In this paper we describe all group gradings by a finite abelian group G of any Lie algebra L of the type "A" over algebraically closed field F of characteristic zero.
In this paper, we will show that nonabelian simple classical groups of Lie type are uniquely determined by the structure of their complex group algebras.
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
In this paper, we explain how to compute the Lie algebra of the differential Galois group of a reducible linear differential system. We achieve this by showing how to transform a block-triangular linear differential system into a…
This paper explores the properties of multiplicative Lie algebra structures on a nilpotent group of class $2$. We also present a method for determining a multiplicative Lie algebra structure on a group that serves as an extension of one Lie…
The theory of nilpotent orbits of simple Lie algebras has seen tremendous developments over the past decades. In this context an important role is played by the component group of the stabilizer of a nilpotent element. In this work, the aim…
Derived brackets provide a mechanism for generating algebraic structures from graded Lie superalgebras, with applications in Poisson geometry, mathematical physics, and the theory of algebroids. In this paper, we present a complete…
We obtain a necessary and sufficient condition for an algebraic set in a group to have a fully characteristic radical. As a result, we see that if the radical of a system of equation $S$ over a group $G$ is fully characteristic, then there…
For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to…
The maximal finite abelian subgroups, up to conjugation, of the simple algebraic group of type E8 over an algebraically closed field of characteristic 0 are computed. This is equivalent to the determination of the fine gradings on the…
Let $G$ be an adjoint algebraic group of type $B$, $C$, or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the Lie algebra of $G$. In particular, for orthogonal Lie algebras in…
We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type. When…
The problem of finding generators of the subalgebra of invariants under the action of a group of automorphisms of a finite dimensional Lie algebra on its universal enveloping algebra is reduced to finding homogeneous generators of the same…