質問します
群Gの表現が可約であることの条件は、その不変部分空間への射影演算子Pを使えば、
PD(g)P=D(g)P ∀g∈G
とかけるらしいですが、なぜでしょうか？

式の意味を教えて貰いたいです
いらないかもしれませんが状況を説明しますと、物理学科の人間で群論を勉強してます
物理板で説明したら数学板いけと、、、
線形代数をあまりしっかりやってないので、射影子の意味とかも教えて貰いたいです
ある方向へ射影する位のものとししらなだあような状況ですから部分空間への射影とかが、あまりよくわかりません