  Let $F$ be a finite extension of $\mathbb{Q}_p$. We prove that the category
of finitely presented smooth $Z$-finite representations of $GL_2(F)$ over a
finite extension of $\mathbb{F}_p$ is an abelian subcategory of the category of
all smooth representations. The proof uses amalgamated products of completed
group rings.
