In algebra, a crystal base or canonical base is a base of a representation, such that generators of a quantum group or semisimple Lie algebra have a particularly simple action on it. Crystal bases were introduced by Kashiwara (1990) and Lusztig (1990) (under the name of canonical bases).
As a consequence of the defining relations for the quantum group , can be regarded as a Hopf algebra over , the field of all rational functions of an indeterminate q over .