Bezout Identity: Is r∈S U {0} Necessary to Prove?

  • I
  • Thread starter Suyogya
  • Start date
  • Tags
    Identity
In summary, the need to show that ##r## belongs to ##S \cup \{\,0\,\}## in the proof is to compare it to ##d##, which is the smallest integer in ##S##, and determine that ##r=0##. Without this, we cannot make any conclusions about ##r##.
  • #1
Suyogya
14
0
Mathematics news on Phys.org
  • #2
Suyogya said:
what is the need to show that r belongs to S U {0} in proof (https://en.wikipedia.org/wiki/Bézout's_identity#Proof)

r is zero afterall, whether it lies in S U {0} or not doesn't affect.
If ##r \notin S\cup \{\,0\,\}##, then the minimality of ##d## has nothing to do with ##r## and we cannot conclude ##r=0##. It is zero, because it is part of this set!
 
  • #3
fresh_42 said:
If ##r \notin S\cup \{\,0\,\}##, then the minimality of ##d## has nothing to do with ##r## and we cannot conclude ##r=0##. It is zero, because it is part of this set!
please tell the following:
is the need to show that r lies in S U {0} just because to compare r is less than or equal to d (as d also belongs to S U {0})?
So are only the same set elements can be compared? If yes, then consider a counter example, set a={10}, set b={5} couldn't we say 5<10 (as both belongs to different sets).
 
Last edited:
  • #4
Suyogya said:
please tell the following:
is the need to show that r lies in S U {0} just because to compare r is less than or equal to d (as d also belongs to S U {0})?
So are only the same set elements can be compared? If yes, then consider a counter example, set a={10}, set b={5} couldn't we say 5<10 (as both belongs to different sets).
We start with a set ##M##. Then we choose a minimal element of ##M##, called ##m##. In order to compare any other element ##n## to ##m##, we can only do this, if ##n \in M##, because then we know, that ##m \leq n## as ##m## was chosen minimal. Otherwise we can't say anything.

If in our example, ##d \in S## is minimal, and ##r if \in S \cup \{\,0\,\}##, then either ##r=0## or ##d \leq r##. As ##r < d##, the second is impossible, leaving ##r=0## as only possibility. This entire argument needs ##r if \in S \cup \{\,0\,\}## and that ##d\in S## is the smallest integer there.
 

Related to Bezout Identity: Is r∈S U {0} Necessary to Prove?

1. What is the Bezout Identity?

The Bezout Identity is a fundamental theorem in algebra that states that for any two nonzero integers, there exist integers x and y such that ax + by = gcd(a,b), where gcd(a,b) is the greatest common divisor of a and b.

2. How is the Bezout Identity used?

The Bezout Identity is used in many areas of mathematics, including number theory, algebraic geometry, and abstract algebra. It is often used to prove the existence of solutions to Diophantine equations and to find the inverse of an element in a ring.

3. What is the significance of r∈S U {0} in proving the Bezout Identity?

The condition r∈S U {0} is necessary in proving the Bezout Identity because it ensures that the greatest common divisor of a and b is a nonzero integer. Without this condition, the theorem would not hold true.

4. Can the Bezout Identity be extended to other number systems?

Yes, the Bezout Identity can be extended to other number systems, such as polynomials, matrices, and even complex numbers. However, the proof and conditions may vary for each system.

5. What are some real-world applications of the Bezout Identity?

The Bezout Identity has many practical applications, including cryptography, error-correcting codes, and signal processing. It is also used in computer graphics to determine the intersection of two curves or surfaces.

Similar threads

  • Linear and Abstract Algebra
Replies
11
Views
1K
  • General Math
Replies
3
Views
2K
  • Differential Geometry
Replies
5
Views
3K
  • Calculus and Beyond Homework Help
Replies
1
Views
341
  • Linear and Abstract Algebra
Replies
4
Views
1K
  • Topology and Analysis
Replies
2
Views
2K
  • Calculus and Beyond Homework Help
Replies
16
Views
4K
Replies
1
Views
950
Back
Top