Talk:Inverse in Monoid is Unique

The paragraph from "Similarly:" seems unnecessary... -- TheSpleen (talk) 16:03, 8 September 2013 (UTC)


 * There is a reason, I just can't think what it is at the moment. --prime mover (talk) 16:24, 8 September 2013 (UTC)


 * It's just that if you read the second equation system backwards and switch $y$ and $z$, you get exeactly the same. -- TheSpleen (talk) 17:09, 8 September 2013 (UTC)


 * Yes all right it's not necessary, but it's informative for a beginner. --prime mover (talk) 06:07, 9 September 2013 (UTC)


 * I think the original rationale for including both was because $\circ$ isn't commutative (under the monoid axioms); however, I think that since $\circ$ commutes when one argument is the identity element (by the definition of the identity element, $x\circ 1 = 1 \circ x = x$), this clarification isn't necessary. Luolimao (talk) 05:45, 12 February 2014 (UTC)