arXiv++ Combinatorics

The Engel graph of a finite group $G$ is a directed graph encoding the pairs of elements in $G$ satisfying some Engel word. Recent work of Lucchini and the third author shows that, except for a few well-understood cases, the Engel graphs of almost simple groups are strongly connected. In this paper, we give a refinement to this analysis.

The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We find a relation between this function and the Euler characteristic of two simplicial complexes $Δ_1$ and $Δ_2$, the former raising from the lattice of the subspaces of $V$, the latter from the subgroup lattice of $G$.