Undergrad Show that you can find d and b s.t pd-bq=1 , p and q are coprime- GCF

  • Thread starter Thread starter binbagsss
  • Start date Start date
Click For Summary
The discussion revolves around demonstrating that for coprime integers p and q, integers b and d can be found such that pd - bq = 1. This is rooted in Bézout's identity, which states that the greatest common divisor of two integers can be expressed as a linear combination of those integers. The proof involves applying the Euclidean algorithm and its reverse to establish the relationship. An example using the numbers 17 and 3 illustrates the process of finding such integers. The conversation emphasizes the connection between modular forms and the mapping of rational numbers to infinity through specific matrix transformations.
binbagsss
Messages
1,291
Reaction score
12
Context probably irrelevant but modular forms- to show that all rational numbers can be mapped to ##\infty##) that is there exists a ## \gamma = ( a b c d) ##, sorry that's a 2x2 matrix, ## \in SL_2(Z) ## with ## det (\gamma) = ad-bc=1 ## s.t ## \gamma . t = at+b/ct+d = \infty ##, where take ## t= r ## , r a rational number. )

So I'm at the stage where I am just stuck on showing that ## p ## and ## q ## co prime implies that ## b ## and ## d ## can be found s.t ## pd-bq=1 ## , b and d integer.

I'm not sure how to do this? I think the argument should be obvious?
 
Physics news on Phys.org
Simpy divide ##p## by ##q##.
 
fresh_42 said:
Simpy divide ##p## by ##q##.

##(p/q) d - b =1 ## , now what?
 
It's called Bézout's identity which allows to write the greatest common divisor ##d## of two integers ##p,q## in the form ##d= pd + dq##.
The proof uses the Euclidean algorithm and the ordering of ##\mathbb{Z}##.
 
binbagsss said:
Context probably irrelevant but modular forms- to show that all rational numbers can be mapped to ##\infty##) that is there exists a ## \gamma = ( a b c d) ##, sorry that's a 2x2 matrix, ## \in SL_2(Z) ## with ## det (\gamma) = ad-bc=1 ## s.t ## \gamma . t = at+b/ct+d = \infty ##, where take ## t= r ## , r a rational number. )

So I'm at the stage where I am just stuck on showing that ## p ## and ## q ## co prime implies that ## b ## and ## d ## can be found s.t ## pd-bq=1 ## , b and d integer.

I'm not sure how to do this? I think the argument should be obvious?

Your question is immediately answered by Bezout's theorem:

##Gcf(a,b) = d \iff \exists m,n \in \mathbb{Z}: ma + nb = d##. Simply set ##d = 1##. To prove this, one can use the Euclidean algorithm backwards.

To illustrate with an example:

##Gcf(17,3) = 1##

##17 = 3*5 + 2##
##5 = 2*2 + 1 ##
This was the euclidean algorithm. Now substituting back (the idea to prove Bezout's theorem)
##1 = 5 -2*2 = 5 - 2(17 -3*5) = 5 -2*17 + 2* 3*5 = -2*17 + 7*5##
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 61 ·
3
Replies
61
Views
13K
  • · Replies 39 ·
2
Replies
39
Views
13K
  • · Replies 42 ·
2
Replies
42
Views
11K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 56 ·
2
Replies
56
Views
10K
  • · Replies 86 ·
3
Replies
86
Views
14K