[论文解读] The realization problem for von Neumann regular rings

Pere Ara|arXiv (Cornell University)|Feb 13, 2008

Rings, Modules, and Algebras参考文献 26被引用 22

一句话总结

本文综述了冯·诺伊曼正则环的实现问题研究进展，表明虽然每个可数的锥形细化幺半群都可以在某个可数域上实现，但存在某些此类幺半群无法在任何不可数域上实现。关键贡献是构造了一个可数正则 $ K $-代数（$ K $ 为可数域），其 $ \mathcal{V} $-幺半群是非可约的，并且无法在不可数域上实现。

ABSTRACT

We survey recent progress on the realization problem for von Neumann regular rings, which asks whether every countable conical refinement monoid can be realized as the monoid of isoclasses of finitely generated projective right $R$-modules over a von Neumann regular ring $R$.

研究动机与目标

• 研究每一个可数的锥形细化幺半群是否都能作为某个冯·诺伊曼正则环 $ R $ 的 $ \mathcal{V}(R) $，即所谓的实现问题。
• 考察实现问题与冯·诺伊曼正则环中可分性之间的关系。
• 分析幺半群实现与此类环中两面理想格之间的联系。
• 确定实现性是否依赖于基域的基数，特别是区分可数域与不可数域。

提出的方法

• 利用幺半群上的代数序关系，构建锥形幺半群到细化幺半群的序嵌入。
• 应用 Bergman 和 Wehrung 关于存在不可分的可数锥形细化幺半群的结果。
• 在 $ \prod_{n=1}^\infty M_n(K) $ 内部，通过严格收敛的拟逆序列构造一个可数正则 $ K $-代数 $ S_{\infty} $，作为可数子代数的并集。
• 使用秩函数 $ N((x_n)) = \sum_{n=1}^\infty 2^{-n} N_n(x_n) $ 验证 $ \mathcal{V}(S_\infty) $ 的幺半群结构及其非可约性。
• 在莱维特路径代数 $ Q $ 中利用理想 $ I = \text{Soc}(Q) \cong M_\infty(K) $ 构造一个正则但非单位正则的可数代数。
• 应用 $ \Phi^{-1}(Q) $ 构造方法，将正则性和稳定性性质提升至原像环，确保 $ \mathcal{V}(S_\infty) $ 定义良好且非可约。

实验结果

研究问题

• RQ1 每一个可数的锥形细化幺半群是否都能作为某个冯·诺伊曼正则环 $ R $ 的 $ \mathcal{V}(R) $ 实现？
• RQ2 一个幺半群在冯·诺伊曼正则环上的实现性是否依赖于基域的基数？
• RQ3 一个幺半群是否可能在可数域上可实现，但在任何不可数域上均不可实现？
• RQ4 是否存在一个可数的冯·诺伊曼正则 $ K $-代数，其 $ \mathcal{V} $-幺半群是非可约的，因而不是可分的？
• RQ5 实现问题与戴尔沃思的同余格问题之间存在何种关系？

主要发现

• 存在一个可数的锥形细化幺半群，它可作为某个可数正则 $ K $-代数 $ S_{\infty} $ 的 $ \mathcal{V}(S_\infty) $ 实现，但无法在任何不可数域 $ F $ 上实现。
• 幺半群 $ \mathcal{V}(S_\infty) $ 是非可约的，这由存在满足 $ a + a = a + b = b + b $ 且 $ a \neq b $ 的元素所证明，意味着 $ S_\infty $ 不是可分的。
• 构造 $ S_{\infty} $ 依赖于矩阵代数直积中严格收敛的拟逆序列，以确保正则性和可数性。
• 环 $ S_\infty $ 是正则的但不是单位正则的，因为它存在一个商环不是直接有限的，这阻止了 $ \mathcal{V}(S_\infty) $ 成为可约的。
• 幺半群 $ \mathcal{V}(S_\infty) $ 满足命题 4.1 的假设，且非可约，确认其无法在不可数域上实现。
• 该例子表明，即使幺半群是可数的，其在冯·诺伊曼正则环上的实现性也对基域的基数敏感。