Ideali primi
Salve....potete aiutarmi con questi esercizi?Dire se l'ideale o primo o meno:
-$I=(X^3-18X+12)$ in $ZZ[X]$
Siccome il polinomio è irriducibile su $ZZ[X]$ posso dire che è massimale e quindi primo. Giusto?
-$I=(X^3-18X+12)$ in $ZZ_3[X]$
E' giusto dire che $ZZ_3[X]$/$(X^3)~=ZZ_3xxZZ_3xxZZ_3$? E quindi l'ideale non è primo
$I=(X^3-18X+12, 5)$ in $ZZ[X]$
$ZZ_5 [X]$/$(X^3-18X+12)~=ZZ_5[X]$/$(X-1)xxZZ_5[X]$/$(X-1)xxZZ_5[X]$/$(X+2)~=ZZ_5xxZZ_5xxZZ_5$
Va bene? Quindi non essendo un dominio, l'ideale non è primo.
$I=(X^3-18X+12, 5)$ in $QQ[X]$
Qui non so proprio da dovere iniziare....
$I=(X^3-18X+12, X-1)$ in $ZZ[X]$
$ZZ_[X]$/$(X^3-18X+12, X-1)~=ZZ_5 [X]$/$(X-1)$/$(X^3-18X+12)~=ZZ$/$(X^3-18X+12)$ ma ciò è assurdo no..?
Grazie per l'aiuto che mi date....
-$I=(X^3-18X+12)$ in $ZZ[X]$
Siccome il polinomio è irriducibile su $ZZ[X]$ posso dire che è massimale e quindi primo. Giusto?
-$I=(X^3-18X+12)$ in $ZZ_3[X]$
E' giusto dire che $ZZ_3[X]$/$(X^3)~=ZZ_3xxZZ_3xxZZ_3$? E quindi l'ideale non è primo
$I=(X^3-18X+12, 5)$ in $ZZ[X]$
$ZZ_5 [X]$/$(X^3-18X+12)~=ZZ_5[X]$/$(X-1)xxZZ_5[X]$/$(X-1)xxZZ_5[X]$/$(X+2)~=ZZ_5xxZZ_5xxZZ_5$
Va bene? Quindi non essendo un dominio, l'ideale non è primo.
$I=(X^3-18X+12, 5)$ in $QQ[X]$
Qui non so proprio da dovere iniziare....
$I=(X^3-18X+12, X-1)$ in $ZZ[X]$
$ZZ_[X]$/$(X^3-18X+12, X-1)~=ZZ_5 [X]$/$(X-1)$/$(X^3-18X+12)~=ZZ$/$(X^3-18X+12)$ ma ciò è assurdo no..?
Grazie per l'aiuto che mi date....
Risposte
Potresti per cortesia riscrivere gli ultimi tre casi, perché credo che ti sia scappato qualche errore di battitura e non si capisce molto..
Quanto al primo la tua riflessione è corretta, mentre nel secondo devi specificare che operazioni definisci su \(\mathbb{Z}_3\times\mathbb{Z}_3\times\mathbb{Z}_3\). Da quello che hai scritto, tu affermi che \(\mathbb{Z}_3[X]/(X^3)\) è isomorfo a \(\mathbb{Z}_3\times\mathbb{Z}_3\times\mathbb{Z}_3\) come anello (altrimenti non puoi concludere), quindi l'isomorfismo non deve solo essere una biezione, ma anche preservare le operazioni.
In ogni caso puoi concludere più semplicemente trovando due divisori dello zero, pensaci!
Ender
Quanto al primo la tua riflessione è corretta, mentre nel secondo devi specificare che operazioni definisci su \(\mathbb{Z}_3\times\mathbb{Z}_3\times\mathbb{Z}_3\). Da quello che hai scritto, tu affermi che \(\mathbb{Z}_3[X]/(X^3)\) è isomorfo a \(\mathbb{Z}_3\times\mathbb{Z}_3\times\mathbb{Z}_3\) come anello (altrimenti non puoi concludere), quindi l'isomorfismo non deve solo essere una biezione, ma anche preservare le operazioni.
In ogni caso puoi concludere più semplicemente trovando due divisori dello zero, pensaci!
Ender
"EnderWiggins":
Quanto al primo la tua riflessione è corretta
"melli13":No, questa riflessione non è corretta: per esempio [tex]J_p := (x^3-18x+12,p)[/tex] contiene propriamente [tex]I[/tex] per ogni primo [tex]p[/tex] (e per la cronaca [tex]J_p[/tex] è massimale se e solo se [tex]x^3-18x+12[/tex] è irriducibile modulo [tex]p[/tex], per esempio [tex]J_7[/tex] è massimale).
Dire se l'ideale o primo o meno:
-$I=(X^3-18X+12)$ in $ZZ[X]$
Siccome il polinomio è irriducibile su $ZZ[X]$ posso dire che è massimale e quindi primo. Giusto?
Un ragionamento per dimostrare che [tex]I[/tex] è primo è il seguente: [tex]\mathbb{Z}[X]/I[/tex] si immerge canonicamente in [tex]\mathbb{Q}[X]/I \mathbb{Q}[X][/tex], che è un campo.
melli13, la tua idea non va bene perché [tex]\mathbb{Z}[X][/tex] non è un PID (in generale se [tex]A[/tex] è un anello commutativo unitario allora [tex]A[X][/tex] è un PID se e solo se [tex]A[/tex] è un campo: prova a dimostrarlo, non è difficile). Vedi qui. In particolare osserva che se [tex]I[/tex]è un ideale massimale di [tex]\mathbb{Z}[X][/tex] allora [tex]\mathbb{Z}[X]/I[/tex] è un campo finito.
Chiedo venia, Martino ha ragione. Non ho letto con la dovuta attenzione il primo caso e sono incappato in un errore di distrazione imperdonabile.
Mi permetto però di approfittare dell'occasione per rilanciare lo spunto di Martino:
Enunciato: Sia $R$ una $\mathbb{Z}$-algebra finitamente generata. Mostrare che se $\mathbf{m}\subset R$ è un ideale massimale, allora \(R/\mathbf{m}\) è un campo finito.
Mi permetto però di approfittare dell'occasione per rilanciare lo spunto di Martino:
In particolare osserva che se $I$ è un ideale massimale di $\mathbb{Z}[X]$ allora \(\mathbb{Z}[X]/I\) è un campo finito.
Enunciato: Sia $R$ una $\mathbb{Z}$-algebra finitamente generata. Mostrare che se $\mathbf{m}\subset R$ è un ideale massimale, allora \(R/\mathbf{m}\) è un campo finito.
Ma $Z[x]$ non è a fattorizzazione unica?(poichè lo è $Z$) Quindi in teoria in un UFD io ho che
$a$ irriducibile se e solo se $(a)$ è ideale primo
e in un UFD irriducibile se e solo se è primo.
correggetemi se sbaglio...
$a$ irriducibile se e solo se $(a)$ è ideale primo
e in un UFD irriducibile se e solo se è primo.
correggetemi se sbaglio...
In ogni caso, non è vero che [tex]\mathbb Z_3 [X] / (X^3) \cong \mathbb Z_3 \times \mathbb Z_3 \times \mathbb Z_3[/tex] come anello! In questo caso si sottointende che sul membro a destra ci sia la struttura di prodotto diretto di anelli, altrimenti è caldamente consigliabile non usare tale notazione. In questo caso, allora l'isomorfismo non può esistere perché [tex]\mathbb Z_3[X] / (X^3)[/tex] è un anello locale, mentre l'altro ha tre ideali massimali (il funtore [tex]\text{Spec}[/tex] trasforma prodotti diretti in unioni disgiunte, per chi ama questo linguaggio...)
@Simonixx: sì, hai ragione. E in questo caso basta Eisenstein a concludere.
@Simonixx: sì, hai ragione. E in questo caso basta Eisenstein a concludere.
E' il motivo per cui sono incappato nell'errore, non ho letto bene il post e dunque il mio cervello ha completato come voleva..
Effettivamente un ideale principale (non nullo) è primo se e solo se è generato da un elemento primo e in un UFD ogni elemento primo è irriducibile e viceversa.
$\mathbb{Z}[X]$ è un UFD e dunque l'ideale è primo, per il ragionamento di cui sopra. Il guaio è che Melli13 conclude invece che $I$ è massimale e dunque primo, il che è errato.
Effettivamente un ideale principale (non nullo) è primo se e solo se è generato da un elemento primo e in un UFD ogni elemento primo è irriducibile e viceversa.
$\mathbb{Z}[X]$ è un UFD e dunque l'ideale è primo, per il ragionamento di cui sopra. Il guaio è che Melli13 conclude invece che $I$ è massimale e dunque primo, il che è errato.
Penso che lo stesso ragionamento sia fattibile, più semplicemente, per $Z_3[x]$.
Sicuramente è un campo poichè lo è $Z_3$. Dunque è un PID.
$x^3$ è riducibile, dunque l'ideale da lui generato non può essere primo.
(visto che PID è "più forte" di UFD, e PID implica UFD)
p.s.: adorabili metodi di Maurer, ahahah
p.p.s.: quell'isomorfismo non dovrebbe essere valido, poichè se è vero che $(x^3) = (x*x*x)$ è anche vero che se voglio scomporre in un prodotto diretto di anelli, il teorema cinese del resto ce lo vieta, poichè possiamo farlo solo se gli ideali sono coprimi fra loro... ovvero se generano l'1. A prima vista non mi pare...
Ma non mi ricordo bene questa parte di programma, quindi potrei sbagliare.
Sicuramente è un campo poichè lo è $Z_3$. Dunque è un PID.
$x^3$ è riducibile, dunque l'ideale da lui generato non può essere primo.
(visto che PID è "più forte" di UFD, e PID implica UFD)
p.s.: adorabili metodi di Maurer, ahahah
p.p.s.: quell'isomorfismo non dovrebbe essere valido, poichè se è vero che $(x^3) = (x*x*x)$ è anche vero che se voglio scomporre in un prodotto diretto di anelli, il teorema cinese del resto ce lo vieta, poichè possiamo farlo solo se gli ideali sono coprimi fra loro... ovvero se generano l'1. A prima vista non mi pare...
Ma non mi ricordo bene questa parte di programma, quindi potrei sbagliare.
Sì vabbeh, ma non complichiamoci troppo la vita, per favore! XD Io ho spiegato perché quell'isomorfismo non può esistere, ma per risolvere l'esercizio, basta osservare che [tex]X[/tex] è nilpotente in [tex]\mathbb Z_3[X]/(X^3)[/tex]!
Finiamo l'esercizio...
Sì, è giusto questa volta, per il Teorema Cinese dei Resti. Io consiglierei di scrivere sempre la giustificazione, anche quando è ovvia. Insegna a non barare con se stessi!
Rifletti... ci sono almeno due strade naturali che conducono alla soluzione:
1) [tex]5[/tex] è invertibile in [tex]\mathbb Q[/tex]...
2) [tex]\mathbb Q[X][/tex] è un dominio euclideo, quindi un PID e sappiamo pure calcolare il generatore di un ideale formato da un numero finito di elementi...
Quello che hai scritto non ha senso... da dove lo tiri fuori, per esempio, [tex]\mathbb Z_5[/tex]? La cosa più rapida, essendo [tex]\mathbb Z[X][/tex] un UFD è calcolare il gcd dei due polinomi... siccome sono monici, puoi far finta di calcolarlo in [tex]\mathbb Q[X][/tex] ed automaticamente hai già la certezza teorica che avrà coefficienti in [tex]\mathbb Z[/tex]...
"melli13":
$I=(X^3-18X+12, 5)$ in $ZZ[X]$
$ZZ_5 [X]$/$(X^3-18X+12)~=ZZ_5[X]$/$(X-1)xxZZ_5[X]$/$(X-1)xxZZ_5[X]$/$(X+2)~=ZZ_5xxZZ_5xxZZ_5$
Va bene? Quindi non essendo un dominio, l'ideale non è primo.
Sì, è giusto questa volta, per il Teorema Cinese dei Resti. Io consiglierei di scrivere sempre la giustificazione, anche quando è ovvia. Insegna a non barare con se stessi!
"melli13":
$I=(X^3-18X+12, 5)$ in $QQ[X]$
Qui non so proprio da dovere iniziare....
Rifletti... ci sono almeno due strade naturali che conducono alla soluzione:
1) [tex]5[/tex] è invertibile in [tex]\mathbb Q[/tex]...
2) [tex]\mathbb Q[X][/tex] è un dominio euclideo, quindi un PID e sappiamo pure calcolare il generatore di un ideale formato da un numero finito di elementi...
"melli13":
$I=(X^3-18X+12, X-1)$ in $ZZ[X]$
$ZZ_[X]$/$(X^3-18X+12, X-1)~=ZZ_5 [X]$/$(X-1)$/$(X^3-18X+12)~=ZZ$/$(X^3-18X+12)$ ma ciò è assurdo no..?
Grazie per l'aiuto che mi date....
Quello che hai scritto non ha senso... da dove lo tiri fuori, per esempio, [tex]\mathbb Z_5[/tex]? La cosa più rapida, essendo [tex]\mathbb Z[X][/tex] un UFD è calcolare il gcd dei due polinomi... siccome sono monici, puoi far finta di calcolarlo in [tex]\mathbb Q[X][/tex] ed automaticamente hai già la certezza teorica che avrà coefficienti in [tex]\mathbb Z[/tex]...
Allora...innanzitutto vi ringrazio per avermi risposto e avermi fatto capire i miei errori...
Al primo esercizio sbagliavo perchè applicavo il teorema valido solo per i campi....cioè se in un campo F[X] ho un polinomio p(x) irriducibile allora l'ideale generato dal polinomio è massimale. E da qui deducevo le mie conclusioni....Ma siccome $ZZ[X]$ non è un campo il mio ragionamento fallisce...
!
Ora ho capito il fatto che siccome $ZZ[X]$ è un UFD e il polinomio è irriducilbile allora l'ideale generato dal polinomio è primo.
Per quanto riguarda il secondo, non riesco a capire cosa implichi il fatto che $(x^3)$ sia nilpotente...non mi è ben chiara la relazione tra nilpotenza e ideali primi..xò ho capito che l'ideale non è primo per il fatto che dice Simonixx.
Per il quarto, ho seguito il suggerimento (l'unico XD) di maurer cioè che 5 è invertibile e quindi quell'ideale è uguale all'anello $QQ[X]$ e $QQ[X]$/$(X^3-18X+12, 5)$ è allora isomorfo all'anello nullo e l'ideale non è primo.
L'ultimo lo risolverei così:
$ZZ[X]$/$(X^3-18X+12, X-1)~=ZZ[X]$/$(X-1)$/$(X^3-18X+12)~=ZZ$/$(1^3-18*1+12)~=ZZ$/$(-5)$$~=ZZ_5$ che essendo un campo è quindi anche un dominio e quindi l'ideale è primo.
Al primo esercizio sbagliavo perchè applicavo il teorema valido solo per i campi....cioè se in un campo F[X] ho un polinomio p(x) irriducibile allora l'ideale generato dal polinomio è massimale. E da qui deducevo le mie conclusioni....Ma siccome $ZZ[X]$ non è un campo il mio ragionamento fallisce...
!Ora ho capito il fatto che siccome $ZZ[X]$ è un UFD e il polinomio è irriducilbile allora l'ideale generato dal polinomio è primo.
Per quanto riguarda il secondo, non riesco a capire cosa implichi il fatto che $(x^3)$ sia nilpotente...non mi è ben chiara la relazione tra nilpotenza e ideali primi..xò ho capito che l'ideale non è primo per il fatto che dice Simonixx.
Per il quarto, ho seguito il suggerimento (l'unico XD) di maurer cioè che 5 è invertibile e quindi quell'ideale è uguale all'anello $QQ[X]$ e $QQ[X]$/$(X^3-18X+12, 5)$ è allora isomorfo all'anello nullo e l'ideale non è primo.
L'ultimo lo risolverei così:
$ZZ[X]$/$(X^3-18X+12, X-1)~=ZZ[X]$/$(X-1)$/$(X^3-18X+12)~=ZZ$/$(1^3-18*1+12)~=ZZ$/$(-5)$$~=ZZ_5$ che essendo un campo è quindi anche un dominio e quindi l'ideale è primo.
Il fatto che sia nilpotente funziona in questo modo:
1. Un ideale è primo se e solo se il quoziente tra l'anello e l'ideale è un dominio ;
2. Un dominio non ha divisori dello zero ;
3. Un elemento nilpotente è un divisore dello zero ;
Ora se quozienti modulo $(x^3)$ sai che dentro quell'anello quoziente c'è $x$. Siccome che lavori $mod x^3$, sai che $x^3 = 0$ in quell'anello quoziente, dunque $x$ è un elemento nilpotente che elevato alla terza potenza dà un elemento uguale a zero, essendo sè stesso diverso da zero.
A questo punto hai dimostrato che esiste un elemento nilpotente nell'anello quoziente, dunque esiste un divisore dello zero, dunque non è possibile che sia un dominio, dunque non è possibile che l'ideale sia primo.
Sostanzialmente funziona così. La parte più difficile consiste nel dimostrare l'esistenza di $x$ nell'anello quoziente, perchè il resto sono teoremi noti e implicazioni piuttosto importanti. Non vorrei però aver sbagliato e magari $x$ non è nel quoziente, ma siccome lo dicono gli altri nei precedenti post, mi fido di loro.
1. Un ideale è primo se e solo se il quoziente tra l'anello e l'ideale è un dominio ;
2. Un dominio non ha divisori dello zero ;
3. Un elemento nilpotente è un divisore dello zero ;
Ora se quozienti modulo $(x^3)$ sai che dentro quell'anello quoziente c'è $x$. Siccome che lavori $mod x^3$, sai che $x^3 = 0$ in quell'anello quoziente, dunque $x$ è un elemento nilpotente che elevato alla terza potenza dà un elemento uguale a zero, essendo sè stesso diverso da zero.
A questo punto hai dimostrato che esiste un elemento nilpotente nell'anello quoziente, dunque esiste un divisore dello zero, dunque non è possibile che sia un dominio, dunque non è possibile che l'ideale sia primo.
Sostanzialmente funziona così. La parte più difficile consiste nel dimostrare l'esistenza di $x$ nell'anello quoziente, perchè il resto sono teoremi noti e implicazioni piuttosto importanti. Non vorrei però aver sbagliato e magari $x$ non è nel quoziente, ma siccome lo dicono gli altri nei precedenti post, mi fido di loro.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo