Abstract:Given a graph $G$, a subset $M$ of $V(G)$ is a module of $G$ if for each $v\in V(G)\setminus M$, $v$ is adjacent to all the elements of $M$ or to none of them. For instance, $V(G)$, $\emptyset$ and $\{v\}$ ($v\in V(G)$) are modules of $G$ called trivial. Given a graph $G$, $\omega_M(G)$ (respectively $\alpha_M(G)$) denotes the largest integer $m$ such that there is a module $M$ of $G$ which is a clique (respectively a stable) set in $G$ with $|M|=m$. A graph $G$ is prime if $|V(G)|\geq 4$ and if all its modules are trivial. The prime bound of $G$ is the smallest integer $p(G)$ such that there is a prime graph $H$ with $V(H)\supseteq V(G)$, $H[V(G)]=G$ and $|V(H)\setminus V(G)|=p(G)$. We establish the following. For every graph $G$ such that $\max(\alpha_M(G),\omega_M(G))\geq 2$ and $\log_2(\max(\alpha_M(G),\omega_M(G)))$ is not an integer, $p(G)=\lceil\log_2(\max(\alpha_M(G),\omega_M(G)))\rceil$. Then, we prove that for every graph $G$ such that $\max(\alpha_M(G),\omega_M(G))=2^k$ where $k\geq 1$, $p(G)=k$ or $k+1$. Moreover $p(G)=k+1$ if and only if $G$ or its complement admits $2^k$ isolated vertices. Lastly, we show that $p(G)=1$ for every non prime graph $G$ such that $|V(G)|\geq 4$ and $\alpha_M(G)=\omega_M(G)=1$.

Prime order element graph of a group

Classifying prime graphs of finite groups -- a methodical approach

Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

On the prime graph question for integral group rings of Conway simple groups

Some Properties of Order-Divisor Graphs of Finite Groups

Generalized non-coprime graphs of groups

Classification of the Prime Graphs of $\operatorname{Sz}(8)$-, $\operatorname{Sz}(32)$-, and $\operatorname{PSL}(2, 2^5)$-Solvable Groups

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

On prime Cayley graphs

On the connectivity of enhanced power graph of finite group

Elements of prime order in the upper central series of a group of prime-power order

Line graph characterization of the order supergraph of a finite group

Determination of the prime bound of a graph

Some Properties of Proper Power Graphs in Finite Abelian Groups

On a bipartite graph defined on groups

Some Simple Groups Which are Determined by Their Orders and Degree-Patterns

Prime Graphs and Exponential Composition of Species

The complement of enhanced power graph of a finite group

Super graphs on groups, II

An exact enumeration of vertex connectivity of the enhanced power graphs of finite nilpotent groups