设A是一个无限维的有单位元并且具有k-局部几乎可除性质的(或者是UCFPn (W (A))=m)的C*-代数。α:G→Aut(A)是有限群G作用在C*-代数A上,并且作用具有迹Rokhlin性质。则交叉积C*-代数C*(G,A,α)具有k-局部几乎可除性质(或者是UCFPn (W (C*(G,A,α)))=m)。