Sto esaminando gli interi con segno 32/64 bit e le loro proprietà algebriche. Sono abbastanza sicuro che i tre operatori +, - e * soddisfano la proprietà distributiva e associativa (la divisione intera non dipende dalla perdita di informazioni) anche se abbiamo una qualche perdita di informazione dovuta al wrapping di positivo < - > numeri negativi.
Quello che sto cercando è una specie di pubblicazione accademica (se non è troppo banale) che risolva questo problema e fornisca qualche prova o controesempio.