这段内容是关于杨算符的幂等性与置换群不可约表示空间构造的引理，核心是证明杨算符E(T) 是群代数的本质本原幂等元，且其生成的不变子空间是Sn群的不可约表示空间。