[논문 리뷰] Pure extensions of locally compact abelian groups

Peter Loth|ArXiv.org|2005. 08. 15.

Advanced Topology and Set Theory참고 문헌 16인용 수 6

한 줄 요약

이 논문은 국소적으로 컴act한 아벨(LCA) 군의 범주에서 순수 확장을 조사하며, 군 Pext(C,A)가 Ext(C,A)의 첫 번째 울름 부분군과 일치하는 조건을 규명한다. 이는 특히 컴팩트하게 생성된 군과 이산 군의 위상적 직접합으로 표현되는 클래스 𝒞 내의 순수 임베딩 가능한 군을 특성화하며, 모든 순수 확장이 분리되는 군들에 대한 완전한 구조적 기술을 제공한다. 이는 확장 및 쌍대 확장 설정 모두에서 적용된다.

ABSTRACT

In this paper, we study the group Pext(C,A) for locally compact abelian (LCA) groups A and C. Sufficient conditions are established for Pext(C,A) to coincide with the first Ulm subgroup of Ext(C,A). Some structural information on pure injectives in the category of LCA groups is obtained. Letting K denote the class of LCA groups which can be written as the topological direct sum of a compactly generated group and a discrete group, we determine the groups G in K which are pure injective in the category of LCA groups. Finally we describe those groups G in K such that every pure extension of G by a group in K splits and obtain a corresponding dual result.

연구 동기 및 목표

• 국소적으로 컴팩트한 아벨 군에 대해 Pext(C,A)가 Ext(C,A)의 첫 번째 울름 부분군과 일치하는 조건을 규명하는 것.
• 특히 컴팩트하게 생성된 군과 이산 군의 위상적 직접합으로 표현되는 클래스 𝒞 내의 군들에 대해, LCA 군 범주 내에서 순수 임베딩 가능한 군을 특성화하는 것.
• 모든 순수 확장이 분리되는 군 G ∈ 𝒞를 특정하는 것. 이는 G에 의해 𝒞 내의 군으로의 순수 확장이 분리되며, 동시에 𝒞 내의 군에 의해 G로의 순수 확장도 분리되는 경우를 포함한다.
• 벡터 군, 토랄 군, 유한 순환 군의 곱, 유계 또는 직접합 이산 군을 사용하여 이러한 군의 구조적 분해를 수립하는 것.
• 위상적 순수성, 임베딩 가능성, 확장의 분리성 간의 관계를 LCA 군의 맥락에서 명확히 하는 것.

제안 방법

• LCA 군 범주 내에서 Ext 및 Pext 군 간의 관계를 규명하기 위해 폰트랴긴 쌍대성과 소멸자 이론을 활용한다.
• 순수 부분군과 위상적 순수성에 관한 정리들을 적용하며, 특히 컴팩트하게 생성된 군 내 순수 부분군에 관한 [L1]의 결과를 활용한다.
• 유한성 조건 하에, Pext(⊕H_i, G) ≅ ∏ Pext(H_i, G) (이산 H_i에 대해) 및 Pext(G, ∏H_i) ≅ ∏ Pext(G, H_i) (콤팩트 H_i에 대해)의 동형을 활용한다.
• 이산 감소 순환 A와 컴팩트하게 생성된 G에 대해 Ext(G, A) = 0 임을 이용하여 순수 확장의 분리를 증명한다.
• 폰트랴긴 쌍대를 통한 쌍대성 적용을 통해 분리 확장의 쌍대 특성화를 유도한다.
• 기존의 구조 정리들을 적용한다: 예를 들어, 대수적으로 컴팩트한 군은 유리수화 가능 군과 감소 군의 합으로 표현되며, 감소 순환 군이 코터시온일 경우 유계임을 이용한다.

실험 결과

연구 질문

• RQ1 LCA 군 A와 C에 대해, 언제 Pext(C,A)가 Ext(C,A)의 첫 번째 울름 부분군과 일치하는가?
• RQ2 클래스 𝒞(콤팩트하게 생성된 군과 이산 군의 위상적 직접합으로 표현되는 군들) 내에서 LCA 군 범주에서 순수 임베딩 가능한 군은 무엇인가?
• RQ3 클래스 𝒞 내의 군으로의 순수 확장이 항상 분리되는 군 G ∈ 𝒞는 무엇인가?
• RQ4 클래스 𝒞 내의 군으로부터 G로의 순수 확장이 항상 분리되는 군 G ∈ 𝒞에 대한 쌍대 특성화는 무엇인가?
• RQ5 벡터 군, 토랄 군, 유한 순환 군의 곱, 유계 이산 군 등의 구조적 구성 요소들이 클래스 𝒞 내 순수 확장의 분리성과 어떻게 관련되는가?

주요 결과

• A와 C가 모두 컴팩트하게 생성되거나, 소수군이 없는 경우, Pext(C,A)는 Ext(C,A)의 첫 번째 울름 부분군과 일치한다.
• 𝒞 내의 군 G가 LCA 군 범주에서 순수 임베딩 가능할 조건은 G ≅ ℝⁿ ⊕ Tᵐ (n ≥ 0 및 기수 m)과 동치이다.
• G에 의해 𝒞 내의 군으로의 순수 확장이 항상 분리되는 조건은 G ≅ ℝⁿ ⊕ Tᵐ ⊕ A ⊕ B 이며, 여기서 A는 유한 순환 군의 직접곱이고 B는 이산 유계 군이다.
• 쌍대적으로, 𝒞 내의 군으로부터 G로의 순수 확장이 항상 분리되는 조건은 G ≅ ℝⁿ ⊕ C ⊕ D 이며, 여기서 C는 콤팩트 순환 군이고 D는 순환 군의 이산 직접합이다.
• 이산 감소 순환 군 A와 컴팩트하게 생성된 X에 대해 Pext(X,A) = 0 이며, 이는 모든 이러한 순수 확장이 분리됨을 의미한다.
• 𝒞 내 순수 임베딩 가능한 군의 클래스는 정확히 𝒞 내의 임베딩 가능한 군의 클래스와 일치하며, 이는 정확히 ℝⁿ ⊕ Tᵐ 형태의 군들이다.