0

I want to show that if $a \in \mathbb{Z^+}$ $\implies$ $gcd(a,0) = a.$

From what I am given, I know that $a$ is a divisor of $0$, so we can start from there. I was thinking of using the Euclidian Algorithm throughout the proof, but do not know when I should mention it, or if it's even applicable in this case. Someone actually made an interesting comment that is related to my question and thus I would like to see how the proof of this question unfolds. The commentary is on this thread: What is $\gcd(0,0)$?

John W. Smith
  • 1,597
  • 1
    You may, if you wish, define $\gcd(a,b)$ to be the unique nonnegative generator of the additive subgroup of $\Bbb Z$ generated by $a$ and $b$. Or, if you don’t like defining the difficulty away like that, you can prove that with your definition of gcd, it does in fact have the above property. – Lubin Feb 06 '18 at 05:38
  • Hi Lubin. So with the definition of gcd that I wrote out, how would I begin showing the above property is true? A push in the right direction would be helpful. – John W. Smith Feb 06 '18 at 05:51
  • First show that $a|b$ if and only if $a\Bbb Z\supset b\Bbb Z$. Observe that if $a$ and $b$ are nonzero, then $a|b\Rightarrow a\le b$. Remember that $\gcd(a,b)$ is just what it says, the greatest among all common divisors of $a$ and $b$, except that it’s a bit different when $a=b=0$. There shouldn’t be too much beyond that. – Lubin Feb 06 '18 at 14:47

0 Answers0