Problem of the Fortnight #8

Binary Operators

Consider a set T and a binary operation #, i.e., for each b and c in T, b#c is also in T. Assume that (c#d)#c=d for all c and d in T. Prove that c#(d#c)=d for all c and d in T.

Solutions are due by 4pm on Friday, January 27^th in Goodrich 108