Creo que exageré con la conjetura de Bunyakovsky :-), la afirmación de que en realidad es una aplicación fácil del teorema del recordatorio chino.
En la notación del comentario de @DerekHolt, escriba $p-1=2^{n_0}p_{1}^ {n_1}\cdots p_{r}^{n_r}$ donde $p_i$ es un primo impar para $i=1,2,\ldots,r$ . Puesto que cada $\mathbb{Z}/p_i \mathbb{Z}$ tiene al menos ese $3$ existen elementos $a_i$ tal que $a_i \not\equiv0,-2j \,\,(\text{mod} \, p_i)$ . Ahora toma $k$ tal que $k\equiv1 \,\,(\text{mod} \, 2)$ y $k\equiv a_i \,\,(\text{mod} \, p_i)$ entonces $k$ y $k+2j$ son coprimos de $p-1$ (porque $k\equiv a_i \not\equiv0,-2j \,\,(\text{mod} \, p_i)$ y ambos $k$ y $k+2j$ son impar ).
0 votos
¿Cómo se define $4m$ ? ¿Desea $m^4$ tal vez, dado que su grupo utiliza la multiplicación como regla? ¿O realmente quiere $4m$ ? Por cierto: en ambos casos, este elemento no siempre existe.
0 votos
Quiero $4m$ Creo que existe porque $p$ es un número primo $ \geq 3$
0 votos
No veo la relación con mi problema...
0 votos
@Bemte ¿tienes un contraejemplo?
0 votos
@mercio Mi contraejemplo era $p = 2$ . Como ahora se excluye, he preguntado a mi ordenador y me ha dicho que la afirmación es cierta para todos los primos $p$ con $3 \leq p \leq 1000$ ...
0 votos
@1231 Pero no has explicado realmente por qué crees que es verdad, ya que no conoces una prueba. ¿Es esto un ejercicio en alguna parte?
0 votos
@DerekHolt Esto es un ejercicio que me dio mi profesor, así que esto es por supuesto cierto para muy prime $p \geq 3$
5 votos
Si $\omega$ es una raíz primitiva mod $p$ entonces $4 = \omega^{2j}$ para algunos $j$ por lo que bastaría con demostrar que, para cualquier $j$ existe $k$ tal que $k$ y $k+2j$ son coprimos de $p-1$ .
1 votos
@DerekHolt tu afirmación se desprendería de la conjetura de Bunyakovsky: Considere $f(k)=k^2+2jk+(p-1)j^2$ , $f$ tiene discriminante negativo por lo que es irreducible y ningún primo podría dividir a $f(1),f(-1)$ y $f(0)$ al mismo tiempo, así $f(k)$ tomar infinitos primos $q$ Toma $q$ tal que $q \nmid p-1 $ entonces $k(k+2j)$ y $p-1$ serían coprimos.