加法二进制算术的恒等式
The identities of additive binary arithmetics
摘要：
可以通过模2^n加法和模2按位加法来表示的任意元数的运算允许简单的描述。连接这两个加法的恒等式具有有限基。此外，具有这两个运算的泛代数在理性上等价于一个幂零环，因此生成一个Specht簇。
英文摘要：
Operations of arbitrary arity expressible via addition modulo 2^n and bitwise addition modulo 2 admit a simple description. The identities connecting these two additions have finite basis. Moreover, the universal algebra with these two operations is rationally equivalent to a nilpotent ring and, therefore, generates a Specht variety.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
