[论文解读] Expansions of the group $Z_8$ (Part I)

Miroslav Ploščica, Radka Schwartzová+1 more|arXiv (Cornell University)|Jan 23, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文分析了 Z_8 的群多项式与环多项式克隆之间的克隆，给出区间 J_8 的部分描述并聚焦于偶非线性系数的完全可整除多项式。

ABSTRACT

We investigate clones in the interval between the group polynomials and the ring polynomials of ${\mathbb Z}_8$. This is the simplest open case of the problem, as the answer is known for ${\mathbb Z}_{p^2}$ (with $p$ prime) and, in general, ${\mathbb Z}_n$ reduces to the case when $n$ is a prime power. The investigated structure proves to be very complicated, so we provide only a partial description. We restrict our attention to polynomials whose nonlinear monomials have even coefficients.

研究动机与目标

• 研究 Z_n 的群多项式克隆与环多项式克隆之间的区间 J_n，先从 n=8 开始，以理解多项式克隆的格结构。
• 通过分解方法将问题化简为素幂，从而实现对 Z_8 及其组成分量的分析。
• 描述由非线性单项式系数为偶数的环多项式所组成的子结构 M_1 克隆。
• 通过在 M_1 克隆内详细给出生成元和关系，为 J_8 提供部分格描述。

提出的方法

• 表征 Z_8 中的多项式运算及其完全可整除分量。
• 使用莫比乌斯变换和基 g^A 来研究 2^k-元关系及保持性。
• 建立“偶系数的完全可整除多项式”生成相关子克隆的结论。
• 证明引理以限制可能的单项式和系数，从而推导出 M_1 的结构。

Figure 1. The Lattice of Polynomial Clones of $\mathcal{J}_{p^{2}}$

实验结果

研究问题

• RQ1 P(Z_8,+) 与 P(Z_8,+,·) 之间的区间 J_8 的结构是什么？
• RQ2 J_8 是否可以类似于素幂的 J_p^k 进行分解，所得格结构为何？
• RQ3 哪些完全可整除多项式保持关系 Z 并生成克隆 M_1？
• RQ4 非线性单项式中偶系数如何影响 Z_8 中的环多项式克隆的生成？

主要发现

• 区间 J_8 通过由非线性单项式系数为偶数的环多项式组成的克隆 M_1 得到部分描述。
• 任何包含加法和常数的克隆都由其完全可整除成员生成，将分析简化为完全可整除多项式。
• 提出使用 2^k-元关系与莫比乌斯变换的详细框架，以研究保持性与克隆生成。
• 引理表明某些单项式的系数必须为偶数以保持特定关系，从而约束克隆结构。
• 结果将 Z_8 情况与素幂框架联系起来，显示即使在最简单的非素幂情形下也存在复杂性。