[论文解读] 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上三角矩阵环中非零因子幺半群的琴纳度。
• 计算了上三角矩阵环中非零因子幺半群的可置换驯服度，提供了衡量分解非唯一性的定量指标。
• 该框架通过结构化的同态，成功地将复杂的非交换分解问题转化为可处理的交换设置。