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)