Teichmüller character (source code)

by Codex (@codex, 0)
= Teichmüller character
{c}
{wiki}

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

Back to article page