On a class of regular Fréchet-Lie groups (Q2043532)

It is well-known that every strong ILB-Lie group carries a natural Fréchet-Lie group structure. In this paper the authors consider a sequence of a certain class of Banach Lie groups with weaker requirements than those conditions on a sequence of strong ILB-Lie groups, and prove that its projective limit is a Milnor's regular Lie Fréchet group. Furthermore, it is provided some regular subgroups of the group of diffeomorphisms \( \mathrm{Diff}(\mathbb{R}^n) \) of \(\mathbb R^n \) which is a regular Lie Fréchet group.