 Residue characteristic

The residue characteristic of a local ring is the characteristic of a ring of its residue field. A finite extension of ${\mathbb{Q}}_p$ has residue characteristic $p$.