On the injective dimension of unit Cartier and unit Frobenius modules

Let $R$ be a regular $F$-finite ring of prime characteristic $p$. We prove that the injective dimension of every unit Frobenius module $M$ in the category of unit Frobenius modules is at most $dim\left({Supp}_R\left(M\right)\right)+1$. We further show that for unit Cartier modules the same bound holds over any noetherian $F$-finite ring $A$ of prime characteristic $p$. This shows that $dimA+1$ is a uniform upper bound for the injective dimension of any unit Cartier module over a noetherian $F$-finite ring $A$.