Labani Sarkar | arXiv Science

arXiv2026

On Connectivity of Comaximal Subgroup Graph

The co-maximal subgroup graph $\Gamma(G)$ of a finite group $G$ is defined to be a graph with the set of all non-trivial proper subgroups of $G$ as the set of vertices and two distinct vertices $H$ and $K$ are adjacent if and only if $HK=G$. The deleted co-maximal subgroup graph of $G$, denoted by $\Gamma^*(G)$, is defined as the graph obtained by removing the isolated vertices from $\Gamma(G)$. In this paper, we prove that for any finite group $G$, $\Gamma^*(G)$ is connected. Furthermore, we show that $\Gamma^*(G)$ either contains a cycle or is a star. When $\Gamma^*(G)$ contains a cycle, its girth is either $3$ or $4$. Finally, we classify all finite groups $G$ for which $\Gamma^*(G)$ is a star.

math.GR↗

arXiv2025

The Difference Subgroup Graph of a Finite Group

The \emph{difference subgroup graph} $D(G)$ of a finite group $G$ is defined as the graph whose vertices are the non-trivial proper subgroups of $G$, with two distinct vertices $H$ and $K$ adjacent if and only if $\langle H, K \rangle = G$ but $HK \ne G$. This graph arises naturally as the difference between the join graph $\Delta(G)$ and the comaximal subgroup graph $\Gamma(G)$. In this paper, we initiate a systematic study of $D(G)$ and its reduced version $D^*(G)$, obtained by removing isolated vertices. We establish several fundamental structural properties of these graphs, including conditions for connectivity, forbidden subgraph characterizations, and the relationship between graph parameters - such as independence number, clique number, and girth - and the solvability or nilpotency of the underlying group. The paper concludes with a discussion of open problems and potential directions for future research.

math.GR↗