How should one prove that the integers form a commutative ring? Im not sure exactly where to go with this and how much should be explicitly shown. A ring is meant to be a system that shares properties of Z and Zn. A commutative ring is a ring, with the commutative multiplication property. Only need to prove then that that the integers have a commutative multiplication property in that case?? But commutativity of multiplication is a known property of the set of integers, "an arithmetical fact" as my book says. So do I just cite this fact/theorem without having to show much algebra bingo bango its a com. ring? Same argument witht the identity elemnt. It is part of the list of arithmetic facts given to us, which themselves are not proven, so just cite it?