  The canonical trace on the reduced C*-algebra of a discrete group gives rise
to a homomorphism from the K-theory of this C^*-algebra to the real numbers.
This paper addresses the range of this homomorphism. For torsion free groups,
the Baum-Connes conjecture and Atiyah's L2-index theorem implies that the range
consists of the integers. If the group is not torsion free, Baum and Connes
conjecture that the trace takes values in the rational numbers.
  We give a direct and elementary proof that if G acts on a tree and admits a
homomorphism \alpha to another group H whose restriction to every stabilizer
group of a vertex is injective, then the range of the trace for G,
tr_G(K(C_r^*G)) is contained in the range of the trace for H, tr_H(K(C_r^*H)).
  This follows from a general relative Fredholm module technique.
  Examples are in particular HNN-extensions of H where the stable letter acts
by conjugation with an element of H, or amalgamated free products G=H*_U H of
two copies of the same groups along a subgroup U.
