[논문 리뷰] On Whitehead precovers

Paul C. Eklof, Saharon Shelah|ArXiv.org|2000. 11. 27.

Rings, Modules, and Algebras참고 문헌 10인용 수 12

한 줄 요약

이 논문은 ZFC + GCH 하에서, 유리수군 ℚ가 Whitehead 전커버를 갖지 않는 것이 일致 가능하다는 것을 증명하며, 따라서 Whitehead 군의 집합이 전커버 존재에 대한 충분조건을 만족하지 못한다는 것을 보여준다. 이는 이 시스템에서 ℤ-모듈에 대한 전커버 존재의 결정불가능성을 보여주는 모듈 이론의 핵심 질문을 해결한다.

ABSTRACT

It is proved undecidable in ZFC + GCH whether every Z-module has a^{perp} {Z}-precover.

연구 동기 및 목표

• ZFC + GCH 하에서 모든 ℤ-모듈이 ${}^\perp\{\mathbb{Z}\}$-전커버를 갖는지 조사하기.
• 전커버 존재에 대한 충분조건인, 어떤 모듈 $B$에 대해 $\mathcal{F}^\perp = \{B\}^\perp$가 성립하는지 Whitehead 군의 집합에 대해 판단하기.
• ZFC + GCH 모델에서 클래스 $\mathcal{W} = {}^\perp\{\mathbb{Z}\}$에 대한 전커버 존재의 일致성 강도 분석하기.
• 모듈 $B$가 존재하여 $\mathcal{W}^\perp = \{B\}^\perp$임을 ZFC + GCH에서 증명할 수 없다는 것을 보여주기.

제안 방법

• 강제법의 방법과 $\diamondsuit_\kappa$와 같은 조합론적 원리를 활용하여, 제한된 호모모르피즘을 갖는 비가산 Whitehead 군을 구성하기.
• Stationary 부분집합에 대한 $\diamondsuit_\kappa$-균일화와 $S^\kappa_{\aleph_0}$에 대한 ladder 체계를 적용하여 특정 기수를 갖는 Whitehead 군을 구축하기.
• 모든 무한계수 Whitehead 군 $A$에 대해 $\mathop{\mathrm{Ext}}(H_A, A) \neq 0$ 이고 $|H_A| \leq |A|^+$ 를 만족하는 Whitehead 군 $H_A$가 존재한다는 가정을 활용하기.
• 크기가 $\aleph_1$인 부분군의 연속 체인 $G_\alpha$를 구성하여, 원하는 호모모르피즘 성질을 갖는 비가산 기수를 가진 군 $G$를 만들기.
• GCH 하에서 $\diamondsuit_\kappa$의 일치성 덕분에 ZFC + GCH 모델에서 이러한 구성이 가능하다고 보장하기.
• Shelah의 V = L 하에서 Whitehead 군에 대한 결과와, $B$가 자유 모듈일 때 $\mathcal{W}^\perp = \{B\}^\perp$의 일치성 결과를 응용하기.

실험 결과

연구 질문

• RQ1 ZFC + GCH 하에서 모든 ℤ-모듈가 ${}^\perp\{\mathbb{Z}\}$-전커버를 갖는 것이 일치 가능한가?
• RQ2 ZFC + GCH 하에서 $\mathcal{F}^\perp = \{B\}^\perp$가 전커버 존재에 대한 충분조건으로 $\mathcal{W} = {}^\perp\{\mathbb{Z}\}$에 대해 성립할 수 있는가?
• RQ3 모든 아벨 군 $B$가 $\mathcal{W}^\perp = \{B\}^\perp$를 만족하지 않는 것이 일치 가능한가?
• RQ4 $\mathbb{Q}$에 대한 Whitehead 전커버 존재가 $\mathcal{W}^\perp = \{B\}^\perp$를 만족하는 모듈 $B$의 존재를 의미하는가?
• RQ5 모든 호모모르피즘이 주어진 Whitehead 군 $B$로 가는 이미지가 유한생성된다는 조건을 만족하는 비가산 Whitehead 군을 구성할 수 있는가?

주요 결과

• ZFC + GCH 하에서 일치 가능하게 $\mathbb{Q}$가 ${}^\perp\{\mathbb{Z}\}$-전커버를 갖지 않는다는 것이 입증되었으며, 이는 이 시스템에서 전커버 존재가 증명 불가능하다는 것을 보여준다.
• ZFC + GCH 하에서 일치 가능하게, 모든 Whitehead 군 $B$에 대해, 모든 호모모르피즘 $G_B \to B$의 이미지가 유한생성된다는 조건을 만족하는 비가산 Whitehead 군 $G_B$가 존재한다.
• 결과적으로, $\mathcal{W}^\perp = \{B\}^\perp$를 만족하는 아벨 군 $B$가 존재하지 않으며, 이는 $\mathcal{W}$에 대해 전커버 존재의 충분조건가 실패한다는 것을 의미한다.
• 이 구성은 $\diamondsuit_\kappa$-균일화와 GCH 하에서 $\kappa$-균일화를 만족하는 stationary 부분집합과 ladder 체계의 존재에 의존한다.
• 이 결과는 비가산 기수를 갖는 모델이 없더라도 성립하며, 추가로 강제법 공리가 $\diamondsuit_\kappa$와 균일화를 만족하는 모델로도 확장된다.
• $\mathbb{Q}$에 대한 전커버 존재 실패는, 비가산 기수와 $\mathbb{Q}$의 임베딩성 때문인 전커버 다이어그램에서의 릿지팅이 존재하지 않기 때문이다.