Definition:Common Divisor of Ring Elements