[论文解读] Coprime graph of subgroups of a group

R. Rajkumar, P. Devi|arXiv (Cornell University)|Oct 1, 2015

Finite Group Theory Research参考文献 5被引用 4

一句话总结

本文引入了有限群 G 的互素子群图，记为 𝒫(G)，其中顶点为真子群，边连接阶互素的子群。本文证明 𝒫(G) 是弱 χ-完美图，确定其独立数、团数、色数、直径和围长，并对 𝒫(G) 为平面图、二分图或不含特定子图（如 K₁,₄ 或 K₂,₃）的群进行分类，表明 𝒫(G) 不可能是环图。

ABSTRACT

Let $G$ be a group. We define the coprime graph of subgroups of $G$, denoted by $\mathcal P(G)$, is a graph whose vertex set is the set of all proper subgroups of $G$, and two distinct vertices are adjacent if and only if the order of the corresponding subgroups are coprime. In this paper, we study some connections between algebraic properties of a group and graph theoretic properties of its coprime graph.

研究动机与目标

• 定义并研究子群的互素图，其中顶点为真子群，边连接阶互素的子群。
• 探究有限群的代数性质与其互素图的图论性质之间的相互作用。
• 对互素图连通、完全、二分、平面或不含特定子图（如 K₁,₄ 或 K₂,₃）的有限群进行分类。
• 确定互素图的关键不变量，包括独立数、团数、色数、直径和围长。
• 证明每个有限简单图都是 𝒫(ℤₙ) 的诱导子图（对某个 n），从而证明该构造在嵌入意义上的普遍性。

提出的方法

• 定义子群的互素图 𝒫(G)，其顶点集为 G 的所有真子群，边集由子群阶互素决定。
• 使用群论工具，如 Sylow 定理、小阶有限阿贝尔与非阿贝尔群的分类，以及子群格分析。
• 应用图论概念，包括 k-分图结构、独立数 α(G)、团数 ω(G)、色数 χ(G)、直径、围长和可平面性。
• 通过证明对所有有限群 G 都有 ω(𝒫(G)) = χ(𝒫(G))，证明 𝒫(G) 是弱 χ-完美图。
• 分析特定群族（如 p-群、阶为 p²q 的群、二面体群、交错群）以分类 𝒫(G) 为平面图或含禁止子图的情形。
• 证明对任意有限简单图 H，存在整数 n 使得 H 是 𝒫(ℤₙ) 的诱导子图，利用 ℤₙ 的丰富子群结构。

实验结果

研究问题

• RQ1 对哪些有限群 G，其子群的互素图 𝒫(G) 是连通、完全或二分图？
• RQ2 G 的代数结构与 𝒫(G) 的图论不变量（如独立数、团数、色数）之间有何关系？
• RQ3 哪些有限群的子群互素图是平面图、K₂,₃-自由或 K₁,₄-自由的？
• RQ4 是否每个有限简单图都能作为 𝒫(ℤₙ) 的某个 n 的诱导子图实现？其成立的条件是什么？
• RQ5 𝒫(G) 是否可能同构于一个环图？若不可能，原因是什么？

主要发现

• 互素图 𝒫(G) 是弱 χ-完美图，即对所有有限群 G 都有 ω(𝒫(G)) = χ(𝒫(G))。
• 对阶为 p₁^α₁⋯pₖ^αₖ 的群 G，图 𝒫(G) 是 k-分图，其分划对应于阶被不同素数整除的子群。
• 独立数 α(𝒫(G)) 是阶两两不互素的子群的最大数量，其上界由给定素数幂阶子群的数量决定。
• 𝒫(G) 是平面图当且仅当 G 是 p-群、阶为 p²q 且具有特定 Sylow 结构的群，或特定非交换群（如 D₁₂ 或 A₄）；但若 𝒫(G) 含有 K₃,₃ 或 K₂,₃ 作为子图，则非平面图。
• 𝒫(G) 不可能是环图，此结论由结构分析与围长论证支持。
• 每个有限简单图 H 都是 𝒫(ℤₙ) 的某个 n 的诱导子图，表明互素图构造对有限简单图具有普遍性。