Quantum enveloping algebra