-
arXiv:1102.5555 [pdf, ps, other]
The identities of additive binary arithmetics
Abstract: 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.
Submitted 22 January, 2012; v1 submitted 27 February, 2011; originally announced February 2011.
Comments: 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 done
MSC Class: 08A70
Journal ref: Electronic Journal of Combinatorics, 19:1 (2012), #P40