Example

The kernel K of L need not be trivial:
If G = Z and H = 3Z, then the kernel is equal to 3Z.

For, Ln(m + 3Z) = (n + m) + 3Z describes the action on the cosets and it is clear that Ln(m + 3Z) = m + 3Z holds for all m if and only if n 3Z. Thus, K = H.

It is true, however, that the kernel is always a subgroup of H. Do you see why?