arXiv++ Combinatorics

In this paper, we investigate the edge-coloring number of various graphs defined on finite groups. We notably show that the power graph of a finite group $G$ is overfull if and only if the power graph of $G$ is of Class $2$ (has edge-coloring number one more than its maximum vertex degree) if and only if $G$ is a cyclic group of odd prime power order. We find the equivalent necessary and sufficient conditions to be Class $2$ for the intersection power graph and enhanced power graph (respectively cyclic of odd prime power order, and cyclic of odd order), and investigate the situation for the proper power graph. Finally, we give conditions for the power graph of a finite group to have the universal edge pre-coloring extension property: every optimal coloring of the power graph extending to another graph without modifying the existing colors (the enhanced power graph in our case).