さて、有限群 G の表現 が与えられたとき、G×G-準同型 が与えられるわけですが、言うまでもなく ですから、 です。従って、V が既約であれば前回の結論から も既約なので 、すなわち は全射です。従ってマシュケの定理により、K[G] は に同型な部分空間 W を…