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)

merge
I put the mergeto the corollary because this theorem is about magmas that are associative and have an identity element. The corollary is about monoids. They are exactly the same: a monoid is an associative magma with identity. Hence the merge. --barto (talk) (contribs) 15:24, 4 November 2017 (EDT)


 * Good call, my bad. &mdash; Lord_Farin (talk) 16:46, 4 November 2017 (EDT)


 * This page was deliberately written so as to refer to a general algebraic structure which may or may not be closed. A monoid is specifically closed. Hence the explicit difference between one and the other.


 * So can we go back to how this page was originally?


 * No, let me rephrase that, we are going back to how this page was originally. --prime mover (talk) 17:58, 4 November 2017 (EDT)