16 votos

Demostrar que la suma de las raíces primitivas congruente a $\mu(p-1) \pmod{p}$

Supongamos que $p$ es un primo. Demostrar que la suma de las raíces primitivas modulo $p$ es congruente a $\mu(p − 1) \pmod{p}$.

10voto

sanity Puntos 11745

Si $g$ es una raíz primitiva de $p$, a continuación, Thm 10.9 de Apostol dice que la suma en cuestión, $S$, está dada por

$$S=\!\!\!\!\!\sum_{\substack{k=1\\(k,p-1)=1}}^{p-1}\!\!\!\!\!\!g^k=\sum_{k=1}^{p-1}g^k\sum_{\substack{d|k\\d|p-1}}\mu(d)=\sum_{d|p-1}\mu(d)\sum_{r=1}^{(p-1)/d}\!\!g^{rd}$$

El interior de la suma es congruente a $0$ si $d=p-1$ cuando es congruente a $1$.

6voto

Charles Anderson Puntos 3837

Si $p - 1 = a^\alpha b^\beta c^\gamma ...$. Entonces si $A$ es un elemento de orden $a^\alpha$, $B$ es un elemento de orden $b^\beta$, etc. a continuación, ABC... es una raíz primitiva.

Si a, A', A", etc. son los elementos de orden $a^\alpha$, B, B', B", etc. son los elementos de orden $b^\beta$, luego

(A + a' + ...) (B + B' + ...) (C + C' + ...) ( ... ) es la suma de las raíces primitivas.

Ahora considere la suma de los términos en uno de los factores que, teniendo en cuenta el hecho de que si $k$ es el orden de $y$ $l$ es relativamente primer a$k$, $y^l$ también tiene orden de $k$.

3voto

Drew Puntos 4332

Sea f(d) suma de los elementos de la u de orden d, y sea g(d) suma de los elementos de u cuya dth poderes son 1. Por lo tanto g pueden ser evaluados de una forma geométrica de la suma, y también tiene una expresión en términos de f que establece Möbius inversión para dar a f en términos de g, el ejercicio está solicitando f(p − 1), por lo que estamos por hacer. (Esta respuesta esencialmente repite los demás, pero tal vez la invocación de Möbius de la inversión en lugar de rehacer en medio de otras cosas, es ordenado.)

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X