1. The problem statement, all variables and given/known data If * is a binary operation on a set B, and the domain of definition is B^2, if * is associative and the neutral element is p. If r and l are elements of b we can say that r is a left inverse of l under * iff r * l = p, and l is a right inverse of r iff l * r = p. Show that if an element of B has a left and right inverse, then they are equal. 3. The attempt at a solution Does the neutral element have anything to do with finding the answer, also what does associativity have to do with finding the answer? All I can think of is since there is only one neutral element in *, r = p and l = p, but I don't think that is the answer.