Topological group, not presentable as a finite-dimensional Lie group, but presentable as a Frechet Lie group, obtained by killing the third homotopy group of the spin group
topological group, not presentable as a finite-dimensional Lie group, but presentable as a Frechet Lie group, obtained by killing the third homotopy group of the spin group (en)