Let $G$ be a (complex algebraic) group, $H$ a subgroup, and ${\cal O}(G)$ and ${\cal O}(H)$ the coordinate algebras of complex regular functions of $G$ and $H$ respectively. Can ${\cal O}(H)$ ever embedded as a subalgebra of ${\cal O}(G)$? For example, I'm looking at $U(k1)$ as a subalgebra of $SU(k)$ (embedded in the bottom righthand corner with $1$ in the $u^1_1$ entry and $0$ everywhere else) and can't an embedding of ${\cal O}(U(k1)$) into ${\cal O}(SU(k)$).
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
It may be possible in rare circumstances, but the natural thing is that $\mathcal{O}(H)$ is a quotient of $\mathcal{O}(G)$, not a subalgebra. The quotient map is dual to the inclusion $H\to G$. I guess in the case that $G$ is a direct product $H \times K$, you get $$ \mathcal{O}(G) \simeq \mathcal{O}(H) \otimes \mathcal{O}(K), $$ and in this case you have what you want. But in general, the arrow should go the other direction. 

