[논문 리뷰] Some Remarks on Ideals of Commutative Semirings

Peyman Nasehpour|arXiv (Cornell University)|2018. 05. 03.

Rings, Modules, and Algebras참고 문헌 16인용 수 7

한 줄 요약

이 논문은 가환 세미환에서 소 이상, 근본 이상, 극대 이상을 조사하며, 국소화와 근본 분해에 대한 기초 결과를 수립한다. 노에터 세미환과 빼기 가능 세미환에서 모든 이상은 유한한 근본 분해를 가지며, 조르의 보조정리와 이상 인수분해의 핵심 유사 정리들을 포함하여 고전적 가환환 이론을 세미환 환경으로 확장한다.

ABSTRACT

The main purpose of this paper is to investigate prime, primary, and maximal ideals of semirings. The localization and primary decomposition of ideals in semirings are also studied.

연구 동기 및 목표

• 가환환에서의 이상 이론 개념—소 이상, 근본 이상, 극대 이상—을 가환 세미환으로 확장하는 것.
• 이상 수축과 확장을 사용하여 세미환에서의 국소화 이론과 세미모듈러 이론을 개발하는 것.
• 세미환에서 이상이 근본 분해를 가지는 조건을 확립하는 것, 특히 노에터적이고 빼기 가능한 세미환에서의 경우에 중점을 두는 것.
• 극대 이상의 논리적 의존성을 Axiom of Choice에 대한 세미환 이론적 동치를 통해 명확히 하는 것.
• 고전적 가환대수학 결과의 일반화, 예를 들어 최소 소 이상의 존재성과 기약 분해의 존재성 등을 세미환 맥락으로 일반화하는 것.

제안 방법

• 1 ≠ 0 인 세미환에서 극대 이상이 존재함을 보이기 위해 조르의 보조정리를 사용하며, 이는 Axiom of Choice와 연결된다.
• MC-집합(MC-sets, 곱으로 닫힌 집합)의 개념을 사용하여 세미환의 국소화를 정의하고, 국소화된 환에서의 소 이상을 연구한다.
• 합, 곱, 교집합과 같은 이상 연산을 사용하여 기약성과 근본 분해를 분석한다.
• 빼기 가능 이상의 개념을 도입하고, 노에터 세미환에서 기약 이상은 근본 이상임을 증명한다.
• 오름차순 및 내림차순 체인 조건을 사용하여 유한성 결과를 증명하며, 예를 들어 노에터 세미환에서의 유한한 근본 분해를 보인다.
• 국소화에서 소 이상에 대한 대응 정리 적용: $S_U$의 소 이상은 $S$의 $U$와 소거되지 않는 소 이상과 일대일 대응한다.

실험 결과

연구 질문

• RQ1 가환 세미환에서 극대 이상이 존재하는 조건은 무엇이며, 이는 Axiom of Choice와 어떻게 관련되는가?
• RQ2 가환환에서의 소 이상과 국소화 사이의 고전적 대응 관계는 세미환로 확장될 수 있는가?
• RQ3 세미환에서 이상이 유한한 근본 분해를 가지는 조건는 무엇이며, 이러한 성질을 보장하는 구조적 조건은 무엇인가?
• RQ4 노에터 세미환에서 기약 이상과 근본 이상 사이의 관계는 무엇인가?
• RQ5 어떤 이상에 속하는 최소 소 이상은 그 이상의 구조와 근본 분해에 어떻게 영향을 미치는가?

주요 결과

• 1 ≠ 0 인 모든 가환 세미환은 적어도 하나의 극대 이상을 가지며, 이 결과는 젠젠-프라엔켈 집합론에서 Axiom of Choice와 논리적으로 동치이다.
• 아르틴 세미환에서는 극대 이상의 수가 유한하며, 이는 가환환 이론의 결과를 일반화한 것이다.
• 노에터 세미환에서 임의의 이상 $I$에 대해, $I$와 같은 유한한 기약 이상의 교집합이 존재하며, 이는 모든 이상이 유한한 기약 이상의 교집합임을 보여준다.
• 노에터 세미환에서 빼기 가능이고 기약인 이상은 근본 이상임을 증명하여, 기약성과 근본 구조 사이의 핵심 연결 고리를 확립한다.
• 빼기 가능한 노에터 세미환에서 모든 이상은 유한한 근본 분해를 가지며, 이러한 분해는 서로 다른 근과 포함관계가 없는 조건을 만족하는 최소 형태로 줄일 수 있다.
• 국소화 $S_U$의 소 이상은 $S$의 $U$와 소거되지 않는 소 이상과 일대일 대응하며, 이는 고전적 국소화 정리를 세미환로 확장한 것이다.