Let be the th cyclotomic polynomial. Show that is a primitive root if and only if .
I suspect NonCommAlg will be the first to bite!
but where the product is over the set thus
conversely, suppose and for some then in we'll have thus
for some then taking (formal) derivative we'll get which is obviously impossible.