[논문 리뷰] Strongly J-clean matrices over 2-projective-free rings

Marjan Sheibani, Hunyin Chen외 1명|arXiv (Cornell University)|2014. 09. 13.

Rings, Modules, and Algebras참고 문헌 10인용 수 3

한 줄 요약

이 논문은 2-프로젝티브 프리 링 위의 강한 J-클린 2×2 행렬을 특성화하며, 그러한 행렬이 강한 J-클린임과 동치인 조건을 증명한다: 행렬이 임의의 임의의 원소를 포함하거나, 항등원과의 차가 임의의 원소에 속하거나, 특정한 조르당 형식의 행렬과 유사하며 그 고윳값이 J(R)와 1+J(R)에 속해야 한다. 이 결과는 멱급수 링으로 확장되며, R이 2-프로젝티브 프리 wb-링이라면 R[[x]] 위의 행렬이 강한 J-클린임과 그 상수항이 강한 J-클린임이 동치임을 보인다.

ABSTRACT

An element $a$ in a ring $R$ is strongly J-clean if it is the sum of an idempotent and an element in the Jacobson radical that commutes. We characterize the strongly J-clean $2 imes 2$ matrices over 2-projective-free non-commutative rings.

연구 동기 및 목표

• 비가환 2-프로젝티브 프리 링 위의 강한 J-클린 2×2 행렬을 특성화하는 것.
• 지역 링에서 알려진 강한 J-클린성 결과를 더 넓은 링의 범주로 확장하는 것.
• 이러한 링의 멱급수 확장에서 강한 J-클린성의 행동을 조사하는 것.
• R[[x]] 위의 행렬에 대한 강한 J-클린성 기준을 그 상수항을 통해 설정하는 것.

제안 방법

• 강한 J-클린 원소의 정의를 사용: a = e + j, 여기서 e는 아이디מפ로턴트이고 j ∈ J(R), 그리고 ej = je.
• 세 상호 배타적인 경우를 통해 강한 J-클린 2×2 행렬을 특성화: J(M₂(R))에 속하거나, I₂−A ∈ J(M₂(R))이거나, 특정한 조르당 유사 행렬과 유사해야 한다.
• 2-프로젝티브 프리 링의 성질을 적용하여 행렬의 구조를 단순화: 자명한 아이디프로턴트와 2-IBN 조건.
• wb-링(약한 블리치드 링)의 개념을 사용하여 특정 커플러 맵의 전사성을 확보함으로써, 클린성의 멱급수 링으로의 올림을 가능하게 한다.
• 2-프로젝티브 프리 wb-링 R에 대해, A(x) ∈ M₂(R[[x]])가 강한 J-클린임과 A(0) ∈ M₂(R)가 강한 J-클린임이 동치임을 이용.
• ℓₐ − rᵦ 맵의 전사성을 바탕으로, J-최적 클린 원소의 멱급수로의 올림을 활용.

실험 결과

연구 질문

• RQ1 2-프로젝티브 프리 링 위의 2×2 행렬이 언제 강한 J-클린인가?
• RQ2 멱급수 링 R[[x]] 위의 행렬이 강한 J-클린이 되기 위한 조건은 무엇인가?
• RQ3 행렬 A(x) ∈ M₂(R[[x]])의 클린성과 그 상수항 A(0)의 클린성은 어떻게 관련되어 있는가?
• RQ4 wb-링 조건은 멱급수 링으로의 강한 J-클린성 올림에 어떤 역할을 하는가?
• RQ5 지역 링을 초월하여 강한 J-클린 행렬의 구조를 완전히 분류할 수 있는가?

주요 결과

• 2-프로젝티브 프리 링 R 위의 2×2 행렬 A는 강한 J-클린임과 동치이며, A ∈ J(M₂(R))이거나, I₂−A ∈ J(M₂(R))이거나, A가 (0 λ; 1 μ) 형식의 행렬과 유사하고, λ ∈ J(R), μ ∈ 1+J(R), 그리고 이차방정식 x²−xμ−λ=0이 J(R)에 하나의 근과 1+J(R)에 다른 하나의 근을 가질 때이다.
• 2-프로젝티브 프리 wb-링 R에 대해, A(x) ∈ M₂(R[[x]])가 강한 J-클린임과 그 상수항 A(0) ∈ M₂(R)가 강한 J-클린임이 동치이다.
• R이 2-프로젝티브 프리 링이고 J(R)가 니르링이라면, R은 wb-링이며, 이에 따라 멱급수 링 R[[x]]에 대한 올림 결과가 성립한다.
• 프로젝티브 프리 링(PSF 링)의 클래스는 2-프로젝티브 프리 링이자 wb-링이므로, 이러한 링에 대해 M₂(R[[x]])에 대한 올림 결과가 적용된다.
• M₂(R)에서의 강한 J-클린성은 J-최적 클린의 구조를 암시하며, 이는 커플러 맵 ℓₐ−rᵦ의 전사성에 의해 멱급수로 올라간다.
• 증명은 α∈J(R), β∈1+J(R)에 대해 ℓₐ−rᵦ 및 ℓᵦ−rₐ의 전사성을 기반으로 하며, 이는 wb-링, 즉 가환 링과 니르 임계 라디컬을 가진 링을 포함한다.