Skip to main content
2 events
when toggle format what by license comment
Aug 22, 2012 at 14:42 comment added Theo Johnson-Freyd The double construction of $\mathfrak g$ picks out a particular Cartan subalgebra. Indeed, the coproduct picks out the Cartan subalgebra, unless you're going to play games with "gauge equivalence" or something. I agree that counit and antipode maps are forced: this is equivalent to saying that an associative algebra cannot have more than one unit, and that an element in a unital associative algebra cannot have more than one inverse. This is in contrast with the coproduct, which is determined up to isomorphism but any particular choice of coproduct is actual data.
Aug 22, 2012 at 11:46 history answered Jan Grabowski CC BY-SA 3.0