ℤ is infinite with no torsion; Z/nZ has torsion (nx=0 for all x). Not all equational properties tran...
This proposition has not been edited since the history system was added.