[논문 리뷰] Which infinite abelian groups admit an almost maximally almost-periodic group topology?

Athena P. Nguyen|ArXiv.org|2008. 12. 02.

Advanced Topology and Set Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 무한 순환 부분군을 가진 모든 무한 아벨 군이 비자명이지만 유한한 바르트만-뉴먼 라디칼을 가지는 하우스도르프 군 위상을 갖는다는 것을 증명한다. 즉, 거의 최대의 거의 주기적 위상이다. 주요 기여는 기존에 홀수 소수에 대해서만 알려져 있던 결과를 프뤼퍼 2군 $\mathbb{Z}(2^\infty)$에 대해 완성한 것으로, $T$-시퀀스와 특성군 기법을 사용하였다.

ABSTRACT

A topological group G is said to be almost maximally almost-periodic if its von Neumann radical is non-trivial, but finite. In this paper, we prove that every abelian group with an infinite torsion subgroup admits a (Hausdorff) almost maximally almost-periodic group topology. Some open problems are also formulated.

연구 동기 및 목표

• 비자명하지만 유한한 바르트만-뉴먼 라디칼(즉, 거의 최대의 거의 주기적 위상)을 가지는 하우스도르프 군 위상을 갖는 무한 아벨 군이 어떤 것인지 규명하는 것.
• 이전에 $p \neq 2$인 $\mathbb{Z}(p^\infty)$에 대해 성립하는 루카츠의 결과를 $p = 2$의 경우로 확장하여 프뤼퍼 군에 대한 분류를 완성하는 것.
• 구조적 군론적 및 위상수학적 방법을 사용하여, 무한 순환 부분군을 가진 모든 아벨 군이 그러한 위상을 갖는다는 것을 증명하는 것.
• 하우스도르프 위상군에서 아벨 군이 바르트만-뉴먼 라디칼로 실현될 수 있는지에 관한 열린 문제를 다루는 것.

제안 방법

• 특정 원소들이 항등원으로 수렴하도록 보장하는 아벨 군 내의 $T$-시퀀스를 사용하여 군 위상을 구성한다.
• 폰트리아긴 쌍대성 이론을 적용한다: 바르트만-뉴먼 라디칼 $\mathbf{n}(G)$는 모든 연속적 특성 $\chi \in \widehat{G}$의 핵들의 교집합이다.
• 보어-콤���트화 $bG = \widehat{\widehat{G}_d}$를 사용하여 $\mathbf{n}(G)$를 $\chi \in \widehat{G}$에 대해 모든 $\ker \chi$의 교집합으로 특성화한다.
• $\widehat{\mathbb{Z}(p^\infty)} \cong \mathbb{Z}_p$라는 사실을 활용하여 프뤼퍼 군 위에서의 특성과 그 핵을 분석하고 제어한다.
• 특정 조건 하에서 부분군 $A$가 거의 최대의 거의 주기적 위상을 갖는 군의 클래스 $\mathcal{A}$에 속해 있다면, 그와 같은 성질이 큰 군 $B$로까지 이행된다는 일반 결과(정리 4.2)를 적용한다.
• 감소형 $p$-군의 구조와 $\mathbb{Z}(2^\infty)$ 내의 $T$-시퀀스 존재성을 활용하여 원하는 위상을 명시적으로 구성한다.

실험 결과

연구 질문

• RQ1 어떤 무한 아벨 군이 비자명하지만 유한한 바르트만-뉴먼 라디칼을 가지는 하우스도르프 군 위상을 갖는가?
• RQ2 비자명하지만 유한한 바르트만-뉴먼 라디칼을 가지는 거의 최대의 거의 주기적 위상이 $\mathbb{Z}(p^\infty)$에 대해 성립하는 결과를 $p = 2$의 경우로 확장할 수 있는가?
• RQ3 어떤 아벨 군이 하우스도르프 위상군의 바르트만-뉴먼 라디칼이 될 수 있는가?
• RQ4 하우스도르프 아벨 위상군의 바르트만-뉴먼 라디칼이 될 수 있는 아벨 군의 클래스는 무엇인가?
• RQ5 모든 아벨 군 중에서 무한 순환 부분군을 가진 군은 거의 최대의 거의 주기적 위상을 갖도록 부여될 수 있는가?

주요 결과

• 정리 A는 무한 순환 부분군을 가진 모든 아벨 군이 하우스도르프 거의 최대의 거의 주기적 위상을 갖는다는 것을 증명한다.
• 정리 B는 $\mathbb{Z}(2^\infty)$와 임의의 0이 아닌 원소 $x$에 대해, $\mathbf{n}(\mathbb{Z}(2^\infty), \tau) = \langle x \rangle$가 되는 하우스도르프 군 위상 $\tau$가 존재함을 증명한다. 이는 유한 순환 부분군이다.
• $p = 2$에 대한 정리 B의 증명은 이전에 $p \neq 2$인 경우에 대해 루카츠가 증명한 결과를 완성한다.
• 거의 최대의 거의 주기적 위상을 갖는 군의 클래스 $\mathcal{A}$는 특정 군의 확장에 대해 닫혀 있으며, 이는 부분군으로부터 큰 군으로 성질을 이행할 수 있음을 의미한다.
• 적절한 $T$-시퀀스 구성에 의해 프뤼퍼 군 $\mathbb{Z}(2^\infty)$의 바르트만-뉴먼 라디칼을 0이 아닌 원소로 생성된 임의의 유한 순환 부분군으로 만들 수 있다.
• 바르트만-뉴먼 라디칼이 될 수 있는 아벨 군의 클래스 $\mathcal{B}$에는 $\mathbb{Z}$, $\mathbb{Z}(p^\infty)$, $\mathbb{R}$, $\mathbb{Q}$ 및 이러한 군들의 임의의 직접합과 직접곱이 포함된다.