TY - JOUR
T1 - Infinitesimal topological generators and quasi non-archimedean topological groups
AU - Gelander, Tsachik
AU - Le Maître, François
N1 - Funding Information:
Research supported by the Interuniversity Attraction Pole DYGEST and Projet ANR-14-CE25-0004 GAMME.
Publisher Copyright:
© 2017 Elsevier B.V.
PY - 2017/3/1
Y1 - 2017/3/1
N2 - We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer n such that every neighborhood of the identity contains n elements generating a dense subgroup. We generalize a theorem of Schreier and Ulam by showing that any separable connected compact group is infinitesimally 2-generated. Inspired by a result of Kechris, we introduce the notion of a quasi non-archimedean group. We observe that full groups are quasi non-archimedean, and that every continuous homomorphism from an infinitesimally finitely generated group into a quasi non-archimedean group is trivial. We prove that a locally compact group is quasi non-archimedean if and only if it is totally disconnected, and provide various examples which show that the picture is much richer for Polish groups. In particular, we get an example of a Polish group which is infinitesimally 1-generated but totally disconnected, strengthening Stevens' negative answer to Problem 160 from the Scottish book.
AB - We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer n such that every neighborhood of the identity contains n elements generating a dense subgroup. We generalize a theorem of Schreier and Ulam by showing that any separable connected compact group is infinitesimally 2-generated. Inspired by a result of Kechris, we introduce the notion of a quasi non-archimedean group. We observe that full groups are quasi non-archimedean, and that every continuous homomorphism from an infinitesimally finitely generated group into a quasi non-archimedean group is trivial. We prove that a locally compact group is quasi non-archimedean if and only if it is totally disconnected, and provide various examples which show that the picture is much richer for Polish groups. In particular, we get an example of a Polish group which is infinitesimally 1-generated but totally disconnected, strengthening Stevens' negative answer to Problem 160 from the Scottish book.
KW - Lie groups
KW - Locally compact groups
KW - Non-archimedean groups
KW - Polish groups
KW - Topological generators
UR - http://www.scopus.com/inward/record.url?scp=85009069267&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85009069267&partnerID=8YFLogxK
U2 - 10.1016/j.topol.2016.12.019
DO - 10.1016/j.topol.2016.12.019
M3 - Article
AN - SCOPUS:85009069267
SN - 0166-8641
VL - 218
SP - 97
EP - 113
JO - Topology and its Applications
JF - Topology and its Applications
ER -