Lie groups, representations