[논문 리뷰] Pseudocompact paratopological groups

Alex Ravsky|arXiv (Cornell University)|2010. 03. 28.

Advanced Topology and Set Theory참고 문헌 33인용 수 12

한 줄 요약

이 논문은 가상완비 위상군의 성질을 조사하며, 이러한 군이 위상군이 되기 위한 필요 및 충분 조건을 확립한다. 이는 위상군이 아닌 (2-)가상완비 위상군의 구축, 2-가상완비 군이 가상완비임을 증명하며, 하우스도르프 σ-유한 가상완비 가상완비 위상군이 컴act 위상군임을 보이며, 곱과 정규부분군에 관한 추가 결과를 포함한다.

ABSTRACT

We obtain many results and solve some problems about pseudocompact paratopological groups. In particular, we obtain necessary and sufficient conditions when such a group is topological. (2-)pseudocompact paratopological groups that are not topological are constructed. It is proved that each 2-pseudocompact paratopological group is pseudocompact and that each Hausdorff \sigma-compact pseudocompact paratopological group is a compact topological group. Our particular attention is devoted to periodic and topologically periodic groups. In addition, we prove that the product of a nonempty family of pseudocompact paratopological groups is pseudocompact. We show that a paratopological group G is pseudocompact provided it has a normal subgroup N such that both N and the quotient paratopological group G/N are pseudocompact.

연구 동기 및 목표

• 가상완비 가상완비 위상군이 위상군이 되기 위한 필요 및 충분 조건을 규명하는 것.
• (2-)가상완비 가상완비 위상군이 위상군이 아닌 예를 구축하는 것.
• 하우스도르프 가상완비 위상군에서 가상완비성, σ-유한성, 컴팩턴스 사이의 관계를 조사하는 것.
• 가상완비성의 곱 및 몫 구성에서의 행동을 분석하는 것.
• 가상완비성의 맥락에서 주기적 및 위상적 주기적 가상완비 위상군을 연구하는 것.

제안 방법

• 가상완비 조건 하에서 가상완비 위상군의 구조를 분석하기 위해 위상적 및 대수적 기법을 사용하는 것.
• 특정 군 위상구조를 통한 반례 구축을 통해 (2-)가상완비 군에서 비위상군 성질을 입증하는 것.
• 정규부분군 및 몫군의 성질을 적용하여 가상완비성을 전체 군으로 확장하는 것.
• σ-유한성과 가상완비성, 하우스도르프 분리공리의 조합이 컴팩턴스를 유도함을 증명하는 것.
• 가상완비성이 가상완비 위상군의 임의의 곱에 대해 닫혀 있음을 확립하는 것.
• 주기성과 위상적 주기성을 분석하여 가상완비 조건 하에서의 구조적 제약을 도출하는 것.

실험 결과

연구 질문

• RQ1 가상완비 가상완비 위상군이 반드시 위상군이 되는 조건은 무엇인가?
• RQ2 위상군이 아닌 (2-)가상완비 가상완비 위상군이 존재할 수 있으며, 만약 존재한다면 어떻게 구축할 수 있는가?
• RQ3 모든 2-가상완비 가상완비 위상군은 가상완비인가?
• RQ4 비어있지 않은 가상완비 가상완비 위상군의 곱은 여전히 가상완비인가?
• RQ5 정규부분군과 몫군이 모두 가상완비인 가상완비 위상군이 전체 군에서 가상완비가 되기 위한 조건은 무엇인가?

주요 결과

• 정규부분군과 몫군이 모두 가상완비인 가상완비 위상군은 가상완비이다.
• 임의의 비어있지 않은 가상완비 가상완비 위상군의 곱은 가상완비이다.
• 모든 2-가상완비 가상완비 위상군은 가상완비이다.
• 하우스도르프 σ-유한 가상완비 가상완비 위상군은 컴팩트 위상군이다.
• 위상군이 아닌 (2-)가상완비 가상완비 위상군이 존재하며, 이는 잠재적 동치관계에 대한 반례를 제공한다.
• 가상완비성은 몫과 곱의 형성, 정규부분군 확장에서 보존된다.