[논문 리뷰] The realization problem for von Neumann regular rings

Pere Ara|arXiv (Cornell University)|2008. 02. 13.

Rings, Modules, and Algebras참고 문헌 26인용 수 22

한 줄 요약

이 논문은 폰 노이만 정칙 링에 대한 실현 문제에 대한 진전을 조사하며, 모든 가산 콘리컬 보완 모노이드는 어떤 가산 체 위에서 실현될 수 있음을 보이고 있지만, 일부는 어떤 비가산 체에서도 실현될 수 없다고 보여준다. 주요 기여는 가산 체 K에 대해 가산 정칙 K-대수 S_∞를 구성한 것으로, 그 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) $로 나타나는지 조사하는 것, 이를 실현 문제로 알려져 있음.
• 폰 노이만 정칙 링에서 실현 문제와 분리성 사이의 관계를 검토하는 것.
• 모노이드 실현과 이러한 링의 양측 이상수의 격자 간의 연결 고리 분석.
• 실현 가능성의 여부가 기저 체의 기수에 따라 달라지는지, 특히 가산 체와 비가산 체를 구분하여 판단하는 것.

제안 방법

• 모노이드에 대한 대수적 전순서를 활용하고, 콘리컬 모노이드를 보완 모노이드에 순서 포함시키는 구조를 구성한다.
• 베르그먼과 웨르ุง의 결과를 적용하여 비분리적 가산 콘리컬 보완 모노이드의 존재를 증명한다.
• 직접곱 $ \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의 가정을 만족하며 비가역적이므로, 비가산 체에서 실현될 수 없음을 확인한다.
• 이 예시는, 모노이드의 실현 가능성은 기수에 따라 민감하게 달라지며, 모노이드가 가산일지라도 기저 체의 기수에 따라 달라질 수 있음을 보여준다.