---
title: Enhanced Power Graphs in Finite Group Theory
url: https://www.emergentmind.com/topics/enhanced-power-graph
type: topic
---

# Enhanced Power Graphs in Finite Group Theory

An enhanced power graph is a simple undirected graph associated with a group or semigroup, defined by cyclic-generation relations among the algebraic structure's elements. For a finite group $G$, the enhanced power graph $\mathcal{G}_e(G)$ (also denoted as $\mathcal{P}_e(G)$ or $\mathcal{E}(G)$) encodes the adjacency structure where two distinct elements $x, y \in G$ are joined by an edge if and only if $\langle x, y\rangle$ is a cyclic subgroup. Enhanced power graphs interpolate between the power graph (adjacency via power relation) and the commuting graph (adjacency via commutativity), and their detailed study connects group theory with structural graph theory, revealing precise correspondences between subgroup/element behavior and forbidden subgraph characterizations, automorphism structures, connectivity, and spectral graph invariants.

## 1. Definition and Core Properties

Let $G$ be a finite group. The **enhanced power graph** $\mathcal{G}_e(G)$ has:
- Vertex set: $V = G$
- Edge set: $\{x,y\} \in E$ if and only if $x \ne y$ and $\langle x, y\rangle$ is cyclic (i.e., $\exists z \in G$ such that $x, y \in \langle z\rangle$).

This definition naturally generalizes to infinite groups and to semigroups, where the adjacency is via inclusion in a monogenic or cyclic subsemigroup. The enhanced power graph always contains the power graph $\mathcal{G}(G)$ as a spanning subgraph and is always contained in the commuting graph $\mathcal{C}(G)$:
\[
\mathcal{G}(G) \subseteq \mathcal{G}_e(G) \subseteq \mathcal{C}(G)
\]
In the case of finite groups, the chain of inclusions is strict except under classical group-theoretic constraints [1603.04337, 2410.10401].

The enhanced power graph is complete if and only if $G$ is cyclic [1606.03209]. It is connected for all finite groups, and its diameter is always at most two for nontrivial $G$ [2001.08932].

## 2. Structural Decomposition and Isomorphism Theorems

For finite nilpotent groups, the enhanced power graph admits a canonical decomposition in terms of the Sylow $p$-subgroups. The main **decomposition theorem** states:
\[
\mathcal{G}_e(G) \cong \boxtimes_p \mathcal{G}_e(G_p)
\]
where $G_p$ are the Sylow $p$-subgroups and $\boxtimes$ is the strong graph product [1810.07627, 2503.14722, 2207.05075]. For two finite nilpotent groups $G, H$, an isomorphism of their enhanced power graphs occurs if and only if their respective $p$-Sylow enhanced power graphs are isomorphic for every $p$.

This splitting property underpins classification results—specifically, the precise characterization of when the enhanced power graph is a **complete group invariant** within the nilpotent class. For example, for $G = Q_8 \times \mathbb{Z}_n$ ($n$ odd), the enhanced power graph uniquely determines $G$ among all finite groups [2503.14722].

For finite abelian $p$-groups, enhanced power graphs are completely captured by the structure of a $p$-semitree, and the entire graph is a strong product of these semitree factors [1810.07627].

## 3. Forbidden Subgraph Characterization and Graph-Theoretic Classes

Enhanced power graphs realize several well-studied graph-theoretic structures depending on the group:

- **Split/Threshold Graphs:** $\mathcal{G}_e(G)$ is split or threshold if and only if $G$ is cyclic, dihedral, or elementary abelian 2-group [2104.04754].
- **Cographs/Chordal Graphs:** For finite nilpotent groups, $\mathcal{G}_e(G)$ is a cograph/chordal iff $G$ has at most one non-cyclic Sylow subgroup. The only minimal forbidden subgraphs are $P_4$ and $C_4$ in this class [2104.04754, 2510.18073].
- **Diamond-Free (Block) Graphs:** $\mathcal{G}_e(G)$ is diamond-free (hence a block graph) exactly if every nontrivial cyclic subgroup lies in a unique maximal cyclic subgroup [2510.18073].
- **Quasi-threshold Graphs:** For enhanced power graphs, quasi-threshold is equivalent to the cograph property [2510.18073].

Simplicial vertices (vertices whose closed neighborhoods are cliques) correspond exactly to elements in unique maximal cyclic subgroups, and their structure is critical in cotree and elimination arguments for cograph and chordal status [2510.18073].

## 4. Invariants and Extremal Properties

A variety of classical graph invariants are available in closed form:

- **Minimum degree**: $\delta(\mathcal{G}_e(G))$ is the minimal $|M|-1$ over all maximal cyclic subgroups $M$ of $G$ [2001.08932, 2207.05075].
- **Connectivity**: For non-cyclic abelian $p$-groups, the vertex-connectivity is $1$; for non-cyclic abelian groups with at least two distinct Sylow primes, $\kappa \ge 2$ [2007.03217]. For nilpotent groups with a unique non-cyclic Sylow, the minimal vertex-cut is precisely the product of the remaining cyclic Sylows [2207.05075].
- **Independence number**: $\alpha(\mathcal{G}_e(G))$ equals the number of maximal cyclic subgroups [2001.08932].
- **Matching, vertex/edge cover**: Exact relations available for several classes through matching and Gallai identities [2001.08932].
- **Strong regularity**: The proper enhanced power graph is strongly regular if and only if $G$ is cyclic or all maximal cyclic subgroups have the same order $m$ and meet trivially outside the identity [2207.05075].
- **Rainbow connection number**: Depends on the independence cyclic number ($\icn(G)$) and the arrangement (awning) of intersections among cyclic subgroups [1708.07598].
- **$L(2,1)$-labeling $\lambda$-number**: For nontrivial non-cyclic simple groups of order $n$, $\lambda(\mathcal{G}_e(G)) = n$. For nilpotent $G$, $\lambda$ is tied closely to the number of dominating vertices plus $|G|$ [2208.00611].

Graph parameters such as the **Wiener index** attain sharp bounds precisely when $G$ is cyclic (lower bound) or all cyclic subgroups have minimal order (upper bound); see [2207.05075].

Spectra and eigenvalues for the distance and Laplacian matrices are available for classes such as dihedral, dicyclic, elementary abelian, and semidihedral groups, revealing multipartition and product structure [2304.04288, 2108.13006].

## 5. Enhanced Power Graphs and Group Reconstruction

Inverse and recognition problems have been explored:

- **Graph Isomorphism Invariance**: For finite groups, the isomorphism types of directed power, (undirected) power, and enhanced power graphs coincide [1810.07627, 2012.02851].
- **Group Determination**: For many small finite nilpotent groups, the enhanced power graph suffices to recover the group uniquely. However, non-isomorphic groups can share the same enhanced power graph, especially when their non-cyclic Sylows are of higher rank (see the non-abelian/abelian order $27$ example) [2503.14722].
- **Reconstruction Algorithm**: There is an explicit algorithm to reconstruct the enhanced power graph solely from the power graph, using a closed-twin counting function $f$ reflecting cyclic subgroup structure [2510.25403]. Monotonicity of $f$ on the poset of cyclic subgroups underpins the combinatorial recovery (see table below).

| Algorithm Step         | Description                                                             |
|-----------------------|-------------------------------------------------------------------------|
| Power graph $X$ given | Compute all closed-twin functions $f(a)$                                |
| Non-adjacent pairs    | Add edge $\{a,b\}$ in enhanced graph if $f$ and common neighbor criteria satisfied |
| Complete/Universal    | Special handling for cyclic/complete graphs                             |

This algorithm is canonical and operates group-independently in the finite case.

## 6. Extensions, Generalizations, and Open Problems

Several directions expand the theory and pose ongoing questions:

- **Automorphism-Orbit Enhanced Graphs**: One may generalize the enhanced power graph by identifying elements via orbits under a subgroup $A \leq \operatorname{Aut}(G)$, obtaining a quotient graph whose connectivity and diameter closely shadow the classical case, but for which completeness and emptiness criteria shift [2502.15967].
- **Semigroup Theory**: The enhanced power graph extends to semigroups, with characterizations for completeness, bipartiteness, regularity, tree/null structure, and planarity sharp in this wider setting [2107.11793].
- **Geometric and Spectral Features**: Metric dimension, resolving polynomials, and detour eccentricities can be computed for enhanced power graphs of notable non-abelian families, often reflecting the cyclic clustering of group elements [2108.13006].
- **Extremal and Forbidden Substructures**: Exact values for maximal neighborhood size in $p$-groups and their characterizations in terms of group structure are known, with sharp lower bounds on neighborhood size and associated group-theoretic classifications [2408.16545].
- **Open Problems**: Full classification of finite groups with perfect enhanced power graphs remains open, especially for large alternating and simple groups and beyond two-prime nilpotency [2012.02851]. There are unresolved questions on the precise impact of automorphism group choices in the orbit-graph setting, the extent of the cograph property in simple groups, and the universality of the cograph property inheritance from the power graph [2510.18073, 2502.15967].

## 7. Classification of Group Classes by Enhanced Power Graph Properties

A variety of group-theoretic properties correspond precisely to graph-theoretic signatures in the enhanced power graph, summarized:

| Graph Property      | Exact Group-Theoretic Criterion                                  | Key References     |
|---------------------|-------------------------------------------------------------------|--------------------|
| Complete            | $G$ cyclic                                                        | [1606.03209]       |
| Eulerian            | $|G|$ odd                                                         | [1606.03209]       |
| Split/threshold     | $G$ cyclic, dihedral, or elementary abelian 2-group               | [2104.04754]       |
| Cograph / Chordal   | At most one non-cyclic Sylow subgroup                             | [2104.04754, 2510.18073] |
| Diamond-free/block  | Each nontrivial cyclic subgroup lies in a unique maximal cyclic   | [2510.18073]       |
| Perfect             | At most two non-cyclic Sylow subgroups (nilpotent case)           | [1810.07627, 2012.02851] |
| Cone property       | Non-identity cone exists iff a cyclic Sylow or quaternion group   | [1606.03209]       |
| Planarity           | All element orders $\le 4$                                        | [1606.03209, 2107.11793] |
| Connectivity $=1$   | Non-cyclic abelian $p$-group                                      | [2007.03217]       |

These exact correspondences enable immediate read-off of group algebraic properties from enhanced graph structure, and vice versa.

---

Through precise encoding of cyclic-generation relations, the enhanced power graph serves as a graph-theoretic invariant with rich algebraic and combinatorial content. Its systematic study sharpens the distinction between various classes of groups, pinpoints graph invariants with algebraic meaning, and provides a setting where the interface of group and graph theory is especially transparent and tractable [2503.14722, 1810.07627, 2104.04754, 2510.18073, 1606.03209].

Source: https://www.emergentmind.com/topics/enhanced-power-graph