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!