- Thread starter
- #1
jakncoke
Active member
- Jan 11, 2013
- 68
Let * be a commutative, assosiative binary operation on a set S with the property that
for all x,y $\in S$, there exists a z $\in S$, such that x*z = y. Prove that if a*c = b*c then a = c .
for all x,y $\in S$, there exists a z $\in S$, such that x*z = y. Prove that if a*c = b*c then a = c .