[論文レビュー] 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-群であることを証明し、この群上の二項関係構造におけるカイリー同型性を確立している。シュール環理論とアーベル群上の $p$-S-環の分類を用いて、この群上の彩色カイリー図の任意の自己同型群が正則群作用と共轭であることを示し、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$ に対して二項関係構造におけるカイリー同型性（CI-性質）を確立すること。
• 初等的アーベル $p$-群および巡回群を超える CI-群の既知のクラスを拡張すること。
• 互いに素な位数の DCI-群の直積が、自身で DCI-群であるという予想を支持すること。
• この非可換的だがアーベル的な群構造上の彩色カイリー図の同型問題を解決すること。

提案手法

• 群 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 上の彩色カイリー図の自己同型群をシュール環理論を用いて分析すること。
• 文献に既知の分類結果を用いて、$\mathbb{Z}_p^3$ および $\mathbb{Z}_p^2$ 上の $p$-S-環を分類すること。
• 群が CI-性質を持つための基準である、自己同型群の $H$-正則部分群が $\mathrm{Aut}(\mathrm{Cay}(H,\mathfrak{S}))$ 内で $\hat{H}$ と共轭であることを用いること。
• 商構造 $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 位数が互いに素な $p$-群と $q$-群の直積は、両因子が CI-群である場合に CI-性質を保つか？
• RQ3 シュール環技法を用いて、混合素数位の非初等的アーベル群に対し CI-性質を検証できるか？
• RQ4 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ 上の S-環に課される構造的制約は、CI-性質を保証するものか？
• RQ5 $\star$-積による二つの CI-S-環の積が、自身で CI-S-環である条件は何か？

主な発見

• すべての異なる素数 $p$ と $q$ に対して、群 $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ は CI(2)-群である。これは、この群上のすべての彩色カイリー図が群の自己同型による同型に限ることを意味する。
• 証明は、彩色カイリー図の自己同型群の任意の $H$-正則部分群が正則群 $\hat{H}$ と共轭であることを示すことに依拠しており、これにより CI-基準を満たす。
• $\mathbb{Z}_p^3$ および $\mathbb{Z}_p^2$ 上の $p$-S-環の分類により、非 CI 構造が除外され、特に非最小性により $\mathfrak{B}_6$ が除外された。
• $P_1$ および $Q_1$ 上の S-環の $\star$-積構成は、両因子が CI であれば CI-性質を保ち、これが $H$ 上の全 S-環の構成に用いられた。
• $\overline{H} \cong C_p^3$ 上の S-環の自己同型群が基本集合に可約に作用することを示し、CI-性質に必要な共轭条件を満たすことが保証された。
• この結果は、互いに素な位数の DCI-群の積が DCI-群であるという予想を支持するが、ドボソンの反例により、一般の CI-群ではこの性質が成り立たないことが示された。