1. The problem statement, all variables and given/known data The problem is to show that a subset A of a ring S is an ideal where A has certain properties. S is a ring described as a cartisian product of two other rings (i.e., S=(RxZ,+,*)). I have already proved that A is a subring of S and proved one direction of the definition of an ideal. But, the other direction has brought me to having to show that R is commutative. It is given that R is a ring without zero divisors and without identity. 2. Relevant equations 3. The attempt at a solution I know that a ring R is commutative if it has the property that ab=ca implies b=c when a is not zero. I have attempted various simple manipulations of this statement by using the fact that R is a ring without zero divisors and without an identity.