Pseudocompact and countably compact abelian groups: Cartesian products and minimality
HTML articles powered by AMS MathViewer
- by Dikran N. Dikranjan and Dmitrii B. Shakhmatov PDF
- Trans. Amer. Math. Soc. 335 (1993), 775-790 Request permission
Abstract:
Denote by $\mathcal {G}$ the class of all Abelian Hausdorff topological groups. A group $G \in \mathcal {G}$ is minimal (totally minimal) if every continuous group isomorphism (homomorphism) $i:G \to H$ of $G$ onto $H \in \mathcal {G}$ is open. For $G \in \mathcal {G}$ let $\kappa (G)$ be the smallest cardinal $\tau \geq 1$ such that the minimality of ${G^\tau }$ implies the minimality of all powers of $G$. For $\mathcal {Q} \subset \mathcal {G}$, $\mathcal {Q} \ne \emptyset$, we set $\kappa (\mathcal {Q}) = \sup \{ \kappa (G):G \in \mathcal {G}\}$ and denote by $\alpha (\mathcal {Q})$ the smallest cardinal $\tau \geq 1$ having the following property: If $\{ {G_i}:i \in I\} \subset \mathcal {Q}$, $I \ne \emptyset$, and each subproduct $\prod {\{ {G_i}:i \in J\} }$, with $J \subset I$, $J \ne \emptyset$, and $|J| \leq \tau$, is minimal, then the whole product $\prod {\{ {G_i}:i \in I\} }$ is minimal. These definitions are correct, and $\kappa (G) \leq {2^\omega }$ and $\kappa (\mathcal {Q}) \leq \alpha (\mathcal {Q}) \leq {2^\omega }$ for all $G \in \mathcal {G}$ and any $\mathcal {Q} \subset \mathcal {G}$, $\mathcal {Q} \ne \emptyset$, while it can happen that $\kappa (\mathcal {Q}) < \alpha (\mathcal {Q})$ for some $\mathcal {Q} \subset \mathcal {G}$. Let $\mathcal {C} = \{ G \in \mathcal {G}:G\;{\text {is}}\;{\text {countably}}\;{\text {compact}}\}$ and $\mathcal {P} = \{ G \in \mathcal {G}:G\;{\text {is}}\;{\text {pseudocompact}}\}$. If $G \in \mathcal {C}$ is minimal, then $G \times H$ is minimal for each minimal (not necessarily Abelian) group $H$; in particular, ${G^n}$ is minimal for every natural number $n$. We show that $\alpha (\mathcal {C}) = \omega$, and so either $\kappa (\mathcal {C}) = 1$ or $\kappa (\mathcal {C}) = \omega$. Under Lusin’s Hypothesis ${2^{{\omega _1}}} = {2^\omega }$ we construct $\{ {G_n}:n \in \mathbb {N}\} \subset \mathcal {P}$ and $H \in \mathcal {P}$ such that: (i) whenever $n \in \mathbb {N}$, $G_n^n$ is totally minimal, but $G_n^{n + 1}$ is not even minimal, so $\kappa ({G_n}) = n + 1$; and (ii) ${H^n}$ is totally minimal for each natural number $n$, but ${H^\omega }$ is not even minimal, so $\kappa (H) = \omega$. Under ${\text {MA}} + \neg {\text {CH}}$, conjunction of Martin’s Axiom with the negation of the Continuum Hypothesis, we construct $G \in \mathcal {P}$ such that ${G^\tau }$ is totally minimal for each $\tau < {2^\omega }$, while ${G^{{2^\omega }}}$ is not minimal, so $\kappa (G) = {2^\omega }$. This yields $\alpha (\mathcal {P}) = \kappa (\mathcal {P}) = {2^\omega }$ under ${\text {MA}} + \neg {\text {CH}}$. We also present an example of a noncompact minimal group $G \in \mathcal {C}$, which should be compared with the following result obtained by the authors quite recently: Totally minimal groups $G \in \mathcal {C}$ are compact.References
- Garrett Birkhoff, A note on topological groups, Compositio Math. 3 (1936), 427–430. MR 1556955
- W. W. Comfort, Topological groups, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 1143–1263. MR 776643
- W. W. Comfort and Douglass L. Grant, Cardinal invariants, pseudocompactness and minimality: some recent advances in the topological theory of topological groups, Topology Proc. 6 (1981), no. 2, 227–265 (1982). MR 672457
- W. W. Comfort and Lewis C. Robertson, Cardinality constraints for pseudocompact and for totally dense subgroups of compact topological groups, Pacific J. Math. 119 (1985), no. 2, 265–285. MR 803119
- W. W. Comfort and Kenneth A. Ross, Pseudocompactness and uniform continuity in topological groups, Pacific J. Math. 16 (1966), 483–496. MR 207886
- W. W. Comfort and T. Soundararajan, Pseudocompact group topologies and totally dense subgroups, Pacific J. Math. 100 (1982), no. 1, 61–84. MR 661441
- H. H. Corson, Normality in subsets of product spaces, Amer. J. Math. 81 (1959), 785–796. MR 107222, DOI 10.2307/2372929
- Dikran Dikranjan, Sur la minimalité des produits de groupes topologiques abéliens, C. R. Acad. Sci. Paris Sér. I Math. 299 (1984), no. 8, 303–306 (French, with English summary). MR 761252
- Dikran Dikranjan and Ivan Prodanov, Totally minimal topological groups, Annuaire Univ. Sofia Fac. Math. Méc. 69 (1974/75), 5–11 (1979) (English, with Bulgarian summary). MR 562518
- Dikran N. Dikranjan, Ivan R. Prodanov, and Luchezar N. Stoyanov, Topological groups, Monographs and Textbooks in Pure and Applied Mathematics, vol. 130, Marcel Dekker, Inc., New York, 1990. Characters, dualities and minimal group topologies. MR 1015288
- D. N. Dikranjan and D. B. Shakhmatov, Products of minimal abelian groups, Math. Z. 204 (1990), no. 4, 583–603. MR 1062137, DOI 10.1007/BF02570894
- D. N. Dikranjan and D. B. Shakhmatov, Critical power of minimality of topological groups close to being compact, C. R. Acad. Bulgare Sci. 43 (1990), no. 10, 13–15 (1991). MR 1106078
- Dikran N. Dikranjan and Dmitrii B. Shakhmatov, Compact-like totally dense subgroups of compact groups, Proc. Amer. Math. Soc. 114 (1992), no. 4, 1119–1129. MR 1081694, DOI 10.1090/S0002-9939-1992-1081694-2
- Doïtchin Doïtchinov, Produits de groupes topologiques minimaux, Bull. Sci. Math. (2) 96 (1972), 59–64 (French). MR 308323
- Ryszard Engelking, Topologia ogólna, Państwowe Wydawnictwo Naukowe, Warsaw, 1975 (Polish). Biblioteka Matematyczna, Tom 47. [Mathematics Library. Vol. 47]. MR 0500779 M. Fréchet, Sur quelques points du calcul fonctionel, Rend. Circ. Mat. Palermo 22 (1906), 1-74.
- I. I. Guran, Minimal topological groups, Topology and set theory, Udmurt. Gos. Univ., Izhevsk, 1982, pp. 64–71 (Russian). MR 760275
- Edwin Hewitt, Rings of real-valued continuous functions. I, Trans. Amer. Math. Soc. 64 (1948), 45–99. MR 26239, DOI 10.1090/S0002-9947-1948-0026239-9
- Edwin Hewitt and Kenneth A. Ross, Abstract harmonic analysis. Vol. I: Structure of topological groups. Integration theory, group representations, Die Grundlehren der mathematischen Wissenschaften, Band 115, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR 0156915
- Shizuo Kakutani, Über die Metrisation der topologischen Gruppen, Proc. Imp. Acad. Tokyo 12 (1936), no. 4, 82–84 (German). MR 1568424
- Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
- I. R. Prodanov and L. N. Stojanov, Every minimal abelian group is precompact, C. R. Acad. Bulgare Sci. 37 (1984), no. 1, 23–26. MR 748738
- Iv. Prodanov and L. Stojanov, Minimal group topologies, Topology, theory and applications (Eger, 1983) Colloq. Math. Soc. János Bolyai, vol. 41, North-Holland, Amsterdam, 1985, pp. 493–508. MR 863933
- R. M. Stephenson Jr., Minimal topological groups, Math. Ann. 192 (1971), 193–195. MR 286934, DOI 10.1007/BF02052870 —, Some unsolved problems concerning $P$-minimal and $P$-closed spaces, Proc. Charlotte Topological Conf., Academic Press, New York, 1974, pp. 249-257. L. Stoyanov, On products of minimal and totally minimal groups, Proc. 11th Spring Conf. of the Union of Bulgarian Math., Sunny Beach, 1982, pp. 287-294.
- Luchesar Stojanov, Weak periodicity and minimality of topological groups, Annuaire Univ. Sofia Fac. Math. Méc. 73 (1979), 155–167 (1986) (English, with Bulgarian summary). MR 893716
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 335 (1993), 775-790
- MSC: Primary 22A05; Secondary 54B10
- DOI: https://doi.org/10.1090/S0002-9947-1993-1085937-6
- MathSciNet review: 1085937