论文部分内容阅读
本文利用Witt向量环的运算法则，证明了定理：设a=(a0,a1,…an-1)，b=(b0，b1，…，bn-1)∈wn(F2)，其中ai,bi∈F2.记a+b=c=(c0，c1，…，cn-1)，其中c∈wn(F2)，c1∈F2，则ci=ai+bi+ai-1bi-1+∑i-2 1-0 ajbj(aj+1+bj+1)(aj+2bj+2…(ai-1+bi-1)(i一0，1’…，n-1).
从而给出了Wn(F2)的加法的清晰公式.作为推论，进一步给出了Z2上的加法公式.特别地，我们得到了整数按2进制展开后的加法公式.