Show that gcd(a,b) is the smallest positive element in the set {ma+nb}

AI Thread Summary
The discussion centers on proving that the greatest common divisor (gcd) of two integers a and b is the smallest positive element in the set {ma + nb | m, n ∈ ℤ}. It establishes that if a and b are relatively prime, integers m and n can be found such that ma + nb = 1, making 1 the smallest positive element. In cases where a and b are not relatively prime, a common divisor c exists, leading to the conclusion that gcd(a, b) = c. The proof hinges on the properties of integers and the closure of the set under addition and multiplication. Overall, the gcd is shown to be the smallest positive element in the defined set.
docnet
Messages
796
Reaction score
488
Homework Statement
let ##a,b\in\mathbb{N}##. Show that ##gcd(a,b)## is the smallest positive element in the set ##\{ma+nb|m,n\in\mathbb{Z}\}##.
Relevant Equations
(1) If ##a## and ##b## are relatively prime, then tere are integers ##m## and ##n## such that ##ma+nb=1##

(2) If ##a>b## then ##gcd(a-b,b)=gcd(a,b)##
##m##, ##n##, ##a##, and ##b## are in ##\mathbb{Z}##. The set of natural numbers is an abelian group, so ##\{ma+nb|m,n\in\mathbb{Z}\}## is a subset of ##\mathbb{Z}##.

##a ## and ##b## are either relatively prime or not relatively prime.

If ##a ## and ##b## are relatively prime, then there are integers ##m## and ##n## such that ##ma+nb=1##. ##1## is the smallest positive element in ##\mathbb{Z}##. So, ##1## is the positive smallest positive element in ##\{ma+nb|m,n\in\mathbb{Z}\}##.

If ##a ## and ##b## are not relatively prime, then there is an integer ##c## that commonly divides ##a## and ##b##. So ##a=\tilde{a}c## and ##b=\tilde{b}c##, where ##\tilde{a}## and ##\tilde{b}## are relatively prime integers.
\begin{align}ma+nb=&m\tilde{a}c+n\tilde{b}c\\
=&c(m\tilde{a}+n\tilde{b})\end{align}
##\tilde{a}## and ##\tilde{b}## are relatively prime, so there exist integers ##m## and ##n## such that ##m\tilde{a}+n\tilde{b}=1##, And because they are relatively prime, ##gcd(\tilde{a},\tilde{b})=1##,
\begin{align}=& c\cdot gcd(\tilde{a},\tilde{b})=gcd(a,b)=c\end{align}
##1## is the smallest positive element in ##\{m\tilde{a}+n\tilde{b}|m,n\in\mathbb{Z}\}## so
##c\cdot 1 =gcd(a,b)## is the smallest positive element in ##c\cdot \{m\tilde{a}+n\tilde{b}|m,n\in\mathbb{Z}\}=\{ma+nb|m,n\in\mathbb{Z}\}##.
 
Physics news on Phys.org
docnet said:
Homework Statement:: let ##a,b\in\mathbb{N}##. Show that ##gcd(a,b)## is the smallest positive element in the set ##\{ma+nb|m,n\in\mathbb{Z}\}##.
Relevant Equations:: (1) If ##a## and ##b## are relatively prime, then tere are integers ##m## and ##n## such that ##ma+nb=1##

(2) If ##a>b## then ##gcd(a-b,b)=gcd(a,b)##

The set of natural numbers is an abelian group
Under what addition?
docnet said:
If a and b are not relatively prime, then there is an integer c that commonly divides a and b.
Later the proof says ##c = \gcd(a, b)##.

What are ##m, n## in line (1)?
docnet said:
so there exist integers m and n such that ma~+nb~=1,
are these the same ##m, n## as before?Hint: Let ##ma + nb## be an arbitrary positive element in ##\lbrace xa + yb \vert x, y \in \mathbb{Z} \rbrace## and define ##d = \gcd(a, b)##. Then ##d \vert ma + nb##. (why?).
 
fishturtle1 said:
Under what addition?
Oh no. The correct statement was "The set ##\mathbb{Z}## is closed under multiplication and addition, so the element ##ma+nb## for any ##a,b,n,m\in\mathbb{Z}## is also in ##\mathbb{Z}##.

fishturtle1 said:
Later the proof says ##c = \gcd(a, b)##.
I am confused. Is this not true when ##a## and ##b## are not co-prime?
fishturtle1 said:
are these the same ##m, n## as before?
No. They are different integers than before.
fishturtle1 said:
Hint: Let ##ma + nb## be an arbitrary positive element in ##\lbrace xa + yb \vert x, y \in \mathbb{Z} \rbrace## and define ##d = \gcd(a, b)##. Then ##d \vert ma + nb##. (why?).
Okay, I will try to come up with the correct solution using this hint. Thank you.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top