De acuerdo al pequeño teorema de Fermat, en el anillo de los enteros "p"-ádicos formula_4 se tienen "p" − 1 raíces de la unidad, cada una de las cuales es congruente mod "p" con algún número en el rango entre 1 y "p" − 1; por lo tanto se puede definir un carácter de Dirichlet ω (el carácter de Teichmüller) con valores en formula_4 si se requiere que para "n" coprimos a "p", ω("n") sea congruente con "n" módulo "p".