On the order supergraph of the power graph of a finite group (Q6060383)

The order supergraph \(S_G\) of a finite group \(G\) is an undirected graph with vertex set \(G\), where two distinct vertices \(x\), \(y\) are adjacent if \(o(x)|o(y)\) or \(o(y)|o(x)\), where \(o(x)\) denotes the order of the element \(x\). The paper characterizes the structure and the independent number of the order supergraph of a finite group. The authors compute the independent number of \(S_G\) for a cyclic group, a dihedral group, and a generalized quaternion group. Furthermore, they give a necessary and sufficient condition for the equation \(\alpha(S_G) = |\pi(G)|\) to hold (where \(\pi(G)\) denotes the set of all prime factors of \(|G|\)). Finally, they classify all finite groups \(G\) satisfying the equation \(\alpha(S_G) = |\pi(G)|\) in case \(G\) is a cyclic group, a dihedral group, a generalized quaternion group, an abelian group, a symmetric group, an alternating group, or a sporadic group.