交叉积的准对角性

我们证明：若作用几乎是周期的，则由离散、可数、顺从且极大几乎周期群 $G$ 作用于可分、含单位元的准对角 C*-代数 $A$ 所形成的交叉积 $A \times G$ 是准对角的。