슈어 보조정리: 두 판 사이의 차이

<math>G</math>가 [[군 (수학)|군]]이고, <math>V</math>가 [[벡터공간벡터 공간]]이고, <math>\rho\colon G\to\operatorname{GL}(V)</math>가 [[군의 표현]]이라고 하자. 그렇다면 <math>V</math>는 <math>\rho</math>로 인하여 [[군환]] <math>V[G]</math>에 대한 [[가군]]을 이룬다. 이 경우, <math>V</math>가 단순가군일[[단순 가군]]일 필요충분조건은 <math>\rho</math>가 [[기약표현]]인지 여부다. 따라서, 이 경우 슈어 보조정리에 따르면 두 기약표현 <math>G\to\operatorname{GL}(V_1),\operatorname{GL}(V_2)</math>사이, 군 작용과 가환하는 선형사상 <math>V_1\to V_2</math>(가군으로서의 [[준동형사상]])는 가역사상이거나 0이다. 물론, 가역사상인 경우는 두 기약표현의 차원이 같을 경우에만 가능하다.