Definition talk:Kernel of Magma Homomorphism

From ProofWiki
Jump to navigation Jump to search

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)