关于三角向量置换多项式幺半群、其单位群及其诱导置换群的结构
交换代数
2024-08-09 v2
摘要
设 n > 1 n>1 n > 1 ,设 R R R 为具有单位元 1 ≠ 0 1\ne 0 1 = 0 的交换环,设 R [ x 1 , … , x n ] n R[x_1,\ldots,x_n]^n R [ x 1 , … , x n ] n 为所有形式为 ( f 1 , … , f n ) (f_1,\ldots,f_n) ( f 1 , … , f n ) 的 n n n 元多项式组的集合,其中 f 1 , … , f n ∈ R [ x 1 , … , x n ] f_1,\ldots,f_n\in R[x_1,\ldots,x_n] f 1 , … , f n ∈ R [ x 1 , … , x n ] 。我们称这些 n n n 元组为向量多项式。我们通过 g ⃗ ∘ f ⃗ = ( g 1 ( f 1 , … , f n ) , … , g n ( f 1 , … , f n ) ) , 其中 f ⃗ = ( f 1 , … , f n ) , g ⃗ = ( g 1 , … , g n ) \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) g ∘ f = ( g 1 ( f 1 , … , f n ) , … , g n ( f 1 , … , f n )) , 其中 f = ( f 1 , … , f n ) , g = ( g 1 , … , g n ) 定义 R [ x 1 , … , x n ] n R[x_1,\ldots,x_n]^n R [ x 1 , … , x n ] n 上的复合。在本文中,我们研究形式为 f ⃗ = ( f 0 , f 1 + x 2 g 1 , … , f n − 1 + x n g n − 1 ) \vec{f}=(f_0,f_1 +x_2g_1,\ldots, f_{n-1} +x_n g_{n-1}) f = ( f 0 , f 1 + x 2 g 1 , … , f n − 1 + x n g n − 1 ) 的向量多项式,其中 f 0 ∈ R [ x 1 ] f_0\in R[x_1] f 0 ∈ R [ x 1 ] 置换 R R R 的元素,且 f i , g i ∈ R [ x 1 , … , x i ] f_i ,g_i\in R[x_1,\ldots,x_i] f i , g i ∈ R [ x 1 , … , x i ] 使得每个 g i g_i g i 将 R i R^i R i 映射到 R R R 的单位(i = 1 , … , n − 1 i=1,\ldots, n-1 i = 1 , … , n − 1 )。我们证明每个这样的向量多项式置换 R n R^n R n 的元素,并且所有这样的向量多项式集合 M T n \mathcal{MT}_n M T n 关于复合是一个幺半群。我们还证明 f ⃗ \vec{f} f 在 M T n \mathcal{MT}_n M T n 中可逆当且仅当 f 0 f_0 f 0 是 R [ x 1 ] R[x_1] R [ x 1 ] 的 R R R -自同构且 g i g_i g i 在 R [ x 1 , … , x i ] R[x_1,\ldots,x_i] R [ x 1 , … , x i ] 中可逆(i = 1 , … , n − 1 i=1,\ldots, n-1 i = 1 , … , n − 1 )。当 R R R 有限时,幺半群 M T n \mathcal{MT}_n M T n 诱导 R n R^n R n 的一个有限置换群。此外,我们将幺半群 M T n \mathcal{MT}_n M T n 分解为 n n n 个幺半群的迭代半直积。这种分解使我们能够获得其单位群的类似分解,并且当 R R R 有限时,获得其诱导置换群的类似分解。此外,诱导群的分解有助于我们刻画其某些性质。
引用
@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}
}