[论文解读] Wreath product decompositions for triangular matrix semigroups

Mark Kambites, Benjamin Steinberg|ArXiv.org|Dec 1, 2005

semigroups and automata theory参考文献 4被引用 5

一句话总结

本文为域 $k$ 上 $n \times n$ 上三角矩阵的半群 $T_n(k)$ 提供了显式的 Wreath 积分解，将其表示为非周期幺半群与域 $k$ 上仿射群的 Wreath 积。当 $k$ 为有限域时，该分解在群复杂度意义下是最优的，且可推广至含幺元的环与半环上的三角矩阵。

ABSTRACT

We consider wreath product decompositions for semigroups of triangular matrices. We exhibit an explicit wreath product decomposition for the semigroup of all n-by-n upper triangular matrices over a given field k, in terms of aperiodic semigroups and affine groups over k. In the case that k is finite this decomposition is optimal, in the sense that the number of group terms is equal to the group complexity of the semigroup. We also obtain some decompositions for semigroups of triangular matrices over more general rings and semirings.

研究动机与目标

• 为域 $k$ 上 $n \times n$ 上三角矩阵的半群 $T_n(k)$ 提供显式的 Wreath 积分解。
• 证明当 $k$ 为有限域时，该分解在群复杂度意义下是最优的。
• 将该分解方法推广至含幺元的更一般环与半环上的三角矩阵半群。
• 建立 $T_n(k)$ 的结构与 Krohn-Rhodes 理论之间的联系，特别是通过 $χ$-类与深度分解。
• 证明分解中的所有群均为 $T_n(k)$ 的子群，从而确保结构的相关性与最小性。

提出的方法

• 利用正则 $χ$-类的格（同构于 $\{1,\dots,n\}$ 的子集格）分析 $T_n(k)$ 的 $χ$-类结构。
• 应用 Krohn-Rhodes 理论中的深度分解定理，结合半群的深度及其 $χ$-类结构。
• 通过按深度与二项式系数索引的非周期幺半群 $A_i$ 与群项 $T_{n-i}^*(k)$ 迭代构造 Wreath 积分解。
• 利用秩为 $n-i$ 的子恒等元处的最大子群与 $T_{n-i}^*(k)$ 同构的性质，识别群分量。
• 通过调整群分量与非周期分量，将该分解方法适配至单位三角矩阵（$UT_n(k)$）与射影三角矩阵（$PT_n(k)$）半群。
• 通过匹配该分解中群项数量与第一作者先前计算的 $T_n(k)$ 群复杂度，验证其最优性。

实验结果

研究问题

• RQ1 能否为域 $k$ 上上三角矩阵的半群 $T_n(k)$ 构造显式的 Wreath 积分解？
• RQ2 当 $k$ 为有限域时，该分解在群复杂度意义下是否最优？
• RQ3 $T_n(k)$ 的结构性质（如其 $χ$-类格与最大子群）如何影响分解过程？
• RQ4 该分解方法能否推广至含幺元的环与半环上的三角矩阵？
• RQ5 $T_n(k)$ 的深度与其 Wreath 积分解中群项数量之间有何关系？

主要发现

• 构造了 $T_n(k)$ 的显式 Wreath 积分解：$A_n \wr T_1^*(k)^n \wr A_{n-1} \wr T_2^*(k)^{\binom{n}{2}} \wr \cdots \wr T_n^*(k) \wr A_0$，其中 $A_i$ 为非周期幺半群。
• 当 $k$ 为有限域时，分解中群项的数量等于 $T_n(k)$ 的群复杂度，证实其最优性。
• 该分解不仅适用于有限域，也适用于无限域，扩展了该方法的适用范围。
• 每个深度为 $i$ 的 $χ$-类处的最大子群同构于 $T_{n-i}^*(k)$，这直接指导了 Wreath 积中群分量的确定。
• 该方法对 $UT_n(k)$ 与 $PT_n(k)$ 也给出了最优分解，其群长度为 $n-1$，而当 $k \neq \mathbb{Z}_2$ 时，$T_n(k)$ 的群长度为 $n$。
• 通过深度分解定理获得了 $UT_n(k)$ 与 $PT_n(k)$ 的替代分解，进一步确认了其最优性与结构一致性。