In covariant metric theories of coupled gravity-matter systems the necessary
and sufficient conditions ensuring the existence of a Killing vector field are
investigated. It is shown that the symmetries of initial data sets are
preserved by the evolution of hyperbolic systems.Comment: 9 pages, no figure, to appear in Class. Quant. Gra