22E67 - Topological groups, Lie groups :: Lie groups :: Loop groups and related constructions, group-theoretic treatment