[논문 리뷰] Commutative Local Rings Whose Ideals Are Direct Sums of Cyclics

Mahmood Behboodi, S. H. Shojaee|arXiv (Cornell University)|2012. 01. 29.

Commutative Algebra and Its Applications인용 수 1

한 줄 요약

이 논문은 모든 이상이 순환 모듈의 직합인 교환 국소환을 조사하며, 이는 이전 연구에서 Noetherian 조건을 제거하여 확장된 것이다. 주요 기여는 이러한 환들이 그 최대 이상의 거듭제곱으로 나누어 그 성질을 가진离산 평가환주의 몫과 동형임을 특성화한 것이다.

ABSTRACT

A well-known result of Kothe and Cohen-Kaplansky states that a commutative ring $R$ has the property that every $R$-module is a direct sum of cyclic modules if and only if $R$ is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in [M. Behboodi, A. Ghorbani, A. Moradzadeh-Dehkordi, Commutative Noetherian local rings whose ideals are direct sums of cyclic modules, J. Algebra 345 (2011) 257--265] the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.

연구 동기 및 목표

• Noetherian 설정을 넘어서서 이상이 순환 모듈의 직합인 교환환의 분류를 확장하는 것.
• 모든 이상이 순환 모듈의 직합인 교환 국소환의 구조를 규명하는 것.
• 이전의 유한 개의 Noetherian 국소환의 곱에 대한 결과를 비Noetherian 국소환으로 일반화하는 것.
• 이러한 환들을 이상 격자와 모듈 이론적 성질에 따라 특성화하는 것.

제안 방법

• 순환 모듈과 직합 분해의 성질을 이용하여 교환 국소환의 이상 구조를 분석하는 것.
• 평가환 이론과 이산 평가환의 이론을 활용하여 가능한 환의 구조를 분류하는 것.
• 이러한 환에서는 모든 이상이 유한 생성이 되며 순환 부분모듈의 직합으로 분해된다는 사실을 이용하는 것.
• 환은 반드시 그 최대 이상의 거듭제곱으로 나누어진 이산 평가환의 몫이어야 한다는 것을 증명하는 것.
• 국소환 위에서의 모듈 이론 결과를 적용하여 이상의 가능한 형태를 제약하는 것.
• 환은 반드시 Artinian이면서 스스로 위에서 유한 길이 모듈이어야 한다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 이상이 순환 모듈의 직합인 교환 국소환의 구조는 어떠한가?
• RQ2 Noetherian 조건이 없을 경우 이러한 환의 분류에 어떤 영향을 미치는가?
• RQ3 이러한 환들을 평가 이론 또는 이산 평가환의 관점에서 특성화할 수 있는가?
• RQ4 모든 이상이 순환 모듈의 직합인 비Noetherian 교환 국소환의 예가 존재하는가?
• RQ5 국소환에서 모든 이상이 순환 모듈의 직합으로 분해되도록 보장하는 조건은 무엇인가?

주요 결과

• 모든 이상이 순환 모듈의 직합인 교환 국소환은 반드시 그 최대 이상의 거듭제곱으로 나누어진 이산 평가환의 몫과 동형이어야 한다.
• 이러한 환들은 반드시 Artinian이면서 스스로 위에서 유한 길이 모듈이어야 한다.
• 이러한 환들의 이상 격자는 최대 이상의 거듭제곱의 사슬에 의해 완전히 결정된다.
• 이러한 환들에서 모든 이상은 유한 생성이며 유한 개의 순환 모듈의 직합으로 분해된다.
• Noetherian 조건을 제거할 경우 이러한 환들의 집합은 Artinian 주 이상환들의 집합을 진정으로 포함한다.
• 환의 구조는 그 최대 이상의 평가와 영멸 지수에 의해 완전히 결정된다.