The universal enveloping algebra of
a semisimple Lie algebra is FCR. Complete reducibility for finite-dimensional
modules is generalized to encompass the representations of reductive Lie
algebras. A quantum example is presented as a nontrivial illustration of these
ideas.