arXiv++ Combinatorics

Let $L$ be a finite-dimensional Lie algebra over a field $F$. The comaximal graph $Γ(L)$ has as vertices the proper nonzero subalgebras of $L$, two of them adjacent whenever they generate $L$; its structure was previously classified for Lie algebras of dimension at most 3 over finite fields. Here we extend that work in two directions. First, we obtain explicit formulas for the number of triangles $t(Γ(L))$ for every three-dimensional Lie algebra over $\F_q$. Second, we extend the classification to several four-dimensional families over $\mathbb{F}_q$, the abelian, Heisenberg, and filiform algebras, and $\mathfrak{gl}_2(\F_q)$. We also relate graph-theoretic properties of $Γ(L)$, such as completeness and the role of the Frattini subalgebra, to structural properties of $L$, including supersolvability. These results yield new combinatorial invariants for finite-dimensional Lie algebras over finite fields.

In this paper, we introduce the comaximal graph $Γ(L)$ of a finite-dimensional Lie algebra $L$, whose vertices are the nontrivial proper Lie subalgebras of $L$ over a field $\mathbb{F}$, and two vertices $A$ and $B$ are adjacent if and only if $\langle A, B\rangle =L$. We establish general structural properties, including a characterization of isolated vertices via the Frattini subalgebra and a criterion for completeness in terms of $μ$-algebras. We classify $Γ(L)$ for all Lie algebras of dimension at most three over a finite field $\mathbb{F}_q$, providing an explicit description in each case. The resulting graphs exhibit a rich range of behaviors, depending on the structure of the derived algebra and the action of $\operatorname{ad}x$. For $L\cong \mathfrak{sl}_2(\mathbb{F}_q)$, we determine several graph invariants, including the degree sequence, clique number, chromatic number, domination number, diameter, and radius, and show that $Γ(L)$ is connected and non-planar. The graph contains a large clique formed by the nonsplit semisimple lines together with the Borel subalgebras, while the nilpotent and split semisimple lines have a more restricted adjacency structure governed by their containment in Borel subalgebras.

We introduce and investigate the solvable graph $Γ_\mathfrak{S}(L)$ of a finite-dimensional Lie algebra $L$ over a field $F$. The vertices are the elements outside the solvabilizer $\sol(L)$, and two vertices are adjacent whenever they generate a solvable subalgebra. After developing the basic properties of solvabilizers and $S$-Lie algebras, we establish divisibility conditions, coset decompositions, and degree constraints for solvable graphs. Explicit examples, such as $\mathfrak{sl}_2(\mathbb{F}_3)$, illustrate that solvable graphs may be non-connected, in sharp contrast with the group-theoretic setting. We further determine the degree sequences of $Γ_\mathfrak{S}(\mathfrak{gl}_2(\F_q))$ and $Γ_\mathfrak{S}(\mathfrak{sl}_2(\F_q))$, highlighting how spectral types of matrices dictate combinatorial patterns. An algorithmic framework based on GAP and SageMath is also provided for practical computations. Our results reveal both analogies and differences with the nilpotent graph of Lie algebras, and suggest that solvable graphs encode structural invariants in a genuinely new way. This work opens the door to a broader graphical approach to solvability in Lie theory.

Let $L$ be a finite-dimensional Lie algebra over a field $F$. In This paper we introduce the \emph{nilpotent graph} $Γ_\mathfrak{N}(L)$ as the graph whose vertices are the elements of $L \setminus \nil(L)$, where \[\nil(L) = \{x \in L \mid \langle x, y \rangle \text{ is nilpotent for all } y \in L\},\] and where two vertices $x, y$ are adjacent if the Lie subalgebra they generate is nilpotent. We give some characterizations of $\nil(L)$ and its connection with the hypercenter $Z^*(L)$, for example, they are equal when $F$ has characteristic zero. We prove that the nilpotentizer behaves well under direct sums, allowing a decomposition of $Γ_\mathfrak{N}(L)$ between components. The paper also investigates the structural and combinatorial properties of $Γ_\mathfrak{N}(L)$, including the conditions under which the graph is connected. We characterize the existence of strongly self-centralizing subalgebras in relation to connectivity and vertex isolation. Explicit computations are carried out for the algebra $\mathfrak{t}(2,\mathbb{F}_q)$, where $Γ_\mathfrak{N}(L)$ decomposes into $q+1$ components, each of size $q(q-1)$, forming a $(q^2-q-1)$-regular graph. We conclude with algorithms for constructing $Γ_\mathfrak{N}(L)$ in SageMath, and pose open problems concerning bipartiteness, regularity, and structural implications in higher dimensions over finite fields.

In this paper we construct, using GAP System for Computational Discrete Algebra, some cyclic subspace codes, specially an optimal code over the finite field F_{2^{10}}. Further we present a definition and an example of the $q$-analogous of a $m$-quasi-cyclic subspace code over F_{2^{8}}.