[논문 리뷰] Weakly tripotent rings

Simion Breaz, Andrada Cîmpean|arXiv (Cornell University)|2017. 04. 05.

Rings, Modules, and Algebras참고 문헌 5인용 수 4

한 줄 요약

이 논문은 약한 삼중항 링—모든 원소 x에 대해 x 또는 1+x가 삼중항(즉, x³ = x를 만족)인 링—을 도입하고 특성화한다. 주요 기여는 교환 법칙을 만족하는 약한 삼중항 링을 부울 링, 특성 3의 삼중항 링, 그리고 아이디포텐트가 없는 약한 삼중항 링의 곱의 부분망으로서의 구조적 특성화이다. 이 클래스는 모든 원소가 두 가환 아이디포텐트의 합 또는 차로 표현되는 링을 엄밀히 포함한다.

ABSTRACT

We study the class of rings $R$ with the property that for $x\in R$ at least one of the elements $x$ and $1+x$ are tripotent.

연구 동기 및 목표

• 모든 원소 x에 대해 x 또는 1+x가 삼중항인 새로운 링의 클래스—약한 삼중항 링—을 정의하고 연구하기.
• 특히 교환 법칙을 만족하는 경우에 대해 약한 삼중항 링의 구조적 성질을 조사하기.
• 약한 삼중항 링과 다른 일반화된 링 클래스(예: 모든 원소가 두 가환 아이디포텐트의 합 또는 차로 표현되는 링) 간의 관계를 명확히 하기.
• 약한 삼중항 링 클래스가 기존의 삼중항 또는 아이디포텐트 항등식을 만족하는 링 클래스를 엄밀히 확장하는지 확인하기.
• 부직접 곱과 특성 기반 성분을 사용한 교환 법칙을 만족하는 약한 삼중항 링에 대한 분해 정리 제공하기.

제안 방법

• 모든 x ∈ R에 대해 x³ = x 또는 (1+x)³ = 1+x임을 조건으로 약한 삼중항 링 정의하기.
• 자코브슨 근, 아이디포텐트 분해, 조른의 보조정리 등을 포함한 링 이론 도구를 사용해 부직접 분해 분석하기.
• 부직접 곱을 통한 교환 법칙을 만족하는 링의 구조 정리 적용, 약한 삼중항 링을 더 단순한 성분의 곱에 통합하기.
• 성분 특성화: 특성 2의 부울 링, 특성 3의 삼중항 링, 아이디포텐트가 없는 약한 삼중항 링.
• 환의 상사와 부분망을 사용해 닫힘 성질을 보이고 24 = 0과 같은 필요 조건 유도하기.
• 반례(예: ℤ₈)를 구성해 약한 삼중항 링 클래스가 두 가환 아이디포텐트의 합 또는 차로 표현되는 링 클래스를 엄밀히 확장함을 보여주기.

실험 결과

연구 질문

• RQ1 교환 법칙을 만족하는 약한 삼중항 링의 구조적 특성은 무엇인가?
• RQ2 약한 삼중항 링 클래스는 모든 원소가 두 가환 아이디포텐트의 합 또는 차로 표현되는 링 클래스와 어떻게 관련이 있는가?
• RQ3 약한 삼중항 링은 직접 곱에 대해 닫혀 있는가? 특성 제약 조건은 무엇인가?
• RQ4 약한 삼중항 링는 부울 링나 삼중항 링과 같은 더 단순한 성분으로 분해될 수 있는가?
• RQ5 약한 삼중항 링 클래스는 모든 원소가 두 가환 아이디포텐트의 합 또는 차로 표현되는 링 클래스보다 엄밀히 큰가?

주요 결과

• 교환 법칙을 만족하는 링 R은 R이 R₀ × R₁ × R₂의 부분망으로 포함될 때이고, 여기서 R₀는 비자명한 아이디포텐트가 없는 약한 삼중항 링, R₁은 부울 링, R₂는 특성 3의 삼중항 링인 경우에만 약한 삼중항 링이 된다.
• 약한 삼중항 링 클래스는 모든 원소가 두 가환 아이디포텐트의 합 또는 차로 표현되는 링 클래스를 엄밀히 포함한다. 이는 ℤ₈의 예를 통해 입증된다.
• 특성 3에서, 약한 삼중항 링는 정확히 삼중항 링이며, 따라서 ℤ₃의 부직접 곱과 동형이다.
• 모든 약한 삼중항 링은 24 = 0를 만족하며, 이는 R = R₁ × R₂로 분해됨을 의미하며, 여기서 8R₁ = 0 이고 3R₂ = 0 이다.
• 약한 삼중항 링 클래스는 부분망과 환의 상사에 대해 닫혀 있으나, 임의의 직접 곱에 대해서는 닫혀 있지 않다.
• 약한 삼중항 링이지만 두 가환 아이디포텐트의 합 또는 차로 생성되지 않는 링(예: ℤ₈)이 존재함을 통해, 이러한 링의 클래스가 약한 삼중항 링 클래스에 엄밀히 포함됨을 확인한다.