Lie group structures on quotient groups and universal complexifications for infinite-dimensional Lie groups
H. Glöckner, Journal of Functional Analysis 194 (2002) 347–409.