why $ax + by$ can take any value if their gcd is $1$ [duplicate]












1












$begingroup$



This question already has an answer here:




  • If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]

    1 answer




Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?










share|cite|improve this question











$endgroup$



marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde number-theory
Users with the  number-theory badge can single-handedly close number-theory questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
    $endgroup$
    – dantopa
    Jan 12 at 5:36






  • 1




    $begingroup$
    This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
    $endgroup$
    – Cheerful Parsnip
    Jan 12 at 5:51










  • $begingroup$
    If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
    $endgroup$
    – Dietrich Burde
    Jan 12 at 9:11
















1












$begingroup$



This question already has an answer here:




  • If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]

    1 answer




Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?










share|cite|improve this question











$endgroup$



marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde number-theory
Users with the  number-theory badge can single-handedly close number-theory questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
    $endgroup$
    – dantopa
    Jan 12 at 5:36






  • 1




    $begingroup$
    This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
    $endgroup$
    – Cheerful Parsnip
    Jan 12 at 5:51










  • $begingroup$
    If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
    $endgroup$
    – Dietrich Burde
    Jan 12 at 9:11














1












1








1


1



$begingroup$



This question already has an answer here:




  • If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]

    1 answer




Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?










share|cite|improve this question











$endgroup$





This question already has an answer here:




  • If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]

    1 answer




Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?





This question already has an answer here:




  • If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]

    1 answer








number-theory elementary-number-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 13 at 2:30









J. W. Tanner

3,1261320




3,1261320










asked Jan 12 at 5:31









Nikhil RathoreNikhil Rathore

91




91




marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde number-theory
Users with the  number-theory badge can single-handedly close number-theory questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde number-theory
Users with the  number-theory badge can single-handedly close number-theory questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • $begingroup$
    Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
    $endgroup$
    – dantopa
    Jan 12 at 5:36






  • 1




    $begingroup$
    This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
    $endgroup$
    – Cheerful Parsnip
    Jan 12 at 5:51










  • $begingroup$
    If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
    $endgroup$
    – Dietrich Burde
    Jan 12 at 9:11


















  • $begingroup$
    Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
    $endgroup$
    – dantopa
    Jan 12 at 5:36






  • 1




    $begingroup$
    This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
    $endgroup$
    – Cheerful Parsnip
    Jan 12 at 5:51










  • $begingroup$
    If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
    $endgroup$
    – Dietrich Burde
    Jan 12 at 9:11
















$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36




$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36




1




1




$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51




$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51












$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11




$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11










3 Answers
3






active

oldest

votes


















2












$begingroup$

If you want a mathematical reason, then you have to specify that you are working with integers.



Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.



The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.



There are two things here which are worth noting:



First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.



Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    $gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.



    We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
      $endgroup$
      – Nikhil Rathore
      Jan 12 at 12:27










    • $begingroup$
      also what is meant by ap≡1(modb)
      $endgroup$
      – Nikhil Rathore
      Jan 12 at 12:28










    • $begingroup$
      $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
      $endgroup$
      – J. W. Tanner
      Jan 13 at 1:19












    • $begingroup$
      $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
      $endgroup$
      – J. W. Tanner
      Jan 13 at 1:22





















    1












    $begingroup$

    This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with



    $gcd(a, b) = d, tag 1$



    there exist $x, y in Bbb Z$ with



    $ax + by = d; tag 2$



    the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal



    $J subset Bbb Z tag 3$



    there exists some $j in Bbb Z$ with



    $J = (j) = jBbb Z; tag 4$



    given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:



    $(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$



    we then have



    $(a, b) = (d) = dBbb Z, tag 6$



    for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that



    $d mid a, ; d mid b; tag 7$



    thus, by definition,



    $d mid gcd(a, b), tag 8$



    and since



    $gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$



    we see via (2) that



    $gcd(a, b) mid d; tag{10}$



    it follows from (8) and (10) that



    $d = gcd(a, b); tag{11}$



    therefore there are $x, y in Bbb Z$ with



    $gcd(a, b) = ax + by; tag{12}$



    now if



    $gcd(a, b) = 1, tag{13}$



    we have



    $ax + by = 1, tag{14}$



    and thus for $z in Bbb Z$



    $z = z(ax + by) = a(xz) + b(yz); tag{15}$



    therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with



    $z = ar + bt; tag{16}$



    the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.






    share|cite|improve this answer









    $endgroup$




















      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      2












      $begingroup$

      If you want a mathematical reason, then you have to specify that you are working with integers.



      Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.



      The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.



      There are two things here which are worth noting:



      First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.



      Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.






      share|cite|improve this answer









      $endgroup$


















        2












        $begingroup$

        If you want a mathematical reason, then you have to specify that you are working with integers.



        Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.



        The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.



        There are two things here which are worth noting:



        First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.



        Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.






        share|cite|improve this answer









        $endgroup$
















          2












          2








          2





          $begingroup$

          If you want a mathematical reason, then you have to specify that you are working with integers.



          Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.



          The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.



          There are two things here which are worth noting:



          First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.



          Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.






          share|cite|improve this answer









          $endgroup$



          If you want a mathematical reason, then you have to specify that you are working with integers.



          Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.



          The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.



          There are two things here which are worth noting:



          First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.



          Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 12 at 7:00









          Mark BennetMark Bennet

          81.6k984181




          81.6k984181























              1












              $begingroup$

              $gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.



              We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:27










              • $begingroup$
                also what is meant by ap≡1(modb)
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:28










              • $begingroup$
                $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:19












              • $begingroup$
                $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:22


















              1












              $begingroup$

              $gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.



              We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:27










              • $begingroup$
                also what is meant by ap≡1(modb)
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:28










              • $begingroup$
                $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:19












              • $begingroup$
                $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:22
















              1












              1








              1





              $begingroup$

              $gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.



              We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.






              share|cite|improve this answer









              $endgroup$



              $gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.



              We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jan 12 at 6:03









              Matthew CramerusMatthew Cramerus

              272




              272












              • $begingroup$
                what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:27










              • $begingroup$
                also what is meant by ap≡1(modb)
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:28










              • $begingroup$
                $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:19












              • $begingroup$
                $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:22




















              • $begingroup$
                what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:27










              • $begingroup$
                also what is meant by ap≡1(modb)
                $endgroup$
                – Nikhil Rathore
                Jan 12 at 12:28










              • $begingroup$
                $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:19












              • $begingroup$
                $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
                $endgroup$
                – J. W. Tanner
                Jan 13 at 1:22


















              $begingroup$
              what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
              $endgroup$
              – Nikhil Rathore
              Jan 12 at 12:27




              $begingroup$
              what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
              $endgroup$
              – Nikhil Rathore
              Jan 12 at 12:27












              $begingroup$
              also what is meant by ap≡1(modb)
              $endgroup$
              – Nikhil Rathore
              Jan 12 at 12:28




              $begingroup$
              also what is meant by ap≡1(modb)
              $endgroup$
              – Nikhil Rathore
              Jan 12 at 12:28












              $begingroup$
              $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
              $endgroup$
              – J. W. Tanner
              Jan 13 at 1:19






              $begingroup$
              $a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
              $endgroup$
              – J. W. Tanner
              Jan 13 at 1:19














              $begingroup$
              $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
              $endgroup$
              – J. W. Tanner
              Jan 13 at 1:22






              $begingroup$
              $ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
              $endgroup$
              – J. W. Tanner
              Jan 13 at 1:22













              1












              $begingroup$

              This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with



              $gcd(a, b) = d, tag 1$



              there exist $x, y in Bbb Z$ with



              $ax + by = d; tag 2$



              the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal



              $J subset Bbb Z tag 3$



              there exists some $j in Bbb Z$ with



              $J = (j) = jBbb Z; tag 4$



              given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:



              $(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$



              we then have



              $(a, b) = (d) = dBbb Z, tag 6$



              for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that



              $d mid a, ; d mid b; tag 7$



              thus, by definition,



              $d mid gcd(a, b), tag 8$



              and since



              $gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$



              we see via (2) that



              $gcd(a, b) mid d; tag{10}$



              it follows from (8) and (10) that



              $d = gcd(a, b); tag{11}$



              therefore there are $x, y in Bbb Z$ with



              $gcd(a, b) = ax + by; tag{12}$



              now if



              $gcd(a, b) = 1, tag{13}$



              we have



              $ax + by = 1, tag{14}$



              and thus for $z in Bbb Z$



              $z = z(ax + by) = a(xz) + b(yz); tag{15}$



              therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with



              $z = ar + bt; tag{16}$



              the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with



                $gcd(a, b) = d, tag 1$



                there exist $x, y in Bbb Z$ with



                $ax + by = d; tag 2$



                the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal



                $J subset Bbb Z tag 3$



                there exists some $j in Bbb Z$ with



                $J = (j) = jBbb Z; tag 4$



                given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:



                $(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$



                we then have



                $(a, b) = (d) = dBbb Z, tag 6$



                for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that



                $d mid a, ; d mid b; tag 7$



                thus, by definition,



                $d mid gcd(a, b), tag 8$



                and since



                $gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$



                we see via (2) that



                $gcd(a, b) mid d; tag{10}$



                it follows from (8) and (10) that



                $d = gcd(a, b); tag{11}$



                therefore there are $x, y in Bbb Z$ with



                $gcd(a, b) = ax + by; tag{12}$



                now if



                $gcd(a, b) = 1, tag{13}$



                we have



                $ax + by = 1, tag{14}$



                and thus for $z in Bbb Z$



                $z = z(ax + by) = a(xz) + b(yz); tag{15}$



                therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with



                $z = ar + bt; tag{16}$



                the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with



                  $gcd(a, b) = d, tag 1$



                  there exist $x, y in Bbb Z$ with



                  $ax + by = d; tag 2$



                  the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal



                  $J subset Bbb Z tag 3$



                  there exists some $j in Bbb Z$ with



                  $J = (j) = jBbb Z; tag 4$



                  given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:



                  $(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$



                  we then have



                  $(a, b) = (d) = dBbb Z, tag 6$



                  for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that



                  $d mid a, ; d mid b; tag 7$



                  thus, by definition,



                  $d mid gcd(a, b), tag 8$



                  and since



                  $gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$



                  we see via (2) that



                  $gcd(a, b) mid d; tag{10}$



                  it follows from (8) and (10) that



                  $d = gcd(a, b); tag{11}$



                  therefore there are $x, y in Bbb Z$ with



                  $gcd(a, b) = ax + by; tag{12}$



                  now if



                  $gcd(a, b) = 1, tag{13}$



                  we have



                  $ax + by = 1, tag{14}$



                  and thus for $z in Bbb Z$



                  $z = z(ax + by) = a(xz) + b(yz); tag{15}$



                  therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with



                  $z = ar + bt; tag{16}$



                  the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.






                  share|cite|improve this answer









                  $endgroup$



                  This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with



                  $gcd(a, b) = d, tag 1$



                  there exist $x, y in Bbb Z$ with



                  $ax + by = d; tag 2$



                  the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal



                  $J subset Bbb Z tag 3$



                  there exists some $j in Bbb Z$ with



                  $J = (j) = jBbb Z; tag 4$



                  given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:



                  $(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$



                  we then have



                  $(a, b) = (d) = dBbb Z, tag 6$



                  for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that



                  $d mid a, ; d mid b; tag 7$



                  thus, by definition,



                  $d mid gcd(a, b), tag 8$



                  and since



                  $gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$



                  we see via (2) that



                  $gcd(a, b) mid d; tag{10}$



                  it follows from (8) and (10) that



                  $d = gcd(a, b); tag{11}$



                  therefore there are $x, y in Bbb Z$ with



                  $gcd(a, b) = ax + by; tag{12}$



                  now if



                  $gcd(a, b) = 1, tag{13}$



                  we have



                  $ax + by = 1, tag{14}$



                  and thus for $z in Bbb Z$



                  $z = z(ax + by) = a(xz) + b(yz); tag{15}$



                  therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with



                  $z = ar + bt; tag{16}$



                  the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 12 at 6:51









                  Robert LewisRobert Lewis

                  48k23067




                  48k23067















                      Popular posts from this blog

                      Questions related to Moebius Transform of Characteristic Function of the Primes

                      List of scandals in India

                      Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?