Talk:Universal enveloping algebra

alternate construction

the first sentence of the section which i renamed "Alternate Construction", namely "Noting that any associative K-algebra becomes a Lie algebra with the bracket [a,b] = a.b-b.a, a construction and precise..." i added this sentence to some stuff i put at the top in some explanatory stuff. if this stuff stays at the top, then this sentence should be removed from the "alternate Construction" section, because it would be redundant. i didn't remove it myself, because i couldn't figure out how to start the paragraph without it. need help of the author (i assume this is you, Charles?) - Lethe

I've been through this again, mainly format matters, but some moves of material.

Charles Matthews 14:45, 13 May 2004 (UTC)

Charles, do we have the ability to make commutative diagrams?

There are some examples (Clifford algebra, IIRC correctly). Mostly from the old days, and not very nice. Or, people make little graphics to upload.

My taste is to use words, anyway. This really isn't a mathematics text, from the point of view of exposition.

Charles Matthews 21:24, 13 May 2004 (UTC)

OK then. another question: i put the universal construction on top of the less abstract construction, but looking around a bit (e.g. Tensor product) it seems that the preference is to start with the less abstract, and save the universal property for later. what do you think?

Not a big deal, either way. In this case, relying on tensor algebra, it's kind of clear what to do. Charles Matthews 11:37, 14 May 2004 (UTC)

Direct construction

I changed the first sentence of "direct construction." It used to say "For general reasons having to do with universal properties..." the thing is unique if it exists. I thought this wording was oblique at best and incorrect at worst. Most directly, one would probably prove uniqueness from the universal property via some standard abstract nonsense argument. There's probably some way to formulate things so that the proof is seen as following from a "general reason," but more likely I would say it follows from a "standard method." Either way, the present wording, hinting, imprecisely and mysteriously , at grandiose ideas doesn't seem helpful. Either stick with my approach (though please reword it-- I don't know if my wording is ideal) or describe the proof-process in a little more detail, if you're going to mention it. Lewallen 01:55, 12 March 2007 (UTC)

Example?

The most familiar nontrivial example of a Lie Algebra would be, I'd guess, the cross product.

It would be nice to see explain, by way of an example, what the universal enveloping algebra of the cross product is.

Just my 2c... mike40033 (talk) 00:25, 13 February 2014 (UTC)

I think I just now accomplished this, I hope. The article now gives a very highly detailed development of how, exactly, one builds the thing. All you need to do is to find every location of the Lie bracket in that section, and replace it by the cross product, and bingo, you're done. If perhaps, somehow, that is still not enough to understand the concept, then re-read the "intuitive definition" section. If even that is not enough, then the best that I can offer is to, say, for example, pick the 3x3 matrix representation of the rotation group, and build up all possible polynomials from these matrices, and then try to think about how to take the mod by the ideal. Hmmm. Actually, that might not be a bad example. I'm guessing that it might be possible to write down something very nicely concrete and specific, in this case... the su(2) case might be even simpler. I have to admit that I have never seen such an example worked out in detail. Which is actually quite alarming, since I pretend to understand far more abstract shit. Wow. I guess I just learned something. Thanks! 67.198.37.16 (talk) 20:57, 20 September 2016 (UTC)