quantum group

A quantum group is not a group at all — it is a Hopf algebra that deforms one of the two classical 'group-shaped' Hopf algebras by dialing a parameter q away from 1. At q = 1 you recover the ordinary object (a coordinate ring or an enveloping algebra); for generic q the multiplication and comultiplication twist into something noncommutative and noncocommutative, yet all the Hopf axioms survive. The name signals the analogy with quantization, where a parameter deforms a commutative classical theory into a noncommutative quantum one.

Concretely, two dual families are standard. The deformed coordinate algebra O_q(G) deforms the functions on a group, and the deformed enveloping algebra U_q(g) deforms the universal enveloping algebra of a semisimple Lie algebra g; these were introduced independently by Drinfeld and Jimbo around 1985. For example O_q(SL_2) is generated by a, b, c, d with relations like ab = q ba, and quantum determinant ad - q bc = 1, recovering commutative SL_2 at q = 1.

Quantum groups are not merely a curiosity: they are typically quasitriangular, carrying an R-matrix that solves the Yang-Baxter equation, so their module categories are braided. This makes them the algebraic engine behind quantum integrable systems, knot and link invariants such as the Jones polynomial, and three-dimensional topological quantum field theories.