arXiv++ Combinatorics

For a finite group $G$, the coprime graph $Γ(G)$ of $G$ is a graph with vertex set $G$, in which two distinct vertices $a$ and $b$ are adjacent if the order of $a$ and the order of $b$ are coprime. In this paper, we first give a characterization for which generalized lexicographic products are divisor graphs. As applications, we show that every of power graph, reduced power graph and order graph is a divisor graph, which also implies the main result in [N. Takshak, A. Sehgal, A. Malik, Power graph of a finite group is always divisor graph, Asian-Eur. J. Math. 16 (2023), ID: 2250236]. Then, we prove that the coprime graph of a group is a generalized lexicographic product, and give two characterizations for which coprime graphs are divisor graphs. We also describe the groups $G$ with $|π(G)|\le 4$, whose coprime graph is a divisor graph. Finally, we classify the finite groups $G$ so that $Γ(G)$ is a divisor graph if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.

Given a finite group $G$ with identity $e$ and a normal subgroup $H$ of $G$, the subgroup sum graph $Γ_{G,H}$ (resp. extended subgroup sum graph $Γ_{G,H}^+$) of $G$ with respect to $H$ is the graph with vertex set $G$, in which distinct vertices $x$ and $y$ are adjacent whenever $xy\in H\setminus \{e\}$ (resp. $xy\in H$). A group $G$ is said to be {\em code-perfect} if for any normal subgroup $H$ of $G$, $Γ_{G,H}$ admits a perfect code. In this paper, we give a necessary and sufficient condition for which normal subgroups $H$ of $G$ satisfy that a (extended) subgroup sum graph of $G$ with respect to $H$ admits a (total) perfect code, and classify all code-perfect Dedekind groups. As an application, we classify all normal subgroups such that the subgroup sum graph of a cyclic group, a dihedral group or a dicyclic group with respect to such a normal subgroup admits perfect codes, respectively. We also determine all abelian groups $A$ and subgroups $H$ of $A$ such that $Γ_{A,H}$ admits a total perfect code.

Let $G$ be a finite group. The order supergraph of $G$ is the graph with vertex set $G$, and two distinct vertices $x,y$ are adjacent if $o(x)\mid o(y)$ or $o(y)\mid o(x)$. The enhanced power graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices are adjacent if they generate a cyclic subgroup. The reduced power graph of $G$ is the graph with vertex set $G$, and two distinct vertices $x,y$ are adjacent if $\langle x\rangle \subset \langle y\rangle$ or $\langle y\rangle \subset \langle x\rangle$. In this paper, we characterize the strong metric dimension of the order supergraph, the enhanced power graph and the reduced power graph of a finite group.