有限（有限平坦）

mod $p$ 表現 $\bar\rho : G_{\mathbb{Q}} \to \mathrm{GL}_2(k)$ が $p$ で有限（finite）であるとは、$\mathbb{Z}_p$ 上の有限平坦群スキーム $\mathcal{F}$ で、$G_p$ 加群として $\mathcal{F}(\overline{\mathbb{Q}}_p) \cong k^2$（右辺は $\bar\rho|_{G_p}$ による作用）となるものが存在することをいう。素数 $\ell \ne p$ については、$\bar\rho$ が $\ell$ で不分岐であることを $\ell$ で有限であるという。