证明了如果$G$是酉$C^ast$-代数$a$上$\ast$-自同构的紧遍历群，则唯一的$G$不变状态是一个迹。因此，如果$A$是一个von Neumann代数，那么它是有限的和内射的。
2017–2024年欧几里德项目的在线内容
