In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebras), compact matrix quantum groups (which are structures on unital separable C*-algebras), and bicrossproduct quantum groups. Despite their name, they do not themselves have a natural group structure, though they are in some sense 'close' to a group.

The term "quantum group" first appeared in the theory of quantum integrable systems, which was then formalized by Vladimir Drinfeld and Michio Jimbo as a particular class of Hopf algebra. The same term is also used for other Hopf algebras that deform or are close to classical Lie groups or Lie algebras, such as a "bicrossproduct" class of quantum groups introduced by Shahn Majid a little after the work of Drinfeld and Jimbo.

In Drinfeld's approach, quantum groups arise as Hopf algebras depending on an auxiliary parameter q or h, which become universal enveloping algebras of a certain Lie algebra, frequently semisimple or affine, when q = 1 or h = 0. Closely related are certain dual objects, also Hopf algebras and also called quantum groups, deforming the algebra of functions on the corresponding semisimple algebraic group or a compact Lie group.

The discovery of quantum groups was quite unexpected since it was known for a long time that compact groups and semisimple Lie algebras are "rigid" objects, in other words, they cannot be "deformed". One of the ideas behind quantum groups is that if we consider a structure that is in a sense equivalent but larger, namely a group algebra or a universal enveloping algebra, then a group algebra or enveloping algebra can be "deformed", although the deformation will no longer remain a group algebra or enveloping algebra. More precisely, deformation can be accomplished within the category of Hopf algebras that are not required to be either commutative or cocommutative. One can think of the deformed object as an algebra of functions on a "noncommutative space", in the spirit of the noncommutative geometry of Alain Connes. This intuition, however, came after particular classes of quantum groups had already proved their usefulness in the study of the quantum Yang–Baxter equation and quantum inverse scattering method developed by the Leningrad School (Ludwig Faddeev, Leon Takhtajan, Evgeny Sklyanin, Nicolai Reshetikhin and Vladimir Korepin) and related work by the Japanese School. The intuition behind the second, bicrossproduct, class of quantum groups was different and came from the search for self-dual objects as an approach to quantum gravity.

One type of objects commonly called a "quantum group" appeared in the work of Vladimir Drinfeld and Michio Jimbo as a deformation of the universal enveloping algebra of a semisimple Lie algebra or, more generally, a Kac–Moody algebra, in the category of Hopf algebras. The resulting algebra has additional structure, making it into a quasitriangular Hopf algebra.

Let A = (a_ij) be the Cartan matrix of the Kac–Moody algebra, and let q ≠ 0, 1 be a complex number, then the quantum group, U_q(G), where G is the Lie algebra whose Cartan matrix is A, is defined as the unital associative algebra with generators k_λ (where λ is an element of the weight lattice, i.e. 2(λ, α_i)/(α_i, α_i) is an integer for all i), and e_i and f_i (for simple roots, α_i), subject to the following relations:

And for i ≠ j we have the q-Serre relations, which are deformations of the Serre relations:

where the q-factorial, the q-analog of the ordinary factorial, is defined recursively using q-number: