增广对合刻板代数范畴中的核与余核

我们证明了增广对合刻板代数范畴中核与余核的若干性质：1) 增广对合刻板代数的态射具有核与余核；2) 余核在过渡到群刻板代数时得以保持；3) 余核概念可用于证明：若 $G$ 具有形式 $Z\cdot K$，其中 $Z$ 是交换局部紧群，$K$ 是紧群，则群代数 ${\mathcal C}^\star(G)$ 的连续包络 $\operatorname{Env} {\mathcal C}^\star(G)$ 是刻板空间范畴 $({\tt Ste},\odot)$ 中的对合Hopf代数。最后一个结果在将Pontryagin对偶推广到任意Moore群中起着重要作用。