Question: I am trying to solve the following question:

Let $G$ be a finite group and $H$ a subgroup of $G$. Let $A$ be a $G$-module. Show that $\pi: I^{H}\_{G}(A)\to A$ defined by $\pi(f)=\sum\_{g\in G/H}g\cdot f(g^{-1})$ is surjective morphism.

Here, $I^{H}\_{G}(A)$ is the induced module from $H$ to $G$. It is $Hom\_{H}(\mathbb{Z}[G],A)$.

I tried to understand the image of $\pi$, but I could only conclude that it is invariant by $H$. I don't have any other idea what to do.

Answer: 
Let's start with the following observation. If $H$ is a subgroup of $G$, then we have an isomorphism $f \colon \mathbb{Z}[G] \to \bigoplus\_{G/H} \mathbb{Z}[H]$ of left $H$-modules. Here the direct sum is taken over the *right* cosets. For convenience, let's enumerate these cosets as $Hg\_1,\ldots,Hg\_r$, and let's write an element in the target as an $r$-tuple $(h\_1,\ldots,h\_r)$. The map $f$ is then the expected one: Start with an element $x \in G$, viewed as an element of $\mathbb{Z}[G]$. It lives in a unique $Hg\_i$ for some $i$, and can thus be written as $hg\_i$. Then $f(x) = (0,\ldots,h,\ldots,0)$, with the $h$ on the $i$-th index.

Now that we know this, we observe that
$$\begin{split}
\operatorname{Hom}\_{\mathbb{Z}[H]}(\mathbb{Z}[G],A) &= \operatorname{Hom}\_{\mathbb{Z}[H]}(\bigoplus\_{G/H} \mathbb{Z}[H],A)\\
&= \bigoplus\_{G/H} \operatorname{Hom}\_{\mathbb{Z}[H]}(\mathbb{Z}[H],A) \\
&= \bigoplus\_{G/H} A\end{split}$$
Surely we should then expect a surjection onto $A$. The map $\pi$ you're interested in should, in this langauge, be precisely the 'expected' surjection $\bigoplus\_{G/H} A \to A$, which is the identity on every component.

**Edit.** So I guess that if you meditate on these steps you should be able to 'see' an explicit pre-image of an element $a \in A$. Namely, split up $G$ into cosets $Hg\_1,\ldots,Hg\_r$, and assume WLOG that $g\_1 = e$. Now consider the $H$-equivariant map $\alpha \colon \mathbb{Z}[G]$ sending $e$ to $a$ and hence $h$ to $ha$, while sending all the other cosets entirely to $0$. By a direct computation, $\pi(\alpha)$ should be $a$.
I think it is straightforward to check that $\pi$ is a morphism so I will just show that it is surjective. Let $a \in A$ and define $f:G \to A$ to be this function: for $h \in H$, define $f(h) = h \cdot a$ and for $g \notin H$, define $f(g)=0$. Then $f \in I\_G^H(A)$. We see that $\pi(f)= 1 \cdot f(1)=a$. Therefore $\pi$ is surjective.