[논문 리뷰] Zero-Divisors of Content Algebras

Peyman Nasehpour|arXiv (Cornell University)|2010. 06. 22.

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

한 줄 요약

이 논문은 가환환 위의 컨텐츠 대수에서의 영인자에 대해 연구하며, 기저 환에서 최소 소수 아이디얼이 대수로 확장되고, 기저 환이 성질 (A) 또는 적은 수의 영인자를 가질 경우 컨텐츠 확장에서 영인자 그래프의 지름이 유지됨을 증명한다. 주요 결과로, R가 성질 (A)를 가지며 zd(R) = n 이면, 임의의 컨텐츠 R-대수 B에 대해 zd(B) = n 이고, 적절한 조건 하에서 그래프 지름이 그대로 유지됨을 보였다.

ABSTRACT

In this article, we prove that in content extentions minimal primes extend to minimal primes and discuss zero-divisors of a content algebra over a ring who has Property (A) or whose set of zero-divisors is a finite union of prime ideals. We also examine the preservation of diameter of zero-divisor graph under content extensions.

연구 동기 및 목표

• 다항식 환에서의 영인자 결과를 일반적인 컨텐츠 대수로 확장하기 위해.
• 컨텐츠 확장에서 최소 소수 아이디얼이 어떻게 행동하는지 조사하기 위해.
• 컨텐츠 대수 확장에서 영인자 그래프의 지름이 어떻게 유지되는지 연구하기 위해.
• 컨텐츠 대수의 맥락에서 적은 수의 영인자를 가진 환과 성질 (A)를 특성화하기 위해.
• 컨텐츠 확장에서 영인자 그래프의 지름이 그대로 유지되는 조건을 규명하기 위해.

제안 방법

• 컨텐츠 함수 c: B → FId(R) 를 사용하여 컨텐츠 R-대수를 정의하며, c(rf) = r c(f) 와 Dedekind-Mertens 공식을 보장한다.
• 최소 소수 확장 정리 적용: B가 컨텐츠 R-대수이면, p ∈ Min(R) 이면 pB ∈ Min(B) 이다.
• 노에터 환에서의 결과를 일반화하기 위해 '매우 적은 수의 영인자'와 '성질 (A)'의 개념을 도입한다.
• 소수 피하기 정리를 적용하여, Z(R) 가 유한 개의 소수의 합집합일 경우 Z(R) 내 최대 소수의 유일성을 보인다.
• 영인자 그래프 Γ(R) 와 Γ(B) 를 분석하며, 컨텐츠 확장 하에서 지름을 핵심 불변량으로 사용한다.
• c: B → FId(R) 가 전사임을 조건으로 하여 지름 유지 정리를 도출하며, 특히 zd(R) = 1 또는 2 인 경우에 중점을 둔다.

실험 결과

연구 질문

• RQ1 기저 환 R 의 최소 소수 아이디얼이 컨텐츠 R-대수 B 로 어떻게 확장되는가?
• RQ2 R 이 성질 (A) 를 가질 경우, Z(R) 내 최대 소수의 수가 Z(B) 내 최대 소수의 수와 어떻게 관련되는가?
• RQ3 언제 컨텐츠 대수 확장에서 영인자 그래프의 지름이 유지되는가?
• RQ4 R 이 원시적 또는 적은 수의 영인자를 가질 경우 영인자 그래프 지름은 어떻게 되는가?
• RQ5 컨텐츠 확장에서 Γ(B) 의 지름이 Γ(R) 의 지름을 초과할 수 있는가, 그리고 어떤 조건에서 그러한 일이 일어나는가?

주요 결과

• 컨텐츠 확장에서 R 의 최소 소수 아이디얼은 B 의 최소 소수 아이디얼로 확장되며, p ↦ pB 를 통해 Min(R) 과 Min(B) 사이에 일대일 대응이 존재한다.
• R 이 성질 (A) 를 가지며 zd(R) = n 이면, 임의의 컨텐츠 R-대수 B 에 대해 zd(B) = n 이다. 따라서 Z(R) 내 최대 소수의 수가 유지된다.
• R 이 감소적이고 정확히 두 개의 최소 소수 아이디얼을 가지며 두 개 이상의 진부분 영인자를 가질 경우, diam(Γ(R)) = diam(Γ(B)) = 2 이다.
• R 이 원시적 환이며 Z(R)^2 ≠ (0) 이고 성질 (A) 를 가질 경우, diam(Γ(R)) = diam(Γ(B)) = 2 이다.
• Z(R)^n = (0) 이지만 Z(R)^{n-1} ≠ (0) 이고 n > 2 이면, diam(Γ(R)) = diam(Γ(B)) = 2 이다.
• Z(R)^2 = (0) 이고 R ≇ ℤ₂×ℤ₂ 이면, diam(Γ(R)) = diam(Γ(B)) = 1 이다; 그렇지 않으면, diam(Γ(B)) = 1 이 되기 위한 조건은 R ≅ ℤ₂×ℤ₂ 이다.