# Diffeomorphism in Lie Group

$G$ is a Lie group and consider $L_{g}: G \rightarrow G$ ($L_g(h)=gh$). What i need to show that $L_{g}$ is diffeomorphism. Is it something obvious? Can someone explain it to me?

• @RobinGoodfellow "isomorphism" has now been removed; you can remove the comment. – Marc van Leeuwen Mar 23 '15 at 11:09

The fact that it is a diffeomorphism comes from the very definition of Lie Group: the operation $G\times G \to G$ is a smooth map, and $L_g$ is a restriction of this map, so it is smooth. The inverse is $L_{g^{-1}}$, and that's smooth by the same argumet.