We know that every finite dimensional Lie group has no small subgroups. Is there any infinite dimensional Lie group which has small subgroups? Please explain your answer by refrence. Thanks so much.
closed as offtopic by YCor, Wolfgang, Myshkin, JanChristoph SchlagePuchta, Alexey Ustinov May 21 at 14:49This question appears to be offtopic. The users who voted to close gave this specific reason:



The locally convex space $\mathbb R^{\mathbb N}$ (product of a countable number of copies of $\mathbb R$) equipped with the product topology can be made into an Abelian Lie group with respect to addition and the standard manifold structure. A local basis at the origin consists of open sets of the form $\Pi U_i$ where $U_i$ is an open neighborhood of $0$ in $\mathbb R$ and $U_i\neq\mathbb R$ for fintely many indices $i$ only. Such a neighborhood of $0$ contains nontrivial vector subspaces, so that $G$ contains small subgroups. This example is discussed in "Towards a Lie theory of locally convex groups", KarlHermann Neeb, Japan. J. Math. 1, 291–468 (2006). 

