In 1990, Comfort asked Question 477 in the survey book "Open Problems in Topology": Is there, for every (not necessarily infinite) cardinal number $α ≤ 2^{𝔠}$, a topological group G such that $G^γ$ is countably compact for all cardinals γ < α, but $G^α$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $MA_{countable}$. Recently, Tomita showed that every finite cardinal answers Comfort's question in the affirmative, also from $MA_{countable}$. However, the question has remained open for infinite cardinals. We show that the existence of $2^{𝔠}$ selective ultrafilters + $2^{𝔠} = 2^{<2^{𝔠}}$ implies a positive answer to Comfort's question for every cardinal $κ ≤ 2^{𝔠}$. Thus, it is consistent that κ can be a singular cardinal of countable cofinality. In addition, the groups obtained have no non-trivial convergent sequences.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Under 𝔭 = 𝔠, we prove that it is possible to endow the free abelian group of cardinality 𝔠 with a group topology that makes its square countably compact. This answers a question posed by Madariaga-Garcia and Tomita and by Tkachenko. We also prove that there exists a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group) whose square is countably compact. This answers a question posed by Grant.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.