Definition talk:Kernel of Magma Homomorphism

I'd be interested to learn where this definition comes from. Unless an operation is associative, there may well not be a unique identity - that is, its uniqueness follows from associativity.

Where is all this going? One presumes there's a source work somewhere on non-associative abstract algebra that covers all this stuff? --prime mover (talk) 12:56, 21 March 2013 (UTC)


 * Unless I'm being thick I don't see where associativity is used in Identity is Unique.


 * I've seen some stuff like this in the Algebra book by Bourbaki. These are mere sentences in that book though. --Jshflynn (talk) 13:00, 21 March 2013 (UTC)


 * D'oh! as you were. It's inverses that are not necessarily unique under a non-associative operation. --prime mover (talk) 20:36, 21 March 2013 (UTC)


 * If you got it out of Bourbaki then recommend you add the Bourbaki reference - whether they are "mere sentences" or not. --prime mover (talk) 20:37, 21 March 2013 (UTC)