1 research outputs found
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 finite basis. Moreover, the universal algebra with these two
operations is rationally equivalent to a nilpotent ring and, therefore,
generates a Specht variety.Comment: 6 pages. A Russian version of this paper is at
http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm . V3:
the easier direction of the proof of the main theorem is corrected and some
minor changes are don