값이 있는 체와 자기동형사의 합성 및 존재적 폐쇄성

초록

본 논문은 자동사상이 존재하는 값이 있는 체를 연구한다. 모든 값이 있는 차이 체는 σ‑불변 단면(cross‑section)을 갖는 확장으로 확대될 수 있음을 보이고, 잔여 특성 0인 경우 σ‑불변 각성분(angular component)과 함께 잔여 문제와 값 문제 사이의 합성(amalgamation) 가능성을 정확히 규정한다. 또한 이러한 범주에서 존재적으로 폐쇄된 구조를 특성화하고, 그 양의 이론이 두 번째 종류의 트리 속성(NTP₂)을 갖지 않음을 증명한다.

상세 분석

논문은 먼저 값이 있는 차이 체(K,v,σ)를 정의하고, σ가 값군 Γ와 잔여체 k에 각각 유도된 자동사상과 호환되는 경우를 다룬다. 핵심 정리 A(정리 2.14)는 존재적으로 폐쇄된 값이 있는 차이 체라면 그 곱군 O×는 Z