Residue characteristic (source code)

= 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$.