Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Let $G$ be a semisimple Lie group and $\mathfrak{g}$ its Lie algebra. Do we have the following result: $V$ is an integrable $U(\mathfrak{g})$-module if and only if $V$ is a $\mathbb{C}[G]$-comodule? Thank you very much.