Stav dette: Infinite dimensional groups with applications