Abstract. This article records basic topological, as well as homological properties of the space of homomorphisms Hom(π,G) where π is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If π is a free abelian group of rank equal to n, then Hom(π,G) is the space of ordered n–tuples of commuting elements in G. If G = SU(2), a complete calculation of the cohomology of ...