Groups, Rings, Group Rings, and Hopf Algebras

Abstract

In this largely expository article we present an elementary construction of Lusztig’s canonical basis in type ADE. The method, which is essentially Lusztig’s original approach, is to use the braid group to reduce to rank two calculations. Some of the wonderful properties of the canonical basis are already visible: that it descends to a basis for every highest weight integrable representation, and that it is a crystal basis.