Solutions of an equation in a PID

  • Context: Graduate 
  • Thread starter Thread starter ihggin
  • Start date Start date
  • Tags Tags
    Pid
Click For Summary
SUMMARY

The discussion focuses on finding all solutions (s,t) in a Principal Ideal Domain (PID) for the equation sa + tb = gcd(a, b), where a and b are elements of R and at least one is non-zero. The user proposes dividing both sides by gcd(a, b) to simplify the equation to sα + tβ = 1, where gcd(α, β) = 1. The conversation explores methods to demonstrate that this approach yields all solutions and seeks initial solutions (x, y) for integers. Additionally, the user questions the applicability of the proof in the integers (Z).

PREREQUISITES
  • Understanding of Principal Ideal Domains (PIDs)
  • Knowledge of the Euclidean algorithm for computing gcd
  • Familiarity with linear combinations in algebra
  • Basic concepts of integer solutions in number theory
NEXT STEPS
  • Study the structure of Principal Ideal Domains and their properties
  • Learn about the Extended Euclidean Algorithm for finding integer solutions
  • Research the implications of Bézout's identity in PIDs
  • Explore proofs of gcd properties in the integers and their extensions to PIDs
USEFUL FOR

Mathematicians, algebraists, and students studying abstract algebra, particularly those interested in number theory and the properties of Principal Ideal Domains.

ihggin
Messages
14
Reaction score
0
Let R be a Principal Ideal Domain. Let a,b \in R, at least one of which is non-zero. Determine precisely all solutions (s,t), where s,t \in R, of the equation sa+tb= \gcd (a,b).

My attempt: since \gcd (a,b) divides both a and b, we can divide both sides by \gcd (a,b) to get the equation s \alpha + t \beta = 1, where \gcd (\alpha , \beta)=1. Just playing around in the integers, if we find a solution x,y, we can generate other solutions by taking x+n \beta, y-n \alpha. However, I'm unsure of a couple of things: 1) how do you show that this gives all solutions (if it does), and 2) how do you find an initial solutions x,y? Of course, any other approaches would be nice to see as well.

Thanks.
 
Physics news on Phys.org
can you prove it over Z? does the same proof work?
 

Similar threads

  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 52 ·
2
Replies
52
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
2K