Nondiscrete topological groups with many discrete subgroups (Q1295313): Difference between revisions

In his announcement [Vestn. Mosk. Univ., Ser. I Mat. Mekh. (3) 103 (1980)] and numerous subsequent publications \textit{A. Yu. Ol'shanskiĭ} has exploited his novel ``method of cancellation diagrams'' to achieve the construction of various non-Abelian (topological) groups with remarkable pre-assigned properties. Using parts of Ol'shanskiĭ's arguments, and leaning heavily on the free amalgam \(\Omega^1= \cup_{\mu\in I}G_\mu\) (with \(G_\mu\cap G_\nu=\{1\}\) for \(\mu\neq\nu\) in \(I)\) of an arbitrary set \(\{G_\mu:\mu\in I\}\) of groups, the present authors recapture and reformulate several results of Ol'shanskiĭ and his students, in several cases finding refinements of theorems of Ol'shanskiĭ type not noted earlier. For example, they construct many countable Hausdorff topological groups (which may be chosen periodic or torsion-free) which are strongly minimal in the sense that each proper subgroup is discrete; they find for each \(n\geq 1\) a strongly minimal topological Jonsson group \(G\) such that \(|G|=\aleph_n\); and they find \({\mathfrak c}\)-many countably infinite pairwise nonisomorphic Hausdorff groups each containing every finite group of odd order, and with no proper infinite subgroup. -- Among the problems left unanswered is Open Question 3: Is there an infinite group of bounded exponent, all of whose proper subgroups are finite, which admits a nondiscrete Hausdorff group topology?