Normality on topological groups (Q2875973)

A topological group is a triple \((G,\cdot,\tau)\) formed by a set \(G\), a binary operation \(\cdot\) which provides \(G\) with a group structure and a topology \(\tau\) on \(G\) such that the mappings \(s: G \times G \to G\) and \(i : G \to G\) denoted by \(s(x, y) = x \cdot y\) and \(i(x) = x^{-1}\) are continuous with respect to \(\tau\) on \(G\) and the product topology \(\tau\times \tau\) on \(G\times G\). It is known that every \(T_1\) topological group is automatically Hausdorff, regular and completely regular. For an abstract Abelian group \(G\), there is a topology closely related with the algebraic structure which is called the Bohr topology. It is the weak topology corresponding to the family of all its characters, \(\Hom(G,T)\). Van Douwen uses the symbol \(G_{\natural}\) to denote an Abelian group \(G\) endowed with the Bohr topology. In this paper the author proves the following theorems:NEWLINENEWLINE{ Theorem A.} For an uncountable Abelian group \(G\), \(G_{\natural}\) has the following properties:NEWLINENEWLINE(i) \(G_{\natural}\) is 0-dimensional.NEWLINENEWLINE(ii) \(G_{\natural}\) is not a Baire space.NEWLINENEWLINE(iii) Every infinite subset \(A \subset G_{\natural}\) has a relative discrete subset \(D\) with \(| D| = | A|\) that is \(C^{\ast}\)-embedded in the Bohr compactification \(bG\).NEWLINENEWLINE(iv) \(G_{\natural}\) is not normal.NEWLINENEWLINE(v) No nontrivial sequence in \(G_{\natural}\) converges to a point in \(bG\).NEWLINENEWLINE{ Theorem B.} Let \(G := (Z^R,\tau)\), where each factor carries the discrete topology and \(\tau\) is the product topology and let \(\tau_b\) be the Bohr topology for \(G\). The group \(X := (Z^R,\tau_b)\) is not normal.NEWLINENEWLINE{ Theorem C.} Let \(G := (Z^R,\tau)\), where each factor carries the discrete topology and \(\tau\) is the product topology. Then, every topology compatible with the duality \((G, G^{\wedge})\) is nonnormal.NEWLINENEWLINEFor the entire collection see [Zbl 1287.00022].