En la teoría de la representación de grupos de Lie y álgebras de Lie , una representación fundamental es una representación irreducible de dimensión finita 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 de dimensión finita de un grupo de Lie semisimple o álgebra de Lie se puede construir a partir de las representaciones fundamentales mediante un procedimiento debido a Élie Cartan . Así, en cierto sentido, las representaciones fundamentales son los bloques de construcción elementales para representaciones arbitrarias de dimensión finita.
Las representaciones irreductibles de un grupo de Lie compacto simplemente conectado están indexadas por sus pesos más altos . Estos pesos son los puntos de la red en una ortante Q + en la red de pesos del grupo de Lie que consta de los pesos integrales dominantes. Se puede demostrar que existe un conjunto de pesos fundamentales , indexados por los vértices del diagrama de Dynkin , de modo que cualquier peso integral dominante es una combinación lineal entera no negativa de los pesos fundamentales. [1] Las representaciones irreductibles correspondientes son las representaciones fundamentales del grupo de Lie. 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 a veces se usa de manera vaga para referirse a una representación fiel de dimensión más pequeña, aunque a menudo también se le llama representación estándar o definitoria (un término que se refiere más a la historia, en lugar de tener una definición bien definida). significado matemático).
