Related papers: Algorithmic construction of Chevalley bases
We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley…
We present a quantum algorithm which identifies with certainty a hidden subgroup of an arbitrary finite group G in only a polynomial (in log |G|) number of calls to the oracle. This is exponentially better than the best classical algorithm.…
In a $n$-dimensional Lie algebra, random numerical values are assigned by computer to $n(n-1)$ especially selected structure constants. An algorithm is then created, which calculates without ambiguity the remaining constants, obeying the…
Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…
A finite semifield is a division algebra over a finite field where multiplication is not necessarily associative. We consider here the complexity of the multiplication in small semifields and finite field extensions. For this operation, the…
A constructive procedure is given to determine all ideals of a solvable Lie algebra. This is used in determining algorithmically all conjugacy classes of subalgebras of a given solvable Lie algebra.
Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family.…
The octonionic root system of the exceptional Lie algebra E_8 has been constructed from the quaternionic roots of F_4 using the Cayley-Dickson doubling procedure where the roots of E_7 correspond to the imaginary octonions. It is proven…
Recent work of Pickett has given a construction of self-dual normal bases for extensions of finite fields, whenever they exist. In this article we present these results in an explicit and constructive manner and apply them, through computer…
We introduce a new constructive recognition algorithm for finite special linear groups in their natural representation. Given a group $G$ generated by a set of $d\times d$ matrices over a finite field $\mathbb{F}_q$, known to be isomorphic…
In this paper I consider locally finite Lie algebras of characteristic zero satisfying the condition that for every finite number of elements $x_{1}, x_{2},..., x_{k}$ of such an algebra $L$ there is finite-dimensional subalgebra $A$ which…
Recursive algebraic construction of two infinite families of polynomials in $n$ variables is proposed as a uniform method applicable to every semisimple Lie group of rank $n$. Its result recognizes Chebyshev polynomials of the first and…
Let U(L) be the enveloping algebra of a finite dimensional Lie algebra L over a field k of characteristic zero, Z(U(L)) its center and Sz(U(L)) its semicenter. A sufficient condition is given in order for Sz(U(L)) to be a polynomial algebra…
A Lie superalgebra is attached to any finite-dimensional J-ternary algebra over an algebraically closed field of characteristic 3, using a process of semisimplification via tensor categories. Some of the exceptional simple Lie algebras,…
We give a method to obtain new 7-dimensional Lie algebras endowed with closed and coclosed G2-structures starting from 6-dimensional Lie algebras with symplectic half- at SU(3)-structures and half- at SU(3)- structures, respectively.…
In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various properties of finitely generated subsemigroups of an infinite…
We present a new proof of the classification of complex simple Lie algebras via the projective geometry of homogeneous varieties. Our proof proceeds by constructing homogeneous varieties using the ideals of the secant and tangential…
The computation of the cohomology for finite groups of Lie type in the describing characteristic is a challenging and difficult problem. In earlier work, the authors constructed an induction functor which takes modules over the finite group…
For a natural number $m$, a Lie algebra $L$ over a field $k$ is said to be of breadth type $(0, m)$ if the co-dimension of the centralizer of every non-central element is of dimension $m$. In this article, we classify finite dimensional…
Some features of Cayley algebras (or algebras of octonions) and their Lie algebras of derivations over fields of low characteristic are presented. More specifically, over fields of characteristic $7$, explicit embeddings of any twisted form…