超幂零Taylor代数是幂零的

我们发展了Taylor簇的高阶换位子理论。利用一种称为高维同余的不变关系，定义了一种新的高阶换位子运算，称为超换位子。证明了超换位子是对称的，并满足一个关联嵌套项的不等号。对于Taylor代数，项条件高阶换位子与超换位子在常量元组处求值时相等，并由此推出每个超幂零Taylor代数都是幂零的。我们以用高阶换位子的中性来刻画同余交半分配簇作为结束。