若干亚循环群的 D(2) 性质

我们研究类型为 $G(p,p-1)$ 的亚循环群（其中 $p$ 为奇素数）与 D(2) 问题相关的问题。具体而言，我们基于 Nadim 的学位论文 \cite{Jamil} 展开工作，该论文证明了 $\mathbb{Z}[G(5,4)]$-模 $\mathbb{Z}$ 容许一个对角分解，且第三合冲 $\Omega_3(\mathbb{Z})$ 的一个极小代表为 $R(2)\oplus[y-1)$。受此结果启发，我们证明对任意奇素数 $p$，$\mathbb{Z}[G(p,p-1)]$-模 $R(2)\oplus[y-1)$ 既是满的又是直的。鉴于 Johnson 关于 D(2) 问题的工作 \cite{D2}，这导出结论：$G(5,4)$ 满足 D(2) 性质，并为 $G(p,p-1)$ 满足 D(2) 性质提供了一个充分条件，即条件 $R(2)\oplus[y-1)$ 是 $\mathbb{Z}[G(p,p-1)]$ 上 $\Omega_3(\mathbb{Z})$ 的极小代表，我们称之为条件 M(p)。在此结果之后，我们证明了一个定理，简化了验证条件 M(p) 成立所需的计算。最后，我们在 $p=7$ 的情形下执行这些计算，并证明条件 M(7) 成立，这足以说明 $G(7,6)$ 满足 D(2) 性质。