Proving bx=c Can Never Have a Single Solution in R

  • Thread starter Thread starter silvermane
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving that the equation bx = c cannot have a unique solution in a commutative ring R when b is a zero divisor. Participants emphasize that if a solution exists, it must be non-unique. The proof hinges on the properties of zero divisors and suggests using a non-zero element y such that yb = 0 to demonstrate the existence of multiple solutions. This foundational concept is crucial for understanding the behavior of equations in commutative rings.

PREREQUISITES
  • Understanding of commutative rings and their properties
  • Knowledge of zero divisors in ring theory
  • Familiarity with algebraic structures and equations
  • Basic proof techniques in abstract algebra
NEXT STEPS
  • Study the properties of zero divisors in commutative rings
  • Learn about the structure of solutions in algebraic equations
  • Explore examples of commutative rings and their elements
  • Investigate proof techniques specific to ring theory
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the properties of commutative rings and zero divisors.

silvermane
Gold Member
Messages
113
Reaction score
0
1. The problem statement:

Let R be a commutative ring, and suppose b is a zero divisor in R. Let c e any element in R. Prove that the equation bx = c can never have a single solution in R.
(meaning that if it has a solution, it will have more than 1)

3. My attempt at a proof:
Well, I'm stuck as to the interpretation, and where to even begin for that matter. If you have any hints/tips that could get me started, that would be great. I don't want an answer, just a little scaffolding to get me there.

Any input is greatly appreciated. It means a lot when people help :blushing:
 
Physics news on Phys.org
b is a zero divisor seems to be important. Try using that by left multiplying bx by non zero y where yb = 0.
 
VeeEight said:
b is a zero divisor seems to be important. Try using that by left multiplying bx by non zero y where yb = 0.

Yeah this is very helpful! Thank you!
 

Similar threads

Replies
2
Views
1K
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K