General Ring Theory/Greatest common divisors

Definition(Greatest Common Divisor):

Let a and b be integers,not both zero.Then the greatest common divisor of a and b written as (a,b) or gcd(a,b) is the largest possible integer d such that d|a and d|b [that is d divides a and d divides b]