Witt residue sequence
ID: witt-residue-sequence
For a complete discretely valued field with perfect residue field , there is a split exact sequence . The residue is canonical. A uniformizer chooses a splitting ; this choice does not make the residue itself noncanonical.
New to topics? Read the docs here!