Remark

In contrast to the usual notation, we write L_g for the image of g under L. This way, the expressions, which are maps themselves, are better readible when applied to an element of G:

L_g h is preferred to L(g) (h).