1: \begin{abstract}

2: Let $\Gamma$ be a compact group acting on a smooth, compact manifold

3: $M$, let $P \in \psi^m(M; E_0, E_1)$ be a $\Gamma$-invariant,

4: classical pseudodifferential operator acting between sections of two

5: equivariant vector bundles $E_i \to M$, $i = 0,1$, and let $\alpha$ be

6: an irreducible representation of the group $\Gamma$. Then $P$ induces

7: a map $\pi_\alpha(P) : H^s(M; E_0)_\alpha \to H^{s-m}(M; E_1)_\alpha$

8: between the $\alpha$-isotypical components of the corresponding

9: Sobolev spaces of sections. When $\Gamma$ is finite, we explicitly

10: characterize the operators $P$ for which the map $\pi_\alpha(P)$ is

11: Fredholm in terms of the principal symbol of $P$ and the action of

12: $\Gamma$ on the vector bundles $E_i$. When $\Gamma = \{1\}$, that is,

13: when there is no group, our result extends the classical

14: characterization of Fredholm (pseudo)differential operators on compact

15: manifolds. The proof is based on a careful study of the symbol

16: $C^*$-algebra and of the topology of its primitive ideal spectrum. We

17: also obtain several results on the structure of the norm closure of

18: the algebra of invariant pseudodifferential operators and their

19: relation to induced representations. Whenever our results also hold

20: for non-discrete groups, we prove them in this greater generality. As

21: an illustration of the generality of our results, we provide some

22: applications to Hodge theory and to index theory of singular quotient

23: spaces.

24: \end{abstract}

25: