Formalmente, una representación del grupo de Lie "G" en un espacio vectorial "V" (sobre un cuerpo "K") es un homomorfismo de grupo "G" → Aut("V") desde "G" al grupo de automorfismos de "V".