Algebra: ancora sul campo di spezzamento

V.C5
Ciao a tutti,

ho un problema con il seguente esercizio:

sia K il campo di spezzamento del polinomio

$p(x)=x^4+2x^3+x+1$ su $ZZ_3$

Si calcoli $[K:ZZ_3]$, una base di K su $ZZ_3$ e si dia la fattorizzazione in fattori lineari del polinomio su K.

Prima cosa che faccio: verifico che effettivamente p(x) è irriducibile su $ZZ_3$: fino a qui siamo d'accordo.
Controllo se il polinomio è il prodotto di due polinomi di secondo grado a coefficienti in $ZZ_3$, e scopro che non lo è.

Chiamo $\alpha$ una radice di p(x). Quindi $p(\alpha)=0$, e p(x) è il polinomio minimo di $\alpha$. Dunque risulta che $[K:ZZ_3]=4$.A questo punto io, ingenua, credo che la base sia ${1,\alpha, \alpha^2, \alpha^3}$, ma ovviamente non è così, dunque, com'è questa base? Com'è la fattorizzazione?

Grazie mille in anticipo

Risposte
Stickelberger
Infatti, $\{1,\alpha,\alpha^2,\alpha^3\}$ e' una base. Perche' non sarebbe cosi'?

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.