[논문 리뷰] Decidability of the theory of modules over Pr\"ufer domains with dense value groups

Lorna Gregory, Sonia L’Innocente외 1명|arXiv (Cornell University)|2019. 06. 10.

Rings, Modules, and Algebras참고 문헌 18인용 수 1

한 줄 요약

이 논문은 극대 아이디얼에서의 조밀한 값군을 가진 효과적으로 주어진 Bézout 도메인과 Prüfer 도메인에 대한 모듈 이론의 결정 가능성을 위한 필요하고도 충분한 대수적 조건을 확립한다. Bézout 도메인의 경우, 결정 가능성이 성립함과 동시에 두 개의 특정 집합—DPR(R) 및 PP(R)—가 재귀적임이 필요하고 충분함을 증명한다. 일반적인 Prüfer 도메인의 경우, DPRₗ(R) 및 PPₗ(R)에 대한 유사한 조건이 충분하다. 이 결과는 이전의 평가 도메인에 대한 연구를 확장하며, 조밀성 가정 하에 완전한 재귀적 특성화를 제공한다.

ABSTRACT

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains whose localizations at maximal ideals have dense value groups. For B\'ezout domains, these conditions are also necessary.

연구 동기 및 목표

• 효과적으로 주어진 Bézout 도메인에 대한 모듈 이론의 결정 가능성을, 극대 아이디얼에서의 국소화가 조밀한 값군을 가진다는 가정 하에 특성화하는 것.
• 평가 도메인에서의 결정 가능 기준을 더 넓은 범위의 Prüfer 도메인으로 확장하는 것.
• DPR(R) 및 PP(R)와 같은 대수적 관계의 재귀성에 기반한 결정 가능성에 대한 필요하고도 충분한 조건을 제공하는 것.
• 무한 잔여체를 가진 Bézout 도메인에 대한 이전 결과를 유한하지만 균일하게 크기가 같은 잔여체를 가진 경우로 일반화하는 것.
• 모델 이론적 불변량과 도메인의 대수적 성질 및 국소화의 성질을 결합한 결정 가능성의 프레임워크를 수립하는 것.

제안 방법

• Baur-Monk 정리를 활용하여, 모듈 이론의 결정 가능성을 pp-쌍에 대한 Baur-Monk 불변량 |ϕ(M)/ψ(M)| 의 알고리즘적 결정 가능성으로 환원한다.
• 두 가지 핵심 재귀 집합을 도입한다: DPR(R), 소수 근원 관계를 일반화한 것으로, PP(R), 정규 도메인에 대한 점과 Prest의 작업에서 영감을 얻은 것이다.
• 국소화를 통해 분해 불가능한 순수 임베딩 모듈을 분석하며, 값군의 조밀성을 활용하여 유한한 Baur-Monk 불변량을 제어한다.
• Ziegler 기본 열린 집합의 포함성과 유한한 불변량을 확인하는 것으로 일반적인 결정 가능성 문제를 환원하며, DPR(R) 및 PP(R)에 대한 재귀 알고리즘을 사용한다.
• 크룰 차원 1인 Bézout 도메인에 대한 구조적 결과를 적용하여, 잼슨 근과 극대 아이디얼 소속 관계의 재귀성을 보여준다.
• 문장의 논리적 분해를 통해 불변량 성분으로 나누고, 성분별 공식에 대한 알고리즘적 검사를 적용하여 만족 가능성 여부를 판단한다.

실험 결과

연구 질문

• RQ1 모든 극대 아이디얼에서 국소화가 조밀한 값군을 가진 효과적으로 주어진 Bézout 도메인에 대해, 어떤 대수적 조건에서 모듈 이론이 결정 가능해지는가?
• RQ2 이러한 Bézout 도메인에서 모듈 이론의 결정 가능성은 DPR(R) 및 PP(R) 집합의 재귀성과 동치인가?
• RQ3 Bézout 도메인의 결정 가능성 기준을 동일한 값군 가정 하에 일반적인 Prüfer 도메인으로 확장할 수 있는가?
• RQ4 국소화에서의 값군의 조밀성이 유한한 Baur-Monk 불변량 분석을 단순화하는 데 어떤 역할을 하는가?
• RQ5 크룰 차원 1인 Bézout 도메인에서 잔여체가 모두 같은 유한 크기 qt를 가지는 경우, PP(R)의 재귀성은 어떻게 확립할 수 있는가?

주요 결과

• 효과적으로 주어진 Bézout 도메인 R에 대해, 모듈 이론이 결정 가능함과 동시에 DPR(R) 및 PP(R)가 모두 재귀 집합임이 필요하고 충분하다.
• 크룰 차원 1인 Bézout 도메인과 균일하게 유한한 잔여체를 가진 경우, 모든 국소화가 조밀한 값군을 가진다면 모듈 이론은 결정 가능하다.
• 모든 잔여체가 동일한 유한 크기 qt를 가지며, 소수 근원 관계가 재귀적이고 잼슨 근이 재귀적인 경우, 집합 PP(R)는 재귀적이다.
• 크룰 차원 1인 Bézout 도메인에서 잼슨 근 Jac(R)는 재귀적이다. 이는 0이거나, 어떤 0이 아닌 a에 대해 rad(aR)와 같기 때문이다.
• Prüfer 도메인의 경우, 결정 가능성에 대한 충분한 조건은 모든 l ∈ ℕ에 대해 DPRₗ(R) 및 PPₗ(R)의 재귀성이다.
• 논문은 평가 도메인에 대한 결정 가능성 기준이 Bézout 도메인으로 일반화되며, 조밀한 값군 조건 하에 완전한 특성화를 제공함을 확인한다.