Definition:Greatest Common Divisor of Ring Elements