[论文解读] Embeddings of (proper) power graphs of finite groups

Alireza Doostabadi, Mohammad Farrokhi Derakhshandeh Ghouchan|arXiv (Cornell University)|Feb 6, 2014

Finite Group Theory Research参考文献 11被引用 7

一句话总结

本文分类了其（真）幂图具有平面图、外平面图、环图、1-平面图、近乎平面图、最大平面图、环面上图或射影平面上图的有限群。研究发现，这些图的平面性取决于群中元素阶的集合，且给出了精确刻画：例如，当且仅当所有元素阶属于{1,2,3,4,5,6}时，真幂图是平面图；当且仅当所有元素阶属于{1,2,3,4}时，完整幂图是平面图。射影平面情形被完全刻画，共包含六种特定群，包括Z₅、D₁₀和Frobenius群。

ABSTRACT

The (proper) power graph of a group is a graph whose vertex set is the set of all (nontrivial) elements of the group and two distinct vertices are adjacent if one is a power of the other. Various kinds of planarity of (proper) power graphs of groups are discussed.

研究动机与目标

• 分类所有其（真）幂图为平面图、外平面图、环图、1-平面图、近乎平面图、最大平面图、环面上图或射影平面上图的有限群。
• 确定有限群G的结构条件，使其（真）幂图可嵌入于特定曲面或满足特定拓扑图性质。
• 刻画其（真）幂图避免禁止子图（如K₅、K₃,₃）或具有特定环结构的群。
• 建立关于元素阶集合ω(G)的精确条件，以决定（真）幂图的拓扑可嵌入性。
• 通过识别所有存在此类嵌入的有限群，解决（真）幂图在射影平面上的可嵌入性问题。

提出的方法

• 使用Kuratowski定理，通过禁止子图K₅和K₃,₃来刻画平面性。
• 将元素阶集合ω(G)作为决定可嵌入性的核心不变量：例如，完整幂图为平面图当且仅当ω(G) ⊆ {1,2,3,4}。
• 运用图论性质，如环秩、本原环性质（PCP）以及色数/星色数，分析结构约束。
• 利用群论工具：Frobenius群结构、正规化子与中心化子分析（如C_G(x) = ⟨x⟩），以及自同构群作用，以约束群的结构。
• 利用射影平面上已知的不可约图列表（共103个）来检验不可嵌入性，特别是针对K₅·K₅和2K₅子图。
• 通过GAP进行计算验证，排除具有特定子群结构（如两个6阶循环子群）的群的存在性。

实验结果

研究问题

• RQ1 哪些有限群具有平面（真）幂图？其元素阶需满足什么条件？
• RQ2 哪些有限群具有射影（真）幂图？如何对其进行唯一刻画？
• RQ3 ω(G)需满足何种必要且充分条件，才能使（真）幂图为外平面图、1-平面图或最大平面图？
• RQ4 当图中存在K₅·K₅或2K₆等子图时，如何影响（真）幂图在射影平面上的可嵌入性？
• RQ5 当（真）幂图为环面上图或具有1-平面嵌入时，群G会引发何种结构约束？

主要发现

• 完整幂图P(G)是平面图当且仅当ω(G) ⊆ {1,2,3,4}，由定理2.1确立。
• 真幂图P*(G)是平面图当且仅当ω(G) ⊆ {1,2,3,4,5,6}，由定理2.2所示。
• 真幂图P*(G)是射影图当且仅当G同构于Z₇、D₁₄、Z₇⋊Z₃或Z₇⋊Z₆，依定理4.2。
• 完整幂图P(G)是射影图当且仅当G同构于Z₅、Z₆、D₁₀、D₁₂、Z₃⋊Z₄或Z₅⋊F Z₄，如定理4.1所述。
• 对于元素阶属于{1,2,3,4,5,6}的群，其真幂图为至多共用一条边的完全图与友谊图的并集，从而保证平面性。
• 对于任意具有平面（真）幂图的群，其色数χ(P*(G))等于星色数χₛ(P*(G))，如推论2.3所示。