For a semigroup S of Markov operators on a space of continuous functions, we use S-invariant ideals to describe qualitative properties of S such as mean ergodicity and the structure of its fixed space. For this purpose we focus on primitive S-ideals and endow the space of those ideals with an appropriate topology. This approach is inspired by the representation theory of C*-algebras and can be adapted to our dynamical setting. In the particularly important case of Koopman semigroups, we characterize the centers of attraction of the underlying dynamical system in terms of the invariant ideal structure of S.Mathematics Subject Classification (2010). Primary 47A35, 47D03; Secondary 37B05, 37B25, 47B65.