对称同调中的同调运算

单位结合代数$A$在交换基环$k$上的对称同调，记为$HS_*(A)$，是通过导出函子和Fiedorowicz的对称bar构造定义的。本文证明$HS_*(A)$具有同调运算和一个Pontryagin积结构，使得$HS_*(A)$成为结合交换分次代数。这是通过为计算对称同调的标准链群找到一个显式的$E_{\infty}$结构来实现的。