不稳定谱序列高阶页上的 Leibniz 法则

定义了球面下中心序列谱序列所有页上的自然复合运算 $\odot$。此外，它也被定义为单纯群的 $p$-下中心序列谱序列。证明了第 $r$ 个微分满足“带悬置的 Leibniz 法则”：$d^r(a\odot \sigma b)=\pm d^ra\odot b+a\odot d^r\sigma b,$ 其中 $\sigma$ 是悬置同态。