[論文レビュー] FACTORIZATION THEORY IN NONCOMMUTATIVE SETTINGS

Nicholas R. Baeth, Daniel Smertnig|arXiv (Cornell University)|Feb 18, 2014

Rings, Modules, and Algebras参考文献 30被引用数 2

ひとこと要約

この論文は、可換環から非可換環へ、因子分解不変量（鎖鎖度、乱暴度、および !-不変量）を拡張する。パーミュータブルに因数分解可能な半群や弱い移行準同型といった新しい概念を導入し、古典的極大順序や上三角行列環に対してこれらの道具を適用することで、ゼロ和列および可換半群への移行によって正確な鎖鎖度を計算する。

ABSTRACT

We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. Several notions of factorizations as well as distances between them are intro- duced. In addition, arithmetical invariants characterizing the non-uniqueness of factorizations such as the catenary degree, the !-invariant, and the tame degree, are extended from commutative to noncom- mutative settings. We introduce the concept of a cancellative semigroup being permutably factorial, and characterize this property by means of corresponding catenary and tame degrees. Also, we give necessary and sufficient conditions for there to be a weak transfer homomorphism from a cancellative semigroup to its reduced abelianization. Applying the abstract machinery we develop, we determine various catenary degrees for classical maximal orders in central simple algebras over global fields by using a natural transfer homomorphism to a monoid of zero-sum sequences over a ray class group. We also determine catenary degrees and the permutable tame degree for the semigroup of non zero-divisors of the ring of n×n upper triangular matrices over a commutative domain using a weak transfer homomorphism to a commutative semigroup.

研究の動機と目的

• 可換環から非可換環への古典的因子分解不変量（鎖鎖度、乱暴度、!-不変量）の一般化。
• 鎖鎖度および乱暴度を用いて、パーミュータブルに因数分解可能なキャンセルラティブ半群の概念を導入・特徴付ける。
• キャンセルラティブ半群からその簡約アーベル化への弱い移行準同型の存在に必要な十分条件を確立する。
• 抽象的枠組みを具体的な非可換環（極大順序、上三角行列環など）に適用し、特定の因子分解不変量を計算する。

提案手法

• 非可換キャンセルラティブ半群における因子分解およびそれらの間の距離の概念を導入・形式化する。
• 非可換設定における鎖鎖度および乱暴度を定義・分析し、可換の場合からの構造的性質を拡張する。
• パーミュータブルに因数分解可能な半群の概念を導入し、鎖鎖度および乱暴度の有限性と有界性によって特徴付ける。
• キャンセルラティブ半群からその簡約アーベル化への弱い移行準同型の存在に関する基準を構築する。
• 非可換半群（例えば極大順序の非零除因子）から、レイトクラス群上のゼロ和列の可換モノイドへの自然な移行準同型を構成する。
• これらの移行準同型を用いて、非可換環における因子分解不変量の計算を、既知の可換設定における結果に還元する。

実験結果

リサーチクエスチョン

• RQ1 鎖鎖度のような古典的因子分解不変量を非可換環へ意味的に拡張する方法は何か？
• RQ2 キャンセルラティブ半群からその簡約アーベル化への弱い移行準同型の存在を保証する条件は何か？
• RQ3 特にパーミュータブルに因数分解可能な半群の文脈において、キャンセルラティブ半群の構造はその鎖鎖度および乱暴度によってどのように特徴付けられるか？
• RQ4 古典的極大順序や上三角行列環のような非可換環における因子分解不変量はどのように計算されるか？
• RQ5 レイトクラス群上のゼロ和列は、非可換から可換設定への因子分解データの移行においてどのような役割を果たすか？

主な発見

• キャンセルラティブ半群がパーミュータブルに因数分解可能であることと、その鎖鎖度および乱暴度が有限であることとは同値であることが確立された。
• キャンセルラティブ半群からその簡約アーベル化への弱い移行準同型の存在に必要な十分条件が提供された。
• グローバル体上の中心的単純代数における古典的極大順序について、レイトクラス群上のゼロ和列モノイドへの自然な移行準同型を介して鎖鎖度が計算された。
• 可換整域上の n×n 上三角行列環の非零除因子の半群における鎖鎖度は、可換半群への弱い移行準同型を用いて決定された。
• 上三角行列環の非零除因子の半群におけるパーミュータブルな乱暴度が計算され、因子分解の非一意性の定量的測度が得られた。
• 構造的な準同型を介して、複雑な非可換因子分解問題が管理可能な可換設定に効果的に移行された。