What is the canonical projection of $\Bbb Z / p^{n+1} \Bbb Z \rightarrow \Bbb Z / p^n \Bbb Z$?

Question

If $p$ is a prime number and $\Bbb Z / p^k \Bbb Z$ is the ring of integers modulo $k$,

What is meant by "the canonical projection" of $\Bbb Z / p^{n+1} \Bbb Z \rightarrow \Bbb Z / p^n \Bbb Z$?

Is it just $z + p^{n+1} \Bbb Z \mapsto z + p^n \Bbb Z$?

Answer 1

Yes. Or equivalently, it's the mod $p^n$ map.