En théorie des représentations, une sous-représentation d'une représentation d'un groupe G est une représentation telle que W est un sous-espace vectoriel de V stable par chaque endomorphisme et est l'endomorphisme induit pour tout élément g de G. Une représentation de dimension finie non nulle contient toujours une sous-représentation non nulle qui est irréductible, ce qui se démontre par récurrence sur la dimension. Ce fait est faux en général pour les représentations de dimension infinie.