Fedor IndutnyWhat was the name of the property that makes sum of all operators of a given representation kind of like a delta function when multiplying another operator?
To paraphrase the question, why is a sum of all operators in a given matrix representation is equal to identity?
Ah, it is Schur’s Theorem!