初等表示

令 為群 在可分 希爾伯特空間 上的一個 酉表示，令 為包含所有 （對於 ）的最小弱閉有界線性運算元代數。如果 的中心僅由標量運算組成，則 是初等的。