Skip to Main Content

Proceedings of the American Mathematical Society

Published by the American Mathematical Society, the Proceedings of the American Mathematical Society (PROC) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

ISSN 1088-6826 (online) ISSN 0002-9939 (print)

The 2020 MCQ for Proceedings of the American Mathematical Society is 0.85.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

A characterization of compactly generated metric groups
HTML articles powered by AMS MathViewer

by Hiroshi Fujita and Dmitri Shakhmatov PDF
Proc. Amer. Math. Soc. 131 (2003), 953-961 Request permission

Abstract:

Recall that a topological group $G$ is: (a) $\sigma$-compact if $G=\bigcup \{K_n:n\in \mathbf N\}$ where each $K_n$ is compact, and (b) compactly generated if $G$ is algebraically generated by some compact subset of $G$. Compactly generated groups are $\sigma$-compact, but the converse is not true: every countable non-finitely generated discrete group (for example, the group of rational numbers or the free (Abelian) group with a countable infinite set of generators) is a counterexample. We prove that a metric group $G$ is compactly generated if and only if $G$ is $\sigma$-compact and for every open subgroup $H$ of $G$ there exists a finite set $F$ such that $F\cup H$ algebraically generates $G$. As a corollary, we obtain that a $\sigma$-compact metric group $G$ is compactly generated provided that one of the following conditions holds: (i) $G$ has no proper open subgroups, (ii) $G$ is dense in some connected group (in particular, if $G$ is connected itself), (iii) $G$ is totally bounded (= subgroup of a compact group). Our second major result states that a countable metric group is compactly generated if and only if it can be generated by a sequence converging to its identity element (eventually constant sequences are not excluded here). Therefore, a countable metric group $G$ can be generated by a (possibly eventually constant) sequence converging to its identity element in each of the cases (i), (ii) and (iii) above. Examples demonstrating that various conditions cannot be omitted or relaxed are constructed. In particular, we exhibit a countable totally bounded group which is not compactly generated.
References
Similar Articles
  • Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 54H11, 22A05
  • Retrieve articles in all journals with MSC (2000): 54H11, 22A05
Additional Information
  • Hiroshi Fujita
  • Affiliation: Department of Mathematical Sciences, Faculty of Science, Ehime University, Matsuyama 790-8577, Japan
  • Email: fujita@math.sci.ehime-u.ac.jp
  • Dmitri Shakhmatov
  • Affiliation: Department of Mathematical Sciences, Faculty of Science, Ehime University, Matsuyama 790-8577, Japan
  • MR Author ID: 196690
  • Email: dmitri@dpc.ehime-u.ac.jp
  • Received by editor(s): May 5, 1997
  • Received by editor(s) in revised form: August 17, 2001, and October 17, 2001
  • Published electronically: July 17, 2002
  • Communicated by: Alan Dow
  • © Copyright 2002 American Mathematical Society
  • Journal: Proc. Amer. Math. Soc. 131 (2003), 953-961
  • MSC (2000): Primary 54H11, 22A05
  • DOI: https://doi.org/10.1090/S0002-9939-02-06736-9
  • MathSciNet review: 1937434