关于群的共轭类图中的禁用子图

Forbidden subgraphs on conjugacy class graphs of groups

摘要 Abstract

设$G$为有限群。"交换/幂零/可解共轭类图" ($\Gamma_{CCC}(G)$, $\Gamma_{NCC}(G)$ 或 $\Gamma_{SCC}(G)$) 是一个简单图,其顶点集由$G$的所有非中心共轭类组成。两个顶点$x^G$和$y^G$相邻当且仅当存在元素$a \in x^G$和$b \in y^G$,使得$\langle a, b \rangle$分别构成$G$的一个交换、幂零或可解子群。\par 本文主要研究在$\Gamma_{CCC}(G)$/$\Gamma_{NCC}(G)$/$\Gamma_{SCC}(G)$中基于禁用诱导子图的cographs(无$P_4$)、弦图(无$C_n$,$\forall n\geq 4$)、分裂图(不含同构于$C_4$、$C_5$和$2K_2$的诱导子图)、阈值图(不含同构于$P_4$、$C_4$、$C_5$和$2K_2$的诱导子图)以及爪形图(不含具有三个两两不相邻邻居的顶点)。\par 我们对EPPO群、阶数为$pq$的群以及幂零群提供了这些性质的完整分类。此外,我们刻画了对称群和交错群的交换共轭类图的诱导子图。对于如二面体群、双循环群和广义二面体群这样的可解群,我们得到了完整的结果。此外,我们完全刻画了Mathieu群$M_{11}$、$M_{12}$和$M_{22}$以及某些极小单群(如Suzuki群和$\mathrm{PSL}(3,3)$)的图。对于其他极小单群,如$\mathrm{PSL}(2,2^p)$、$\mathrm{PSL}(2,3^p)$和$\mathrm{PSL}(2,p)$(其中$p > 3$且$5 \mid p^2 + 1$),我们证明了可解共轭类图始终是一个cograph。最后,我们提出了几个开放问题,指出了该领域进一步研究的方向。

Let $G$ be a finite group. The \textit{commuting/nilpotent/solvable conjugacy class graph} ($\Gamma_{CCC}(G)$, $\Gamma_{NCC}(G)$, or $\Gamma_{SCC}(G)$) is a simple graph whose vertex set consists of all non-central conjugacy classes of $G$. Two vertices $x^G$ and $y^G$ are adjacent if and only if there exist elements $a \in x^G$ and $b \in y^G$ such that $\langle a, b \rangle$ forms an abelian, nilpotent, or solvable subgroup of $G$, respectively.\par In this paper, we mainly investigate cographs (it is $P_4$-free), chordal graphs (it is $C_n$-free $\forall \ n\ge 4$ ), split graphs (it contains no induced subgraph isomorphic to $C_4,\ C_5$, and $2K_2$), threshold graphs (it contains no induced subgraph isomorphic to $P_4$, $C_4,\ C_5$, and $2K_2$), and claw-free graphs (it contains no vertex with three pairwise non-adjacent neighbours) in terms of forbidden induced subgraphs in $\Gamma_{CCC}(G)$/ $\Gamma_{NCC}(G)$/$\Gamma_{SCC}(G)$.\par We provide a complete classification of these properties for EPPO groups, groups of order $pq$, and nilpotent groups. Additionally, we characterize the induced subgraphs in the commuting conjugacy class graph for symmetric and alternating groups. For solvable groups such as dihedral, dicyclic, and generalized dihedral groups, we establish complete results. Moreover, we fully characterize the graphs for the Mathieu groups $M_{11}$, $M_{12}$, and $M_{22}$, as well as certain minimal simple groups such as Suzuki groups and $\mathrm{PSL}(3,3)$. For other minimal simple groups, such as $\mathrm{PSL}(2,2^p)$, $\mathrm{PSL}(2,3^p)$, and $\mathrm{PSL}(2,p)$ (where $p > 3$ and $5 \mid p^2 + 1$), we demonstrate that the solvable conjugacy class graph is always a cograph. Finally, we present several open problems, highlighting further directions for research in this area.