>>312
有理整数環Zなら同値だが、一般に最大公約数を定義できるGCD整域まで対象を拡げると、君の定義だと都合が悪い場合がある。
その例がガウス整数環{a+b√(-1)|a,b∈Z}。その点友達のは well-defined である。