[논문 리뷰] A Class of Ring-like Objects

Keqin Liu|ArXiv.org|2004. 11. 26.

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

한 줄 요약

이 논문은 곱셈 모노이드를 한쪽 끝이 있는 바-단위를 가진 딤포이드로 대체함으로써 링 이론을 일반화한 일반화된 대수적 구조인 왼쪽 디링(left diring)을 도입한다. 3-근원자(radical)를 정의하여 3-기약 모듈의 소거자들(intersection of annihilators)의 교차로 정의함으로써 재단(Jacobson) 근원자의 대응체를 수립하고, 3-근원자가 3-초기성 이상의 이상들(intersection of 3-primitive ideals)과 일치함을 증명함으로써 고전 링 이론의 핵심 결과들을 이 새로운 프레임워크로 일반화한다.

ABSTRACT

We introduce the notions of one-sided dirings, 3-irreducible left modules, 3-primitive left dirings, 3-semi-primitive left dirings, 3-primitive ideals and 3-radicals. The main results consists of two parts. The first part establishes two external characterizations of a 3-semi-primitive left diring. The second part characterizes the 3-radical of a left diring by using 3-primitive ideals.

연구 동기 및 목표

• 덧셈에 대해 아벨 군을 이루고, 한쪽 끝이 있는 바-단위를 가진 딤포이드를 곱셈 연산으로 사용하는 왼쪽 디링의 개념을 도입함으로써 고전 링 이론의 비결합적 일반화를 개발한다.
• 기본 개념인 기약성, 초기성, 근원자 등을 왼쪽 디링의 맥락으로 확장한다.
• 3-반초기성 왼쪽 디링의 외부 특성화를 제시하고, 3-초기성 디링의 부분직접곱(subdirect product)을 포함하는 형태로 정의된 3-근원자를 정의한다.
• 왼쪽 디링의 3-근원자가 그 3-초기성 이상들의 교차와 정확히 일치함을 증명함으로써 고전 링 이론의 중심 결과를 반영한다.
• 다이알지브라(dialgebras)에서의 세 가지 일반화 길 중 첫 번째 길을 따라 기본 링 이론의 완전한 대응체를 마련한다.

제안 방법

• 덧셈에 대해 아벨 군을 이루고, 한쪽 끝이 있는 바-단위를 가진 딤포이드를 두 개의 곱셈 연산으로 갖는 한쪽 디링의 개념을 도입한다.
• 왼쪽 디링 위의 왼쪽 모듈을 정의하고, 왼쪽 작용 하에서 단순한 모듈 구조를 가진 것을 3-기약 모듈로 정의한다.
• 왼쪽 디링 위의 3-기약 모듈에 대해 슈어의 보조정리(Schur's Lemma)의 버전을 수립한다.
• 3-초기성 이상의 부분직접곱을 포함하는 외부 특성화를 통해 3-초기성 및 3-반초기성 왼쪽 디링을 정의한다.
• 3-근원자를 모든 3-기약 왼쪽 모듈의 소거자들의 교차로 정의한다.
• 몫 구조와 단사 준동형사상(injective homomorphisms)을 이용하여 3-근원자가 모든 3-초기성 이상들의 교차와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 덧셈과 곱셈 유사 연산을 유지하지만 링이 아닌 대수적 구조에 대해 재단 근원자 개념을 어떻게 일반화할 수 있는가?
• RQ2 3-반초기성 왼쪽 디링의 외부 특성화는 3-초기성 디링의 부분직접곱을 통해 어떻게 기술될 수 있는가?
• RQ3 고전 링 이론에서와 마찬가지로, 왼쪽 디링의 3-근원자가 그 3-초기성 이상들의 교차와 일치하는가?
• RQ4 슈어의 보조정리는 3-기약 모듈에 대해 왼쪽 디링 위에서 어떻게 확장될 수 있으며, 그 결과는 무엇인가?
• RQ5 특히 몫 구성과의 관계에서 3-근원자는 왼쪽 디링의 구조 이론에서 어떤 역할을 하는가?

주요 결과

• 왼쪽 디링의 3-근원자는 모든 3-기약 왼쪽 모듈의 소거자들의 교차로 정의된다.
• 왼쪽 디링의 3-근원자는 그 디링의 모든 3-초기성 이상들의 교차와 같다.
• 왼쪽 디링이 3-반초기성임은 그 3-근원자가 0임과 동치이다.
• 왼쪽 디링을 그 3-근원자로 나눈 몫은 3-반초기성이며, 이는 그 3-근원자가 사라진다는 뜻이다.
• 모든 3-초기성 이상은 3-근원자를 포함하므로 몫의 구조는 초기성을 유지한다.
• 3-기약 모듈의 소거자들을 통한 3-근원자의 구성은 재단 근원자를 일반화한 표준 이상을 얻는다.