I'm looking into 32/64bit signed integers and their algebraic properties. I am quite sure that the the three operators +, - and * fulfill the distributive and associative property (integer division does not because of the information loss) even though we have some kind of information loss due to wrapping of positive <-> negative numbers.
What I'm looking for is some kind of academic publication (if it is not too trivial) that addresses this issue and provides some proof or counterexample.