J. Rickard
Idempotent modules in the stable category
November 1994, revised June 1995.