En la teoría de representaciones de grupos de Lie y álgebras de Lie , una representación fundamental es una representación finito-dimensional irreducible de un grupo de Lie semisimple o álgebra de Lie cuyo peso más alto es un peso fundamental . Por ejemplo, el módulo definitorio de un grupo de Lie clásico es una representación fundamental. Cualquier representación irreducible finito-dimensional de un grupo de Lie semisimple o álgebra de Lie puede construirse a partir de las representaciones fundamentales mediante un procedimiento debido a Élie Cartan . Por lo tanto, en cierto sentido, las representaciones fundamentales son los bloques de construcción elementales para representaciones arbitrarias de dimensión finita.
Las representaciones irreducibles de un grupo de Lie compacto simplemente conexo se indexan por sus pesos más altos . Estos pesos son los puntos de la red en un ortante Q + en la red de pesos del grupo de Lie que consiste en los pesos integrales dominantes. Se puede demostrar que existe un conjunto de pesos fundamentales , indexados por los vértices del diagrama de Dynkin , tales que cualquier peso integral dominante es una combinación lineal entera no negativa de los pesos fundamentales. [1] Las representaciones irreducibles correspondientes son las representaciones fundamentales del grupo de Lie. A partir de la expansión de un peso dominante en términos de los pesos fundamentales, se puede tomar un producto tensorial correspondiente de las representaciones fundamentales y extraer una copia de la representación irreducible correspondiente a ese peso dominante. [2]
Fuera de la teoría de Lie, el término representación fundamental se utiliza a veces de forma imprecisa para referirse a una representación fiel de dimensión más pequeña, aunque a menudo también se la denomina representación estándar o definitoria (un término que se refiere más a la historia que a tener un significado matemático bien definido).
