MathDB
Putnam 2001 A1

Source:

February 26, 2012
Putnamcollege contests

Problem Statement

Consider a set SS and a binary operation *, i.e. for each a,bSa,b\in S, abSa*b\in S. Assume (ab)a=b(a*b)*a=b for all a,bSa,b\in S. Prove that a(ba)=ba*(b*a)=b for all a,bSa,b \in S.