This paper introduces and systematically develops the theory of polyadic group rings, a higher arity generalization of classical group rings $\mathcal{R}[\mathsf{G}]$. We construct the fundamental operations of these structures, defining the $\mathbf{m}_{r}$-ary addition and $\mathbf{n}_{r} $-ary multiplication for a polyadic group ring $\mathrm{R}^{[\mathbf{m} _{r},\mathbf{n}_{r}]}=\mathcal{R}^{[m_{r},n_{r}]}[\mathsf{G}^{[n_{g}]}]$ built from an $(m_{r},n_{r})$-ring and an $n_{g}$-ary group. A central result is the derivation of the "quantization" conditions that interrelate these arities, governed by the arity freedom principle, which also extends to operations with higher polyadic powers. We establish key algebraic properties, including conditions for total associativity and the existence of a zero element and identity. The concepts of the polyadic augmentation map and augmentation ideal are generalized, providing a bridge to the classical theory. The framework is illustrated with explicit examples, solidifying the theoretical constructions. This work establishes a new foundation in ring theory with potential applications in cryptography and coding theory, as evidenced by recent schemes utilizing polyadic structures.
论文ID : 2510.14029标题 : Higher power polyadic group rings作者 : Steven Duplij (Yantai Research Institute, Harbin Engineering University & Center for Information Technology, University of Münster)分类 : math.RA (Ring and Algebra)发表时间 : 2025年10月15日 (arXiv提交)论文链接 : https://arxiv.org/abs/2510.14029 本文引入并系统发展了多元群环理论,这是经典群环 R [ G ] \mathcal{R}[\mathsf{G}] R [ G ] 的高阶元数推广。作者构造了这些结构的基本运算,为由 ( m r , n r ) (m_r, n_r) ( m r , n r ) -环和 n g n_g n g -元群构建的多元群环 R [ m r , n r ] = R [ m r , n r ] [ G [ n g ] ] \mathrm{R}^{[\mathbf{m}_r,\mathbf{n}_r]}=\mathcal{R}^{[m_r,n_r]}[\mathsf{G}^{[n_g]}] R [ m r , n r ] = R [ m r , n r ] [ G [ n g ] ] 定义了 m r m_r m r -元加法和 n r n_r n r -元乘法。核心成果是导出了相互关联这些元数的"量子化"条件,这些条件由元数自由原理支配,并扩展到具有高阶多元幂的运算。作者建立了关键的代数性质,包括完全结合性条件以及零元素和单位元存在性。多元增广映射和增广理想的概念得到推广,为经典理论提供了桥梁。该框架通过显式例子得到阐释,巩固了理论构造。这项工作在环理论中建立了新基础,在密码学和编码理论中具有潜在应用价值。
经典群环理论的局限性 : 传统群环 R [ G ] R[G] R [ G ] 基于二元运算构造,在现代代数中虽然应用广泛(表示论、同调代数、代数拓扑),但其二元结构限制了对更复杂代数现象的描述能力。多元代数结构的兴起 : 多元代数结构理论(由Dörnte和Post等开创)揭示了二元情况下不存在的现象,如多元群可以没有唯一单位元或经典意义下的逆元,其结构由更一般的查元素概念支配。理论空白 : 尽管二元群环理论和多元结构理论各自发展成熟,但它们的综合——多元群环理论——在很大程度上仍未被探索。理论意义 : 填补代数理论中的重要空白,为环理论引入新的代数对象类别应用前景 : 多元群环的复杂非二元运算为编码理论和后量子密码学提供了有前景的代数平台实用价值 : 如Duplij和Guo (2025)的工作所示,多元代数结构在密码学中的直接应用验证了这一基础研究的及时性和相关性构造多元群环 R [ m r , n r ] [ G [ n g ] ] \mathcal{R}^{[m_r,n_r]}[\mathsf{G}^{[n_g]}] R [ m r , n r ] [ G [ n g ] ] 面临根本性挑战:初始结构的元数不是独立的,它们受到结果对象必须是具有良定义 m r m_r m r -元加法和 n r n_r n r -元乘法的类环结构这一要求的约束。
严格定义多元群环 : 正式构造了多元群环的 m r m_r m r -元加法和 n r n_r n r -元乘法运算,仔细考虑了底层环和群的元数导出量子化条件 : 推导了将群环元数 ( m r , n r ) (m_r, n_r) ( m r , n r ) 与初始环元数 ( m r , n r ) (m_r, n_r) ( m r , n r ) 和初始群元数 n g n_g n g 联系起来的精确"量子化"条件,包括具有高阶多元幂运算的新情况建立关键性质 : 证明了这些结构在何种条件下是完全结合的,并具有零元素和单位元的类似物推广经典概念 : 定义并研究了多元增广映射和多元增广理想的概念,推广了经典理论的核心工具提供具体例子 : 通过涉及非导出多元环和有限多元群的具体非平凡例子阐释理论,显式计算乘积并演示构造运算的工作原理构造从 ( m r , n r ) (m_r, n_r) ( m r , n r ) -环 R [ m r , n r ] \mathcal{R}^{[m_r,n_r]} R [ m r , n r ] 和 n g n_g n g -元群 G [ n g ] \mathsf{G}^{[n_g]} G [ n g ] 到多元群环 R [ m r , n r ] = R [ m r , n r ] [ G [ n g ] ] \mathrm{R}^{[m_r,n_r]} = \mathcal{R}^{[m_r,n_r]}[\mathsf{G}^{[n_g]}] R [ m r , n r ] = R [ m r , n r ] [ G [ n g ] ] 的映射,使得结果结构具有良定义的多元运算和代数性质。
多元运算 : n n n -元运算定义为映射 μ n : S × n → S \mu_n: S^{\times n} \to S μ n : S × n → S 多元结合性 : 通过不变关系 μ n [ x , μ n [ y ] , z ] = invariant \mu_n[x, \mu_n[y], z] = \text{invariant} μ n [ x , μ n [ y ] , z ] = invariant 定义可容许长度 : 多元乘法的组合只对 L admiss ( n , ℓ μ ) = ℓ μ ( n − 1 ) + 1 L_{\text{admiss}}(n, \ell_\mu) = \ell_\mu(n-1) + 1 L admiss ( n , ℓ μ ) = ℓ μ ( n − 1 ) + 1 个元素可能定义 : 多元群环是3集合6运算的多元代数结构:
R [ m r , n r ] = ⟨ R , R , G ∣ ν R [ m r ] , μ R [ n r ] , ρ R [ k ρ ] ∣ ν R [ m r ] , μ R [ n r ] ∣ μ G [ n g ] ⟩ \mathrm{R}^{[m_r,n_r]} = \langle R, \mathcal{R}, G | \nu_R^{[m_r]}, \mu_R^{[n_r]}, \rho_R^{[k_\rho]} | \nu_R^{[m_r]}, \mu_R^{[n_r]} | \mu_G^{[n_g]} \rangle R [ m r , n r ] = ⟨ R , R , G ∣ ν R [ m r ] , μ R [ n r ] , ρ R [ k ρ ] ∣ ν R [ m r ] , μ R [ n r ] ∣ μ G [ n g ] ⟩
m r m_r m r -元加法 :
ν R [ m r ] [ r ( r ⃗ g ⃗ ( α 1 ) , g ⃗ ) , … , r ( r ⃗ g ⃗ ( α m r ) , g ⃗ ) ] = Σ i ν R [ m r ] [ r g i ( α 1 ) , … , r g i ( α m r ) ] ∙ g i \nu_R^{[m_r]}[r(\vec{r}_{\vec{g}}^{(\alpha_1)}, \vec{g}), \ldots, r(\vec{r}_{\vec{g}}^{(\alpha_{m_r})}, \vec{g})] = \Sigma_i \nu_R^{[m_r]}[r_{g_i}^{(\alpha_1)}, \ldots, r_{g_i}^{(\alpha_{m_r})}] \bullet g_i ν R [ m r ] [ r ( r g ( α 1 ) , g ) , … , r ( r g ( α m r ) , g )] = Σ i ν R [ m r ] [ r g i ( α 1 ) , … , r g i ( α m r ) ] ∙ g i
n r n_r n r -元乘法 :
μ R [ n r ] [ r ( r ⃗ g ⃗ ( α 1 ) , g ⃗ ) , … , r ( r ⃗ g ⃗ ( α n r ) , g ⃗ ) ] = Σ i 1 … Σ i n r μ R [ n r ] [ r g i 1 ( α 1 ) , … , r g i n r ( α n r ) ] ∙ μ G [ n g ] [ g j 1 , … , g j n g ] \mu_R^{[n_r]}[r(\vec{r}_{\vec{g}}^{(\alpha_1)}, \vec{g}), \ldots, r(\vec{r}_{\vec{g}}^{(\alpha_{n_r})}, \vec{g})] = \Sigma_{i_1}\ldots\Sigma_{i_{n_r}} \mu_R^{[n_r]}[r_{g_{i_1}}^{(\alpha_1)}, \ldots, r_{g_{i_{n_r}}}^{(\alpha_{n_r})}] \bullet \mu_G^{[n_g]}[g_{j_1}, \ldots, g_{j_{n_g}}] μ R [ n r ] [ r ( r g ( α 1 ) , g ) , … , r ( r g ( α n r ) , g )] = Σ i 1 … Σ i n r μ R [ n r ] [ r g i 1 ( α 1 ) , … , r g i n r ( α n r ) ] ∙ μ G [ n g ] [ g j 1 , … , g j n g ]
允许初始元数任意选择,然后从一般依赖关系中出现结构约束,导致禁止某些元数组合的"量子化规则"。
对于多元幂 ℓ m > 1 \ell_m > 1 ℓ m > 1 的情况,建立量子化条件:
m r = ℓ m ( m r − 1 ) + 1 m_r = \ell_m(m_r - 1) + 1 m r = ℓ m ( m r − 1 ) + 1 n r = ℓ n ( n r − 1 ) + 1 = ℓ g ( n g − 1 ) + 1 n_r = \ell_n(n_r - 1) + 1 = \ell_g(n_g - 1) + 1 n r = ℓ n ( n r − 1 ) + 1 = ℓ g ( n g − 1 ) + 1
在多元情况下,可逆性不与单位元相关,而由查元素 x ˉ \bar{x} x ˉ 决定:
μ n [ x ˉ , x n − 1 ] = x \mu_n[\bar{x}, x^{n-1}] = x μ n [ x ˉ , x n − 1 ] = x
本文采用纯理论方法,通过构造性证明和具体例子验证理论的正确性和完整性。
例子6.1 : ( 2 , 3 ) (2,3) ( 2 , 3 ) -环与3元群的多元群环例子6.2 : 高阶多元幂情况的验证在例子6.2中验证了量子化条件:
初始环:( 2 , 5 ) (2,5) ( 2 , 5 ) -环 R [ 2 , 5 ] \mathcal{R}^{[2,5]} R [ 2 , 5 ] 初始群:3元群 G [ 3 ] \mathsf{G}^{[3]} G [ 3 ] 多元幂:ℓ n = 1 \ell_n = 1 ℓ n = 1 , ℓ g = 2 \ell_g = 2 ℓ g = 2 验证:n r = 1 ( 5 − 1 ) + 1 = 2 ( 3 − 1 ) + 1 = 5 n_r = 1(5-1) + 1 = 2(3-1) + 1 = 5 n r = 1 ( 5 − 1 ) + 1 = 2 ( 3 − 1 ) + 1 = 5 ✓ 对于3个多元群环元素的三元乘法:
r ( 0 ) = ( − 105 j ) ∙ g 3 + 40 j ∙ g 5 + ( − 70 j ) ∙ g 6 + 135 j ∙ g 9 r^{(0)} = (-105j) \bullet g_3 + 40j \bullet g_5 + (-70j) \bullet g_6 + 135j \bullet g_9 r ( 0 ) = ( − 105 j ) ∙ g 3 + 40 j ∙ g 5 + ( − 70 j ) ∙ g 6 + 135 j ∙ g 9
多元增广映射的核包含预期元素,验证了理论构造的正确性。
定理5.2 : 当所有乘法元数相等时 n r = n r = n g n_r = n_r = n_g n r = n r = n g ,多元群环是完全结合的。
零元:z R = z R ∙ Σ i g i z_R = z_R \bullet \Sigma_i g_i z R = z R ∙ Σ i g i 单位元:e R = e R ∙ e G e_R = e_R \bullet e_G e R = e R ∙ e G Bovdi (1974), Passman (1977), Sehgal (1978)等建立了二元群环的基础理论 在表示论、同调代数和代数拓扑中有广泛应用 Dörnte (1929), Post (1940)开创了多元群理论 Leeson和Butson (1980)发展了多元环理论 Duplij (2022)系统化了多元代数结构理论 Duplij和Guo (2025)展示了多元结构在密码学中的直接应用 在编码理论和后量子密码学中的潜在应用 成功建立了多元群环的完整理论框架 导出了支配可容许元数的量子化条件 证明了关键代数性质并推广了经典概念 提供了具体例子验证理论构造 计算复杂性 : 多元运算的计算比二元情况复杂得多理论完备性 : 某些高级性质(如表示论、同调理论)尚未探索应用验证 : 在实际应用中的效果需要进一步验证表示理论 : 多元群环的表示理论完全未探索同调理论 : 同调和其他同调不变量的研究密码应用 : 在密码学中构造新的密码原语编码理论 : 开发非线性码和复杂系统建模理论创新性 : 填补了代数理论中的重要空白,建立了全新的代数对象类别数学严谨性 : 证明严格,定义清晰,理论构造完整实用价值 : 为现代密码学和编码理论提供了新的数学工具系统性 : 从基础定义到具体例子,形成了完整的理论体系计算复杂性 : 多元运算的实际计算可能过于复杂,限制了实际应用例子局限 : 提供的例子相对简单,更复杂情况的行为尚不清楚应用验证不足 : 虽然提到了密码学应用,但缺乏深入的应用分析学术贡献 : 为代数学开辟了新的研究方向交叉学科 : 连接了纯数学与应用数学(密码学、编码理论)长远价值 : 为未来的理论发展和实际应用奠定了基础理论研究 : 代数学、环论、群论的进一步发展密码学 : 后量子密码学中的新密码原语设计编码理论 : 非线性码的构造和分析复杂系统 : 需要多元关系建模的复杂系统本文引用了18篇重要文献,主要包括:
经典群环理论:Bovdi (1974), Passman (1977), Sehgal (1978) 多元结构理论:Dörnte (1929), Post (1940), Duplij (2022) 应用研究:Duplij和Guo (2025)关于多元加密的工作 总体评价 : 这是一篇在理论上具有重要创新意义的论文,成功建立了多元群环的完整理论框架。尽管在实际应用验证方面还有待加强,但其理论贡献和潜在应用价值使其成为代数学领域的重要进展。该工作不仅推进了纯数学理论的发展,也为现代密码学和编码理论提供了新的数学工具。