[论文解读] On properties of composites and monoid domains

Łukasz Matysiak|arXiv (Cornell University)|Jun 25, 2020

Advanced Differential Equations and Dynamical Systems参考文献 12被引用 4

一句话总结

本文在交换代数中对多项式复合结构与幺半群环进行了全面的代数刻画，确立了可逆元、不可约元、理想及分次结构等基础性质。此外，通过在有限域上利用系数逐项的多项式复合与幺半群环，构建了多层加密方案，借助非可逆幺半群结构增强了安全性。

ABSTRACT

In this paper I consider all possible properties from commutative algebra for polynomial composites and monoid domains. The aim is full characterization of these structures. I start with the examination of group, ring, modules properties, graded, but also the study of invertible elements, irreducible elements, ideals, etc. in these structures. In the second part of the work I give examples of the use of composites and monoid domains in cryptology. Each such polynomial is the sum of the products of the variable and the coefficient. And what if subsequent coefficient sets are appropriate cryptographic systems? Similarly, monoid domains can be a very good tool between encrypting and decrypting messages.

研究动机与目标

• 全面刻画交换代数中多项式复合结构与幺半群环的代数性质，如可逆元、不可约元、理想及模结构。
• 将复合结构的概念从标准形式推广，引入新型 $T_n$ 与 $T_n'$，并研究其环论行为。
• 研究当 $M$ 为 $\mathbb{Q}_+$ 的子幺半群时，幺半群环 $F[M]$ 的结构性质，尤其关注其与分次环和分次模的关系。
• 探索这些代数结构在密码学中的应用，提出一种基于系数逐项多项式复合的新型多层加密框架。
• 通过展示复合结构与幺半群环可作为安全、不可逆的加密载体，建立抽象代数与应用密码学之间的桥梁。

提出的方法

• 将复合结构定义为 $T = A + XB[X]$，其中 $A \subset B$ 为环，并推广至 $T_n = A_0 + A_1X + \cdots + A_{n-1}X^{n-1} + X^nB[X]$，其系数环可变。
• 引入 $I(B,A) = \{f \in B[X] \mid f(A) \subseteq A\}$ 作为环论构造，用于研究类似自同态的行为。
• 为域 $F$ 与子幺半群 $M \subset \mathbb{Q}_+$ 构造幺半群环 $F[M]$，使用指数属于 $M$ 的形式洛朗型多项式。
• 通过将加密建模为多项式乘法 $fg$，将消息分块通过系数逐项运算进行编码。
• 利用逆映射如 $(A_iB_j)^{-1}$ 解密字母对，借助已知的密码类型（如凯撒移位）实现重构。
• 将字母表建模为 $\mathbb{N}_0$-索引的循环结构，并通过 $\varphi(m_i) = a_iX^{m_i}$ 将字符映射至幺半群环元素，实现有限域下类无限字母表的行为。

实验结果

研究问题

• RQ1 广义复合结构 $T_n$ 与 $T_n'$ 的完整代数性质（如可逆元、不可约性与理想结构）是什么？
• RQ2 当 $M \subset \mathbb{Q}_+$ 时，幺半群环 $F[M]$ 作为环如何表现？其作为分次模与分次代数的结构如何？
• RQ3 复合结构与幺半群环能否系统性地用于构建安全的多层加密方案？
• RQ4 与标准有限域密码相比，非可逆幺半群结构在增强密码安全性方面起到何种作用？
• RQ5 如何在 $T = A + XB[X]$ 中利用多项式复合，通过在每个系数上应用多种密码类型，实现消息的分块编码与解码？

主要发现

• $T_n'$ 的结构 $T_n' = A_0 + A_1X + \cdots + A_{n-1}X^{n-1} + X^nB[X]$ 若系数环不嵌套，则在乘法下不封闭，因此 $(T_n', \cdot)$ 不构成半群。
• 在形如 $D + XK[X]$ 的复合结构中，$D$ 为整环，$K$ 为域时，每个非零素理想均为极大理想，表明存在强烈的理想论约束。
• 复合结构中不可约元的特征为：其常数项在 $A$ 中不可约，且高次项系数满足特定互素条件。
• 能保持 $A$ 在求值下不变的多项式集合 $I(B,A)$ 构成 $B[X]$ 的子环，从而提供一类新型多项式构造。
• 当 $M \subset \mathbb{Q}_+$ 时，幺半群环 $F[M]$ 可通过 $\mathbb{N}_0$-索引循环实现类无限字符编码，从而支持非循环、扩展字母表的密码。
• 一个实际示例表明，使用系数密码（如前向/后向凯撒移位）的三次复合 $fg$ 可将 8 个字母的消息加密为 16 个字母，鲍勃通过逐块使用逆密码成功解密并恢复原始消息。