  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.
