[论文解读] Finite groups whose commuting graphs are integral

Jutirekha Dutta, Rajat Kanti Nath|arXiv (Cornell University)|Apr 20, 2016

Finite Group Theory Research参考文献 8被引用 12

一句话总结

该论文证明了具有中心商同构于 $\mathbb{Z}_p \times \mathbb{Z}_p$ 或二面体群 $D_{2m}$ 的有限非交换群，其换乘图具有整数特征值，即其邻接矩阵的所有特征值均为整数。作者计算了这些图的精确谱，证明了此类群为换乘整图，并将该结果应用于分类 $4$-、$5$- 和 $(p+2)$-中心化子 $p$-群为换乘整图。

ABSTRACT

A finite non-abelian group $G$ is called commuting integral if the commuting graph of $G$ is integral. In this paper, we show that a finite group is commuting integral if its central factor is isomorphic to ${\mathbb{Z}}_p imes {\mathbb{Z}}_p$ or $D_{2m}$, where $p$ is any prime integer and $D_{2m}$ is the dihedral group of order $2m$.

研究动机与目标

• 确定哪些有限非交换群具有整数换乘图。
• 刻画中心商同构于 $\mathbb{Z}_p \times \mathbb{Z}_p$ 或 $D_{2m}$ 的群，并计算其换乘图的谱。
• 证明 $4$-、$5$- 和 $(p+2)$-中心化子 $p$-群为换乘整图。
• 将整图的概念扩展至有限群的换乘图，并探讨其结构含义。

提出的方法

• 使用群论分解方法，识别中心商同构于 $G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p$ 或 $D_{2m}$ 的群中非中心元素的中心化子。
• 根据这些中心化子的大小，将换乘图 $\Gamma_G$ 表示为完全图 $K_m$ 的不交并。
• 应用不交完全图并的已知谱公式，计算谱 $\operatorname{Spec}(\Gamma_G)$。
• 利用文献中关于 $n$-中心化子群的结果，对 $4$- 和 $5$-中心化子群进行分类。
• 利用同构 $G/Z(G) \cong D_{2m}$，通过中心化子的结构分析推导 $\Gamma_G$ 的谱。
• 通过其中心因子结构，对 $M_{2mn}$、$D_{2m}$、$Q_{4m}$ 和 $U_{6n}$ 等具体群验证结果。

实验结果

研究问题

• RQ1 哪些有限非交换群具有整数换乘图？
• RQ2 当 $G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p$ 时，换乘图的谱是什么？
• RQ3 在何种条件下，$4$- 或 $5$-中心化子群为换乘整图？
• RQ4 $G/Z(G) \cong D_{2m}$ 的结构如何影响 $\Gamma_G$ 的谱？
• RQ5 所有 $(p+2)$-中心化子 $p$-群是否都是换乘整图？

主要发现

• 对于满足 $G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p$ 的有限群 $G$，其 $\Gamma_G$ 的谱为 $\{(-1)^{(p^2-1)|Z(G)|-p-1}, ((p-1)|Z(G)|-1)^{p+1}\}$，证明了 $G$ 为换乘整图。
• 所有阶为 $p^3$ 的非交换群均为换乘整图，其谱为 $\{(-1)^{p^3-2p-1}, (p^2-p-1)^{p+1}\}$。
• 所有 $4$-中心化子有限群均为换乘整图，其谱为 $\{(-1)^{3(|Z(G)|-1)}, (|Z(G)|-1)^3\}$。
• 所有 $5$-中心化子有限群均为换乘整图，其谱取决于 $G/Z(G) \cong \mathbb{Z}_3 \times \mathbb{Z}_3$ 或 $D_6$，并产生整数特征值。
• 对于满足 $G/Z(G) \cong D_{2m}$ 的群 $G$，其谱为 $\{(-1)^{(2m-1)|Z(G)|-m-1}, (|Z(G)|-1)^m, ((m-1)|Z(G)|-1)^1\}$，确认了其整性。
• 具体群如 $M_{2mn}$、$D_{2m}$、$Q_{4m}$ 和 $U_{6n}$ 均为换乘整图，其谱基于其中心因子结构被显式计算。