A Lie group corresponding to the free Lie algebra and its universality

Yury A. Neretin

Consider the real free Lie algebra ${\mathfrak{fr}}_n$ with generators ${\omega }_1$, \dots, ${\omega }_n$. Since it is positively graded, it has a completion ${\overline{\mathfrak{fr}}}_n$ consisting…