中文

关于三角向量置换多项式幺半群、其单位群及其诱导置换群的结构

交换代数 2024-08-09 v2

摘要

n>1n>1,设 RR 为具有单位元 101\ne 0 的交换环,设 R[x1,,xn]nR[x_1,\ldots,x_n]^n 为所有形式为 (f1,,fn)(f_1,\ldots,f_n)nn 元多项式组的集合,其中 f1,,fnR[x1,,xn]f_1,\ldots,f_n\in R[x_1,\ldots,x_n]。我们称这些 nn 元组为向量多项式。我们通过 gf=(g1(f1,,fn),,gn(f1,,fn)), 其中 f=(f1,,fn),g=(g1,,gn)\vec{g}\circ \vec{f}=(g_1(f_1, \ldots ,f_n), \ldots ,g_n (f_1, \ldots ,f_n)), \text{ 其中 }\vec{f}=(f_1, \ldots ,f_n), \vec{g}=(g_1, \ldots ,g_n) 定义 R[x1,,xn]nR[x_1,\ldots,x_n]^n 上的复合。在本文中,我们研究形式为 f=(f0,f1+x2g1,,fn1+xngn1) \vec{f}=(f_0,f_1 +x_2g_1,\ldots, f_{n-1} +x_n g_{n-1}) 的向量多项式,其中 f0R[x1]f_0\in R[x_1] 置换 RR 的元素,且 fi,giR[x1,,xi]f_i ,g_i\in R[x_1,\ldots,x_i] 使得每个 gig_iRiR^i 映射到 RR 的单位(i=1,,n1i=1,\ldots, n-1)。我们证明每个这样的向量多项式置换 RnR^n 的元素,并且所有这样的向量多项式集合 MTn\mathcal{MT}_n 关于复合是一个幺半群。我们还证明 f \vec{f} MTn\mathcal{MT}_n 中可逆当且仅当 f0f_0R[x1]R[x_1]RR-自同构且 gig_iR[x1,,xi]R[x_1,\ldots,x_i] 中可逆(i=1,,n1i=1,\ldots, n-1)。当 RR 有限时,幺半群 MTn\mathcal{MT}_n 诱导 RnR^n 的一个有限置换群。此外,我们将幺半群 MTn\mathcal{MT}_n 分解为 nn 个幺半群的迭代半直积。这种分解使我们能够获得其单位群的类似分解,并且当 RR 有限时,获得其诱导置换群的类似分解。此外,诱导群的分解有助于我们刻画其某些性质。

关键词

引用

@article{arxiv.2312.12099,
  title  = {On the structures of a monoid of triangular vector-permutation polynomials, its group of units and its induced group of permutations},
  author = {Amr Ali Abdulkader Al-Maktry},
  journal= {arXiv preprint arXiv:2312.12099},
  year   = {2024}
}