MathDB
1980 VTRMC #1

Source:

August 11, 2020

Problem Statement

Let * denote a binary operation on a set SS with the property that (wx)(yz)=wz(w*x)*(y*z) = w * z for all w,x,y,zS.w,x,y,z\in S. Show
(a) If ab=c,a*b=c, then cc=c.c*c = c. (b) If ab=c,a*b=c, then ax=cxa*x=c*x for all xS.x\in S.