[논문 리뷰] aleph_n-Free abelain group with no non-zero homomorphism Z

Saharon Shelah|ArXiv.org|2006. 09. 22.

Rings, Modules, and Algebras인용 수 6

한 줄 요약

이 논문은 조합적 매개변수 프레임워크와 블랙박스 구성 기법을 사용하여, $\aleph_{k(*)+1}$-자유 아벨 군 $G$를 구성한다. 이 군은 $\mathbb{Z}$로의 비영 homomorphism을 가지지 않으며, 순서수로 인덱싱된 생성자들 사이의 재귀 관계를 통해 $\aleph_{k(*)+1}$-자유성을 확보하면서 $\mathbb{Z}$-복사본의 직접합성을 피한다. 핵심 결과는 자유가 아니며 $\text{Hom}(G,\mathbb{Z})$가 자명한 군 $G$를 얻는 것이다.

ABSTRACT

For any natural n, we construct an aleph_n-free abelian groups which have few homomorphisms to Z . For this we use ``aleph_n-free (n+1)-dimensional black boxes''. The method is relevant to e.g. construction of aleph_n-free abelian groups with a prescribed endomorphism ring.

연구 동기 및 목표

• 특정 조건을 만족하는 $\aleph_{k(*)+1}$-자유 아벨 군 $G$를 구성하는 것, 즉 $\text{Hom}(G,\mathbb{Z}) = 0$를 만족하는 것.
• 기존의 $\aleph_1$-자유 군에 대한 결과를 더 높은 기수 $\aleph_{k(*)+1}$로 확장하는 것.
• 조합적 매개변수와 블랙박스 구성 기법을 활용하여 $\mathbb{Z}$-homomorphism 공간이 자명한 군을 구성하는 프레임워크를 제공하는 것.
• 특히 마틴의 공리와 기수 산술과 관련하여 이러한 군이 존재할 수 있는 체계적 조건과 모델이론적 조건을 탐색하는 것.

제안 방법

• 군 $G = G_{\mathbb{x}}$는 생성자 $x_{m,\vec{\eta},\nu}$, $y_{\vec{\eta},n}$, $z$를 갖으며, $y$-생성자와 $x$-생성자 간의 관계를 연결하는 재귀 관계 $\boxtimes_{\vec{\eta},n}$에 의해 정의된다.
• 조합적 매개변수 $\mathbb{x} = (k, S, \mathfrak{A})$가 사용되며, 여기서 $\mathfrak{A}$는 $^\omega S_m$ 내의 순서열 간의 관계를 코딩하여 군의 구조가 자유 합성부를 피하도록 보장한다.
• 블랙박스 구성 기법을 적용하여, 모든 부분군 $G_{U \cup u}/G_U$가 자유임을 보장함으로써, 확장에 대한 귀납적 닫힘을 통해 $\aleph_{k(*)+1}$-자유성을 유지한다.
• 기수 $\kappa$의 부분집합 $U \subseteq \kappa$로 인덱싱된 부분군의 계층을 사용하며, $G_U$는 재귀적으로 구성되어 몫의 자유성과 $\mathbb{Z}$-합성부의 방지를 유지한다.
• 모든 크기가 $< \aleph_{k(*)+1}$인 부분군이 자유임을 보여, 매개변수에 대한 $\theta$-자유 조건을 이용하여 군 $G$가 $\aleph_{k(*)+1}$-자유임을 입증한다.
• $\text{Hom}(G,\mathbb{Z})$의 자명성은 $z$-생성자나 $y$-생성자를 통해 비영 homomorphism이 존재할 수 없음을 보여, 재귀 관계와 분리되지 않은 구조 때문임을 증명한다.

실험 결과

연구 질문

• RQ1 크기가 $\aleph_{k(*)+1}$-자유인 아벨 군을 구성할 수 있는가? 이 군이 $\text{Hom}(G,\mathbb{Z}) = 0$를 만족하는가?
• RQ2 어떤 조합적 및 체계론적 조건이 군이 $\theta$-자유이지만 $\mathbb{Z}$-복사본의 직접합이 되지 않도록 보장하는가?
• RQ3 블랙박스 구성 기법과 매개변수화된 관계는 어떤 방식으로 $\mathbb{Z}$-쌍대가 자명한 군의 구성에 기여하는가?
• RQ4 마틴의 공리는 $\aleph_2$ 수준에서 이러한 구성의 방해 요소로 작용하는가?
• RQ5 ${}^\omega\mathbb{Z}$-유사한 구조를 더 높은 기수로 일반화할 수 있는가? 이 경우에도 $\text{Hom}(G,\mathbb{Z}) = 0$ 조건을 유지할 수 있는가?

주요 결과

• 구성된 군 $G = G_{\mathbb{x}}$는 $\aleph_{k(*)+1}$-자유이며, 이는 크기가 $\aleph_{k(*)+1}$ 미만인 모든 부분군이 자유 아벨 군임을 의미한다.
• 군 $G$는 $\text{Hom}(G,\mathbb{Z}) = 0$를 만족한다. 즉, $G$에서 $\mathbb{Z}$로의 비영 homomorphism이 존재하지 않는다.
• 재귀 관계로 인해 $\mathbb{Z}z \subseteq G$는 직접합성부가 아니며, $z$가 생성자임에도 불구하고 그러한 성질을 유지한다.
• 군은 $\mathfrak{A}$가 순서열과 관계를 코딩하여 $\mathbb{Z}$-합성부를 방지하는 조합적 매개변수 $\mathbb{x} = (k, S, \mathfrak{A})$를 사용하여 구성된다.
• 모든 $U$에 대해 크기가 $< \aleph_{k(*)+1}$인 경우 $G_{U \cup u}/G_U$는 자유이다. 이는 $G$의 $\aleph_{k(*)+1}$-자유성을 보장한다.
• 이 방법은 ${}^\omega\mathbb{Z}$ 구성 방식을 더 높은 기수로 일반화하며, 핵심 성질인 $\text{Hom}(G,\mathbb{Z}) = 0$를 유지한다.