 Teichmüller character

The Teichmuller character sends a nonzero residue class to its unique root-of-unity lift in the valuation ring.