Page "Greatest common divisor" Paragraph 84

If R is a commutative ring, and a and b are in R, then an element d of R is called a common divisor of a and b if it divides both a and b ( that is, if there are elements x and y in R such that d · x = a and d · y = b ).