구축적 방법으로 증명한 일반 널스텔른제스와 야코비스 링

초록

이 논문은 야코비스 링 위의 일변수 다항식 링도 야코비스 링임을 구축적(constructive) 방식으로 증명한다. 기존의 비구축적 증명에서 사용되던 Zorn의 보조정리를 배제하고, 엔테일먼트 관계와 새로운 레마 3.2를 이용해 알고리즘적 내용을 추출한다. 또한 영차원 링·정수 링 등에서의 적용과 유한히 야코비스 링에 대한 변형 결과도 제시한다.

상세 분석

논문은 먼저 야코비스 링을 “모든 아이디얼 I에 대해 Jac I ⊆ Nil I”라는 정의로 재구성한다. 이 정의는 전통적인 ‘각 소수 아이디얼이 극대 아이디얼들의 교집합이다’라는 서술을 피하고, Nil U와 Jac U를 직접적인 생성식으로 정의함으로써 구성적 논리 체계와 호환된다. 특히 Nil U={a | ∃n aⁿ∈⟨U⟩}, Jac U={a | ∀b ∈ A, 1∈⟨U, 1−ab⟩}와 같은 형식은 실제 계산 알고리즘을 설계할 수 있게 만든다.

핵심 기술은 엔테일먼트 관계(⊢ₚ, ⊢ₘ)를 이용해 소수·극대 아이디얼을 직접 다루지 않고도 전통적 논증을 모방하는 점이다. Lemma 2.1은 Nil과 Jac 사이의 기본 연산을 보여주며, 특히 (2)항은 “∀z ∈ A, x∈Jac(U, 1−yz) ⇒ xy∈Jac U”라는 형태로 엔테일먼트의 무한 컷 규칙을 구현한다.

가장 중요한 새 레마는 Lemma 3.2이다. 여기서는 A가 야코비스 링이고 a∈A, B가 A‑알제브라이며 Bₐ가 Aₐ 위에서 적분적(integral)일 때, 모든 아이디얼 J⊆B에 대해 a·Jac B J ⊆ Nil B J임을 보인다. 기존 Emerton의 레마는 정규 영역(Integral domain) 가정이 필요했지만, 저자는 이를 제거하고 전혀 비정규적인 링에서도 적용 가능하도록 일반화했다. 증명 과정에서 B/J를 A/ker φ와 비교하고, 일련의 아이디얼 gₖ와 Jₖ를 구성해 귀납적으로 Nil 속성을 전파한다. 이때 Lemma 2.1(1)을 활용해 “af∈Nil Bₖ₋₁ 0 ⇒ af∈Nil Bₖ 0”을 얻는다.

이 레마를 바탕으로 Corollary 3.2(지역화는 야코비스성을 보존)와 Corollary 3.3(적분 확장은 야코비스성을 보존)을 얻고, 최종적으로 Theorem 3.1(일반 널스텔른제스) 즉 A가 야코비스이면 A