Lemma 92.6.3. In Example 92.6.1 let $\rho _0 : \Gamma \to \text{GL}_ k(V)$ be a finite dimensional continuous representation. Then

Thus $\text{Inf}(\mathcal{D}\! \mathit{ef}_{V, \rho _0})$ is always finite dimensional and $T\mathcal{D}\! \mathit{ef}_{V, \rho _0}$ is finite dimensional if $\Gamma $ is topologically finitely generated.

## Comments (0)