Locally pseudocompact topological groups

DOI10.1016/0166-8641(94)00048-8MaRDI QIDQ1892177zbMATH OpenOpenAlexFDO

Authors F. Javier Trigos-Arrieta, W. W. Comfort

Publication date 2 January 1996

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-8641(94)00048-8

locally compact group pseudocompact space Weil completion

Analysis on general topological groups (22A10) (C)- and (C^*)-embedding (54C45) Topological groups (topological aspects) (54H11)

Review text

By a result of \textit{W. Comfort} and \textit{K. Ross} [Pac. J. Math. 16, 483- 496 (1966; Zbl 0214.285)], the following conditions are equivalent for a dense subgroup \(G\) of a compact topological group \(\overline {G}\): (a) \(G\) is pseudocompact; (b) \(G\) is \(C^*\)-embedded in \(\overline {G}\); (c) \(G\) is \(G_\delta\)-dense in \(\overline {G}\), that is, \(G\) intersects every non-empty \(G_\delta\)-subset of \(\overline {G}\). -- What happens if the ``enveloping group \(\overline {G}\) is locally pseudo-compact? Following A. Weil, the authors call a group \(G\) locally bounded if there exists a bounded neighborhood \(U\) of the identity in \(G\), that is, \(U\) can be covered by finitely many translations of any non-empty open subset of \(G\). The main result of the paper is the following theorem which answers the question above. Theorem. If \(G\) is a locally bounded group with Weil completion \(\overline {G}\), then the following conditions are equivalent: (a) \(G\) is locally pseudocompact; (b) \(G\) is \(C^*\)-embedded in \(\overline{G}\); (c) the set \(\text{cl}_G U\) is \(C^*\)-embedded in \(\text{cl}_{\overline {G}} U\) for some non-empty open subset \(U\) of \(G\); (d) the set \(\text{cl}_G U\) is \(C^*\)-embedded in \(\text{cl}_{\overline {G}} U\) for every bounded open subset \(U\) of \(G\). -- The paper also contains helpful discussions and an extensive bibliography.

Recommendations

Cites work

Cited in

(32)

This page was built for publication: Locally pseudocompact topological groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892177)