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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.