Integer GCD


THEOREM    \(\gcd(a, a) = |a|\)

Proof unavailable

THEOREM    The integer GCD function is commutative. $$\gcd(a, b) = \gcd(b, a)$$

Proof available

THEOREM   

The integer GCD function is associative.

$$\gcd(\gcd(a,b),c)=\gcd(a,\gcd(b,c))$$

Proof available

Sage

Sage Reference Manual