# How to use the adjoint functor theorem construct the coproduct in Grp?

Let G and H are two groups,I know that the coproduct of them is the free product,but how to get it from the adjoint functor theorem? And I also want to see some applications of the adjoint functor theorem,who can help me?

-
At a guess, I would say you're supposed to use the fact that functors which have a right adjoint preserve colimits. –  Zhen Lin Jun 5 '11 at 15:12
I don't understand what you are asking. The Freyd Adjoint Functor theorem tells you how to construct a left adjoint to the underlying set functor $\mathbf{G}\colon\mathscr{G}roup\to\mathscr{S}et$ (since $\mathbf{G}$ satisfies the required conditions). The left adjoint will respect colimits, which means it sends coproducts in $\mathscr{S}et$ to coproducts in $\mathscr{G}roup$. But how is it you want to "get" the free product of two arbitrary groups from this? It's not true that every coproduct in $\mathscr{G}roup$ is the image of a coproduct in $\mathscr{S}et$... –  Arturo Magidin Sep 8 '11 at 16:11