Hopf C*-代数的全交叉积

我们证明，当余对合 Hopf C*-代数 $S$ 通过 $\delta$ 在 C*-代数 $A$ 上余作用时，存在全交叉积 $A\times_\delta S$，其泛性质类似于由局部紧群得到的全交叉积。对偶 Hopf C*-代数随即定义为 $\hat S:={\Bbb C}\times_{\id} S$。