What critereon is used to determine whether a common divisor is "greatest"?

Edit: These look like nice resources

http://arxiv.org/abs/1002.4487

http://en.wikipedia.org/wiki/Euclide...ratic_integers

http://demonstrations.wolfram.com/Ex...raticIntegers/