유한생성환에서의 힐베르트 열번째 문제 해결

초록

본 논문은 힐베르트 열번째 문제를 정수에서 유한생성환으로 일반화한 최신 연구를 정리한다. MRDP 정리와 Poonen의 타원곡선 기준을 이용해 정수 집합을 임의의 유한생성환 안에서 Diophantine 집합으로 구현하는 방법을 제시하고, 저자들이 최근 해결한 타원곡선의 랭크 1 존재 문제를 개략적으로 설명한다. 결과적으로 모든 무한한 유한생성환에 대해 힐베르트 열번째 문제가 비결정론적임을 증명한다.

상세 분석

논문은 먼저 힐베르트 열번째 문제의 역사적 배경을 서술하고, 1970년 Matiyasevich‑Robinson‑Davis‑Putnam (MRDP) 정리로 정수 ℤ에 대한 부정적 해답이 확립된 과정을 정리한다. 이어서 유한생성환 R을 ℤ