Search arXiv⌕ Search

arXiv · 2610.35537

2-generation of Chevalley Lie algebras over finite fields

Abstract

In this article, we prove that every split simple Chevalley Lie algebra over a finite field of characteristic $p\neq 2$ of classical types $B_n$, $C_n$, and $D_n$, and exceptional types $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$, is $2$-generated. Combined with the result of Cantor, Jezernik, and Zozaya for the classical type $A_n$ [Two-generation of traceless matrices over finite fields, Linear Algebra Appl. (2025)], this establishes $2$-generation for all split simple Chevalley Lie algebras over finite fields of characteristic $p\neq 2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ram Karan Choudhary, Harish Kishnani, Anupam Singh. 2026-10-26. 2-generation of Chevalley Lie algebras over finite fields. https://arxiv.org/abs/2610.35537

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hyper-dual group inverse: existence, characterizations, and applications

Motivated by the recent work of Xiao and Zhong [AIMS Math. 9 (2024), 35125--35150: MR4840882], we propose a generalized inverse for a hyper-dual matrix called hyper-dual group generalized inverse (HDGGI). Firstly, we characterize the existence of the HDGGI of a hyper-dual matrix and we show that it is unique, whenever exists. The HDGGI is then used to solve a linear hyper-dual system. We discuss the minimal $P$-norm least-squares properties of hyper-dual group inverse. We also exploit some sufficient conditions under which the reverse and forward-order laws for a particular form of the HDGGI and hyper-dual Moore-Penrose generalized inverse (HDMPGI) hold. Using the definition of dual matrix of order $n$, we finally establish necessary and sufficient condition for the existence of the group inverse of a dual matrix of order $n$.

math.RA↗

Generating pairs in $\mathfrak g_2$ related by an involution

Let $\mathbb O$ be the real octonion division algebra, let $\mathfrak g_2=\operatorname{Der}(\mathbb O)$, and fix a quaternionic subalgebra $H\subset\mathbb O$. We ask when an element $Z$ preserving $H$ and its conjugate $TZT^{-1}$ generate $\mathfrak g_2$, where $T$ is a prescribed involutive octonion automorphism. We prove that such a $Z$ exists if and only if $T(H)\ne H$. Moreover, a fixed set of six derivations preserving $H$ contains a generating choice for every such $T$. For an arbitrary $Z\in\mathfrak g_2$, we construct a polynomial criterion with two factors: one detects reducibility on the imaginary octonions, and the other detects generated algebras of dimension at most three. An irreducible proper generated algebra must be a principal $\mathfrak{su}(2)$. We characterize the elements admitting this case by their rotation frequencies and parametrize all corresponding involutions. For one specified involution and quaternionic subalgebra $H$, we describe the nongenerating set by four geometric families and six irredundant systems of scalar equations, and prove that it has real dimension four.

math.RA↗

Classification of Finite-Dimensional Simple Novikov Algebras and Their Irreducible Bimodules in Positive Characteristic

We give a complete classification of finite-dimensional simple Novikov algebras over an algebraically closed field of characteristic $p>2$, including families missing from earlier classifications in \cite{Osborn1992, Xu1996}. We determine explicit normal forms and all isomorphisms between them, and classify all nontrivial irreducible bimodules over these algebras.

math.RA↗