  We review the definition of quiver varieties and their relation to
representation theory of Kac-Moody Lie algebras. Target readers are ring and
representation theorists. We emphasize important roles of first extension
groups of the preprojective algebra associated with a quiver.
