MathDB
sum of primitive root

Source: iran(third round 2003)

March 22, 2004
algebrapolynomialnumber theorynumber theory unsolved

Problem Statement

Let pp be an odd prime number. Let SS be the sum of all primitive roots modulo pp. Show that if p1p-1 isn't squarefree (i. e., if there exist integers kk and mm with k>1k>1 and p1=k2mp-1=k^2m), then S0modpS \equiv 0 \mod p.
If not, then what is SS congruent to modp\mod p ?