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 (燕台研究所、哈爾濱工程大学 & 情報技術センター、ミュンスター大学)分類 : math.RA (環と代数)発表日時 : 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örntおよび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 ] = 不変 \mu_n[x, \mu_n[y], z] = \text{不変} μ n [ x , μ n [ y ] , z ] = 不変 によって定義される許容長 : 多元乗法の組み合わせは 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) による多元暗号に関する研究 総合評価 : これは理論的に重要な革新的意義を持つ論文であり、多元群環の完全な理論的フレームワークの確立に成功している。実際の応用検証の面ではさらに強化が必要であるが、その理論的貢献と潜在的応用価値は、代数学分野における重要な進歩となっている。この研究は純粋数学理論の発展を推進するだけでなく、現代の暗号学と符号理論に新しい数学的ツールを提供している。