有离散群作用的C*-对应的交叉乘积(英文)

假设（X,A,φ）是一个有离散群G作用的C~＊-对应,并且满足条件φ是单的,K（X）■φ（A）,证明了对于其自然诱导的C~＊-对应（X■G,A■G,φ）,■_X■G≌■_（X■G）