Polinomi irriducibili di grado che divide $i$ in $ZZ_p[x]$

[blackbishop13]

voglio dimostrare che in $ZZ_p[x]$ anello dei polinomi a coefficienti in $ZZ_p$ (con $p$ primo) si ha:

dato $i in NN-{0}$ ($NN$ escluso lo zero) e $S={g(x) in ZZ_p[x]\ t.c.\ deg(g)\ |\ i\ ^^\ g\ \mbox{irriducibile}\ }$ dove $deg(g)$ è il grado di $g$ allora:

$prod_{g in S} g(x)=x^(p^i)-x$. dimostrazione:

sia $f(x) in ZZ_p[x]$ , $f\ irr.$ , chiamiamo $deg(f)=t$.
la tesi è equivalente a: $f(x)\ |\ x^(p^i)-x$ $\Leftrightarrow$ $t|i$

ma $f(x)\ |\ x^(p^i)-x$ è equivalente a $x^(p^i)-=x\ mod\ (f)$
e siccome $f$ è irriducibile, si ha che $(ZZ_p[x])/(f)$ è un campo di ordine $p^t$ (chiamiamolo ora $F$), e quindi il suo gruppo moltiplicativo ha ordine $p^t-1$
e perciò $x^(p^i)-=x\ mod\ (f)$ è verificata per l'elemento $0$ del campo $F$, ed è vera per gli altri se $x^(p^i-1)-=1$ $AAx in F-{0}$
ovvero se $p^t-1\ |\ p^i-1$
perciò il problema originale si è ridotto a $p^t-1\ |\ p^i-1\ \Leftrightarrow\ t\ |\ i$

cosa ne pensate fino qui, vi pare giusto?

[Studente Anonimo]

Sì.

Ora scrivi [tex]i=ta+b[/tex] con [tex]a,b \geq 0[/tex] e [tex]b

Cita

Segnala

[blackbishop13]

Uff, e dire che ovviamente avevo provato un paio di volte a scrivere [tex]i=at+b[/tex] e ricavare qualcosa, ma non mi era venuto in mente di togliere e aggiungere [tex]p^b[/tex].

grazie mille Martino, è una soluzione bella e veloce!

già che siamo qui, visto che non veniva un lato della freccia, ho provato un'altra strada, te lo dico in maniera veloce tanto sono sicuro che cogli al volo:
dato [tex]f \in \mathbb{Z}_p\left[x\right]\ \text{irriducibile},\ deg\left(f\right)=t[/tex] dimostrare che
[tex]x^{p^i}-x \equiv 0\ \pmod{f} \Rightarrow t \mid i[/tex]

avevo pensato a questa cosa: sia un campo con [tex]p^i[/tex] elementi, allora l'ipotesi mi dice che ha un sottocampo con [tex]p^t[/tex] elementi, da cui la tesi per un teorema noto sulle estensioni di campi. secondo te è corretta?

[Studente Anonimo]

"blackbishop13":un teorema noto sulle estensioni di campi

Se intendi la formula dei gradi, sì, sono d'accordo

[blackbishop13]

beh diciamo una sua diretta conseguenza, cioè che [tex]\mathbb{F,K}\ \text{campi}[/tex] tali che [tex]|\mathbb{F}|=p^n[/tex] e [tex]|\mathbb{K}|=p^m[/tex]
allora [tex]\mathbb{K} \le \mathbb{F}[/tex] ([tex]\mathbb{F}[/tex] è un'estensione di [tex]\mathbb{K}[/tex]) [tex]\Leftrightarrow\ m\mid n[/tex]

grazie mille dell' aiuto

[Studente Anonimo]

Prego