The Identities of Additive Binary Arithmetics
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 a finite basis. Moreover, the universal algebra $\mathbb{Z}/2^n\mathbb{Z}$ with these two operations is rationally equivalent to a nilpotent ring and, therefore, generates a Specht variety.
Keyword(s):
2000 ◽
Vol 10
(04)
◽
pp. 457-480
◽
Keyword(s):
Keyword(s):
Keyword(s):
1987 ◽
Vol 93
◽
pp. 135-142