[論文レビュー] 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 積として表される。有限体の場合、この分解体は $T_n(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)$）半群に対して、群成分と非周期的成分を調整することで、分解体を適応する。
• 最初の著者による先行研究で計算された群複雑度と一致する群項の数を確認することで、最適性を検証する。

実験結果

リサーチクエスチョン

• RQ1 体 $k$ 上の上三角行列の半群 $T_n(k)$ に対して、明示的な wreath 積分解体を構成できるか？
• RQ2 体 $k$ が有限の場合、この分解体は群複雑度の観点で最適か？
• RQ3 $T_n(k)$ の構造的性質、たとえば $χ$-類のラティスや最大部分群といったものから、分解体の構成プロセスにどのようなインサイトが得られるか？
• RQ4 この分解体の手法を、単位元をもつ環および半環上での三角行列半群へ一般化できるか？
• RQ5 $T_n(k)$ の深さと、その wreath 積分解体に含まれる群項の数との関係は何か？

主な発見

• 明示的な 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)$ に対しては、深さ分解定理を用いた代替的分解体が得られ、最適性および構造的一致性が確認された。