En la teoría de la representación , una subrepresentación de una representación de un grupo G es una representación tal que W es un subespacio vectorial de V y .
Una representación finita-dimensional distinta de cero siempre contiene una subrepresentación distinta de cero que es irreducible , hecho que se observa por inducción sobre la dimensión. Este hecho es generalmente falso para las representaciones de dimensión infinita.
Si es una representación de G , entonces existe la subrepresentación trivial :
Si es un mapa equivariante entre dos representaciones, entonces su núcleo es una subrepresentación de y su imagen es una subrepresentación de .