# Universal Enveloping Algebras and Quantum Groups

Given a semisimple Lie algebra over a field of characteristic zero, we can construct an integral basis for its universal enveloping algebra. Functionality for computing in these algebras is described in Section [Universal Enveloping Algebras](../LieAlgebras/universal_enveloping_algebras.md#sectunivea). Moreover, we provide functionality for computing in their quantised versions, which are called quantum groups. This is described in Chapter [Quantum Groups](../QuantumGroups/index-quantum-groups.md#chap-quagrps).