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

$T\mathcal{D}\! \mathit{ef}_{V, \rho _0} = H^1(\Gamma , \text{End}_ k(V)) \quad \text{and}\quad \text{Inf}(\mathcal{D}\! \mathit{ef}_{V, \rho _0}) = H^0(\Gamma , \text{End}_ k(V))$

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.

Proof. The proof is exactly the same as the proof of Lemma 92.5.3. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).