[论文解读] The Cayley isomorphism property for $\mathbb{Z}_p^3 imes \mathbb{Z}_q$

Mikhail Muzychuk, Gábor Somlai|arXiv (Cornell University)|Jul 8, 2019

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

一句话总结

本文证明了对所有不同的素数 $p$ 和 $q$，群 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 是一个 CI-群，确立了该群上二元关系结构的Cayley同构性质。通过施鲁尔环理论及阿贝尔群上 $p$-S-环的分类，作者证明了该群上任意着色Cayley图的自同构群均共轭于正则群作用，从而确认了CI(2)-性质。

ABSTRACT

For every pair of distinct primes $p$, $q$ we prove that $\mathbb{Z}_p^3 imes \mathbb{Z}_q$ is a CI-group with respect to binary relational structures.

研究动机与目标

• 确立群 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 关于二元关系结构的Cayley同构性质（CI-性质）。
• 将已知的CI-群类扩展至初等阿贝尔 $p$-群与循环群之外的群类。
• 支持如下猜想：阶互素的DCI-群的直积本身也是一个DCI-群。
• 解决该非阿贝尔型但为阿贝尔群结构的着色Cayley图的同构问题。

提出的方法

• 运用施鲁尔环理论分析 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 上着色Cayley图的自同构群。
• 利用文献中已知的分类结果，对 $\mathbb{Z}_p^3$ 和 $\mathbb{Z}_p^2$ 上的 $p$-S-环进行分类。
• 使用如下准则：若群的自同构群中每个 $H$-正则子群在 $\mathrm{Aut}(\mathrm{Cay}(H,\mathfrak{S}))$ 中均共轭于 $\hat{H}$，则该群具有CI-性质。
• 通过分析商结构 $H/P_1$ 和 $H/Q_1$，将问题约化为更小的CI-群。
• 应用S-环积与 $\star$-积构造定理，将子群上的CI-性质提升至全群。
• 通过自同构群的约束条件与群作用的极小性条件，排除非CI的S-环结构。

实验结果

研究问题

• RQ1 对所有不同的素数 $p$ 和 $q$，$\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 是否为一个CI-群？
• RQ2 当两个因子均为CI-群时，阶互素的 $p$-群与 $q$-群的直积是否保持CI-性质？
• RQ3 施鲁尔环技术能否用于验证混合素数阶的非初等阿贝尔群的CI-性质？
• RQ4 在 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 上，S-环的哪些结构约束可确保CI-性质？
• RQ5 在何种条件下，两个CI-S-环的 $\star$-积本身仍为CI-S-环？

主要发现

• 对所有不同的素数 $p$ 和 $q$，群 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 是一个CI(2)-群，即其上任意着色Cayley图仅能通过群自同构实现同构。
• 证明的关键在于：对于 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 上着色Cayley图的自同构群，其每个 $H$-正则子群均共轭于正则群 $\hat{H}$，从而满足CI-准则。
• $\mathbb{Z}_p^3$ 和 $\mathbb{Z}_p^2$ 上 $p$-S-环的分类可排除非CI结构，特别是通过非极小性排除了 $\mathfrak{B}_6$。
• 当两个因子均为CI-群时，$P_1$ 与 $Q_1$ 上S-环的 $\star$-积构造可保持CI-性质，该方法被用于构建 $H$ 上的完整S-环。
• 证明了 $\overline{H} \cong C_p^3$ 上S-环的自同构群在基集上作用传递，从而确保CI-性质所需的共轭条件。
• 该结果支持如下猜想：阶互素的DCI-群的直积本身是DCI-群，尽管Dobson已证明该结论对一般CI-群不成立。