Aqui vai um probleminha (que eu achei!) legal: Seja p um número primo. Seja A_d = { a em (Z/pZ)* tal que ord(a) = d } para cada d divisor de fi(p), onde (Z/pZ)* = (Z/pZ) - { 0 } e fi é a função de Euler. Definimos f(d) = soma de todos os elementos de A_d. Prove que f(d) == mi(d) (mod p) para todo d divisor de fi(p), onde mi é a função de Möbius.
[]s, Daniel ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================