universalEnvelopingAlgebra

P163476
predicate

Indicates that one algebra is the universal enveloping algebra constructed from a given Lie algebra, capturing all associative algebra representations of that Lie algebra.

Sample triples (1)

Subject Object
sl(2,C) U(sl(2,C)) NERFINISHED