The functor ${\check{\mathcal{F}}}_P^G$ at the level of $K_0$

Let $G$ be a $p$-adic Lie group with reductive Lie algebra $\mathfrak{g}$. Denote by $D(G)$ the locally analytic distribution algebra of $G$. Orlik-Strauch and Agrawal-Strauch have studied certain exact functors defined on various categories of $\mathfrak{g}$-representations with image in the category of locally analytic $G$-representations or $D(G)$-modules. In this paper we prove that for suitably defined categories of $D(G)$-modules, this functor gives rise to injective homomorphisms at the level of Grothendieck groups. We also explain how this functor interacts with translation functors at the level of Grothendieck groups.