[논문 리뷰] Divisibility in rings of integer-valued polynomials

Felix Gotti, Bangzheng Li|arXiv (Cornell University)|2021. 07. 25.

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

한 줄 요약

이 논문은 정수 값 다항식의 환에서 약수성 성질을 조사하여, 주 이상 이상의 주 이상 이상 조건(ACCP)을 만족하지 않는 첫 번째 원자 환의 클래스를 확립한다. Int(S,R)가 유한 인수 분해 환(FFD)이 되는 것은 R이 FFD일 때이고, 오직 그 때에만 성립하며, 원자성과 idf-환 성질이 일반적으로 R에서 Int(S,R)로 전이되지 않음을 보이며, 특히 R이 IFD일 경우 Int({s},R)는 idf-환임을 보인다.

ABSTRACT

In this paper, we address various aspects of divisibility by irreducibles in rings consisting of integer-valued polynomials. An integral domain is called atomic if every nonzero nonunit factors into irreducibles. Atomic domains that do not satisfy the ascending chain condition on principal ideals (ACCP) have proved to be elusive, and not many of them have been found since the first one was constructed by A. Grams in 1974. Here we exhibit the first class of atomic rings of integer-valued polynomials without the ACCP. An integral domain is called a finite factorization domain (FFD) if it is simultaneously atomic and an idf-domain (i.e., every nonzero element is divisible by only finitely many irreducibles up to associates). We prove that a ring is an FFD if and only if its ring of integer-valued polynomials is an FFD. In addition, we show that neither being atomic nor being an idf-domain transfer, in general, from an integral domain to its ring of integer-valued polynomials. In the same class of rings of integer-valued polynomials, we consider further properties that are defined in terms of divisibility by irreducibles, including being Cohen-Kaplansky and being Furstenberg.

연구 동기 및 목표

• 주 이상 이상 조건(ACCP)을 만족하지 않는 정수 값 다항식의 원자 환의 첫 번째 클래스를 식별하고 구성하는 것.
• 정수 값 다항식 환 Int(S,R)가 유한 인수 분해 환(FFD)이 되는 조건을 규명하여, R이 FFD일 때이고 오직 그 때에만 Int(S,R)가 FFD가 됨을 보이는 것.
• 정수 환 R에서의 약수성 성질—특히 원자성, idf-환, 푸르스텐베르크 환의 구조—이 Int(S,R)로 전이되는지 조사하는 것.
• R이 IFD일 때 Int(S,R)가 idf-환으로 남는 조건을 규명하며, 특히 R의 유한 부분집합 S에 대해 고려하는 것.
• 코헨-카플란스키 환(CKDs)이 정수 값 다항식 환으로서 나타나지 않음을 보이고, 특정 구성으로 비원자적 idf-환을 구성하는 것.

제안 방법

• A. 그람스의 1974년 예시를 수정하여, ACCP를 만족하지 않는 원자 환의 클래스를 구성한다.
• 그레고리-뉴턴 공식을 적용하여 Int(Z)의 원소를 이항 계수의 Z-선형 조합으로 표현하고, 자유 Z-모듈 구조를 활용한다.
• 약수군과 관련된 클래스를 이용하여 Int(S,R)에서의 기약 약수를 분석하며, 관련된 기약 약수의 유한성을 중점적으로 다룬다.
• Int(S,R)의 기약 원소의 관련 클래스에서 K[x]의 관련 클래스로의 단사 사상 적용을 통해, R이 IFD일 경우 Int({s},R)의 기약 약수의 유한성을 증명한다.
• 유리 격자 모노이드를 이용한 반례 구성으로, |S| > 1일 경우 R이 IFD이더라도 Int(S,R)가 idf-환일 수 없음을 보이며, 이는 단일 원소 조건의 필수성을 입증한다.
• 유한 S에 대해 Int(S,R)의 구조를 분석하기 위해, 몰수체 K 위에서의 다항식 인수분해로 환류하고, 기약 원소의 근 조건을 분석한다.

실험 결과

연구 질문

• RQ1 주 이상 이상 조건(ACCP)을 만족하지 않는 정수 값 다항식의 원자 환이 존재할 수 있는가?
• RQ2 R이 FFD일 때, 정수 값 다항식 환 Int(S,R)가 유한 인수 분해 환(FFD)이 되는 조건은 무엇인가?
• RQ3 idf-환 성질(각 원소가 유한한 수의 비유사 기약 약수를 가짐)이 R에서 Int(S,R)로 전이되는가? 만약 그렇지 않다면, 어떤 조건에서 성립하는가?
• RQ4 정수 값 다항식 환의 범주에서 비원자적 idf-환을 구성할 수 있는가? 만약 가능하면, 어떻게 구성하는가?
• RQ5 정수 값 다항식 환은 언제나 코헨-카플란스키 환(CKD)이 될 수 있는가? 즉, 관련된 기약 원소가 유한 개 이하로만 존재하는가?

주요 결과

• 논문은 ACCP를 만족하지 않는 알려진 첫 번째 원자 환의 클래스를 구성하여, 원자 환에서 ACCP를 만족하지 않는 경우의 분류에서 오랫동안 존재하던 격차를 메웠다.
• Int(S,R)가 FFD이기 위한 조건은 R이 FFD일 때이고 오직 그 때에만 성립함을 증명하여, FFD의 구조에 대한 강력한 전이 성질을 확립한다.
• 원자성과 idf-환 성질이 일반적으로 R에서 Int(S,R)로 전이되지 않음을 보이며, 이는 이러한 성질이 Int(S,R) 구성에서 일반적으로 보존되지 않음을 입증한다.
• 임의의 정수 환 R과 단일 원소 집합 S={s}에 대해, Int({s},R)가 idf-환임은 R이 IFD일 때이고 오직 그 때에만 성립함을 보이며, |S|=1인 경우에 대한 완전한 특성화를 제공한다.
• 논문은 반례를 구성하여, |S| ≥ 2일 경우 R이 IFD이더라도 Int(S,R)가 idf-환일 수 없음을 보이며, 이는 단일 원소 조건의 필수성을 입증한다.
• 모든 정수 값 다항식 환은 코헨-카플란스키 환일 수 없음을 증명하며, 이러한 환은 항상 무한히 많은 비유사 기약 원소를 포함한다.