Loop groups and related constructions Lie groups mathematics