Over a DVR with finite residue field of size `q`, if `D` is injective on `Oⁿ` with cokernel of length `k`, then the image of `pi ^ a • D` has index `q ^ (a * n + k)`.

Initializing...

Over a DVR with finite residue field of size `q`, if `D` is injective on `Oⁿ` with cokernel of length `k`, then the image of `pi ^ a • D` has index `q ^ (a * n + k)`. · Prove2Me