MathDB
VTRMC 1979 #2

Source:

August 8, 2018
Sets

Problem Statement

Let SS be a set which is closed under the binary operation \circ, with the following properties: (i) there is an element eSe \in S such that ae=ea=aa \circ e = e \circ a = a, for each aSa \in S. (ii) (ab)(cd)=(ac)(bd)(a \circ b) \circ (c \circ d)=(a \circ c) \circ (b \circ d), for all a,b,c,dSa,b, c,d \in S.
Prove or disprove: (a) \circ is associative on S (b) \circ is commutative on S