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

                      Human spaceflight

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

                      File:DeusFollowingSea.jpg