Una domanda sugli anelli quozienti di polinomi

Paolo902
Sia $ZZ_p[X]$ l'anello dei polinomi a coefficienti in $ZZ_p$. Sia $I$ un ideale (principale), generato da un polinomio $p(x)$ di grado $n$: $I=(p(x))$.

E' corretto affermare che $|ZZ_p[X]//I|=p^n$?

Inoltre, se non sbaglio, se $p(x)=x$ allora il quoziente $ZZ_p[X]//(x) cong ZZ_p$.

Corretto?
Scusate ma sono domande che mi sono posto e volevo essere sicuro delle risposte.

Vi ringrazio.
:wink:

Risposte
blackbishop13
Mi sembra tutto giusto, puoi vederlo se consideri

$ZZ_p[X]//I$ come spazio vettoriale su $ZZ_p$, infatti avrà dimensione $deg(p)=n$

da cui la cadinalità è ovviamente $p^n$.

Paolo902
Perfetto, ti ringrazio molto.

Non avendo ancora fatto algebra lineare non sapevo che il quoziente fosse uno spazio vettoriale su $ZZ_p$.

Ti ringrazio.
:wink:

dissonance
"Spazio vettoriale"... Ma $p$ è primo?

Paolo902
"dissonance":
"Spazio vettoriale"... Ma $p$ è primo?


Oh yes.
:wink:

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