Identità Bezòut Polinomi
Salve a tutti!
Prima di scrivere ho provato ad effettuare una ricerca nel forum ma non ho trovato nulla che mi tornasse utile...
La mia domanda riguarda l' identità di Bezòut sui polinomi.
Per quanto riguarda gli interi, ho ben compreso l'algoritmo euclideo (delle divisioni successive) e tutti i passaggi iterativi per arrivare all'identità di Bezòut.
Mentre per i polinomi ho qualche dubbio...
Vi posto un esempio :
$ MCD (x^2+2x+2, x^3+2x-1) " in " ZZ_3 $
$ x^3+2x-1=(x^2+2x+2)(x+1)+x $
$ x^2+2x+2=x(x+2)+2 $
Quindi il MCD trovato è 2. E fino qui ci siamo.
Ora non capisco questo passaggio :
$ 2=(x^2+2x+2)(2x)+(x^3+2x-1)(-x-2) $
Allora, che l'identità di Bezout serva per esprimere l' MCD come combinazione dei due polinomi, ci sono.
Ma che passaggi si fanno per trovare $(2x)$ e $(-x-2)$ ?
Io avevo pensato, partendo dall'ultimo passaggio di "isolare" il 2, e abbiamo che :
$ 2=(x^2+2x+2)+x(-x-2) $
Ma in questo modo non l'ho espresso come combinazione dei due polinomi iniziali... come si procede?
Sicuramente sarà un passaggio banale... ma si sa, io mi perdo sempre sulle cose più stupide!!
Vi ringrazio anticipatamente... e buon anno a tutti
Mario
Prima di scrivere ho provato ad effettuare una ricerca nel forum ma non ho trovato nulla che mi tornasse utile...
La mia domanda riguarda l' identità di Bezòut sui polinomi.
Per quanto riguarda gli interi, ho ben compreso l'algoritmo euclideo (delle divisioni successive) e tutti i passaggi iterativi per arrivare all'identità di Bezòut.
Mentre per i polinomi ho qualche dubbio...
Vi posto un esempio :
$ MCD (x^2+2x+2, x^3+2x-1) " in " ZZ_3 $
$ x^3+2x-1=(x^2+2x+2)(x+1)+x $
$ x^2+2x+2=x(x+2)+2 $
Quindi il MCD trovato è 2. E fino qui ci siamo.
Ora non capisco questo passaggio :
$ 2=(x^2+2x+2)(2x)+(x^3+2x-1)(-x-2) $
Allora, che l'identità di Bezout serva per esprimere l' MCD come combinazione dei due polinomi, ci sono.
Ma che passaggi si fanno per trovare $(2x)$ e $(-x-2)$ ?
Io avevo pensato, partendo dall'ultimo passaggio di "isolare" il 2, e abbiamo che :
$ 2=(x^2+2x+2)+x(-x-2) $
Ma in questo modo non l'ho espresso come combinazione dei due polinomi iniziali... come si procede?
Sicuramente sarà un passaggio banale... ma si sa, io mi perdo sempre sulle cose più stupide!!
Vi ringrazio anticipatamente... e buon anno a tutti
Mario
Risposte
Ciao Mario.
Sì, hai capito il trucco, non ti devi solo fermare; ricavati dalla prima riga $x$ e poi lo sostiuisci in $ 2=(x^2+2x+2)+$ [tex]\boxed{$$x$$}[/tex] $(-x-2) $ solo al posto della $x$ che ti ho riquadrato. Se fai un po' di conti, ottieni proprio il Bézout che cercavi.
Se hai ancora dubbi siamo qui. Ad maiora.
P.S. Ti faccio notare solo una cosa: se chiami $\mathbb K[x]$ l'anello dei polinomi a coefficienti in $mathbb K$ (campo), allora per due polinomi avere $2$ o una qualsiasi altra costante $k in mathbbK-{0}$ come MCD è la stessa cosa; questo perchè le costanti sono tutti e soli gli elementi invertibili dell'anello; quindi, puoi concludere che i due polinomi sono coprimi e - se dividi i due membri dell'identità di Bezout per $2$ - ecco che riesci ad esprimere $1$ come combinazione lineare dei due polinomi.
Non so se questo ti poteva interessare; spero di sì, in caso contrario ignora tutto e... tanti auguri per un felice 2010!
"AttraversamiIlCuore":
$ MCD (x^2+2x+2, x^3+2x-1) " in " ZZ_3 $
$ x^3+2x-1=(x^2+2x+2)(x+1)+x $
$ x^2+2x+2=x(x+2)+2 $
Quindi il MCD trovato è 2. E fino qui ci siamo.
Ora non capisco questo passaggio :
$ 2=(x^2+2x+2)(2x)+(x^3+2x-1)(-x-2) $
Allora, che l'identità di Bezout serva per esprimere l' MCD come combinazione dei due polinomi, ci sono.
Ma che passaggi si fanno per trovare $(2x)$ e $(-x-2)$ ?
Io avevo pensato, partendo dall'ultimo passaggio di "isolare" il 2, e abbiamo che :
$ 2=(x^2+2x+2)+x(-x-2) $
Ma in questo modo non l'ho espresso come combinazione dei due polinomi iniziali... come si procede?
Sì, hai capito il trucco, non ti devi solo fermare; ricavati dalla prima riga $x$ e poi lo sostiuisci in $ 2=(x^2+2x+2)+$ [tex]\boxed{$$x$$}[/tex] $(-x-2) $ solo al posto della $x$ che ti ho riquadrato. Se fai un po' di conti, ottieni proprio il Bézout che cercavi.
Se hai ancora dubbi siamo qui. Ad maiora.
P.S. Ti faccio notare solo una cosa: se chiami $\mathbb K[x]$ l'anello dei polinomi a coefficienti in $mathbb K$ (campo), allora per due polinomi avere $2$ o una qualsiasi altra costante $k in mathbbK-{0}$ come MCD è la stessa cosa; questo perchè le costanti sono tutti e soli gli elementi invertibili dell'anello; quindi, puoi concludere che i due polinomi sono coprimi e - se dividi i due membri dell'identità di Bezout per $2$ - ecco che riesci ad esprimere $1$ come combinazione lineare dei due polinomi.
Non so se questo ti poteva interessare; spero di sì, in caso contrario ignora tutto e... tanti auguri per un felice 2010!
Ciao Paolo! Intanto grazie per la risposta e per la pazienza!!! Grazie mille!!
E pensare che avevo ipotizzato proprio questa soluzione, ma vedendo che usciva un "mostro" ho pensato fosse impossibile... mannaggia a me e la mia pigrizia nei calcoli
!!!
Ora sto provando :
$ x^3+2x-1=(x^2+2x+2)(x+1)+x $
$ x=(x^3+2x-1)-(x^2+2x+2)(x+1) $
Vado a sostituire
$ x^2+2x+2=x(x+2)+2 $
$ 2=(x^2+2x+2)+x(-x-2) $
$ 2=(x^2+2x+2)+[(x^3+2x-1)-(x^2+2x+2)(x+1)](-x-2) $
$ 2=(x^2+2x+2)+(x^3+2x-1)(-x-2)-(x^2+2x+2)(x+1)(-x-2) $
E ora qual'è il passaggio migliore per sbrigarmela... "magicamente" un fattore è apparso (evviva!!!)
Se provo
$ 2=(x^2+2x+2)+(x^3+2x-1)(-x-2)-(x^2+2x+2)(x^2-3x-2) $
Ora posso mettere in evidenza :S?
Purtroppo nei conti mi perdo
Esatto! Questo è il passo finale... ma prima mi interessava capire come arrivare!!
Intanto ti ringrazio molto per la tua disponibilità! E sono molto contento di aver cominciato a sciogliere questo ultimo dubbio che mi era rimasto...grazie!!
Sai.. a gennaio (ormai eccolo!!) mi tocca l'ultimo esonero e mi mancava solo questo piccolo dettaglio... sono contento!!
Ah poi un piccolo consiglio... quando lavoro in un campo Zp e lavoro con i MCD, secondo te mi conviene riportare tutto mod p? Nel senso... ad esempio io qui ho -1, -2... lavorando in Z3 io me li sarei riportati a 2 e 1... almeno cosi lavoro per i fattori irriducibili!!! Qui non so se mi convenga...
Grazie ancora!! A buon rendere... e buon 2010 anche a te!!!
E pensare che avevo ipotizzato proprio questa soluzione, ma vedendo che usciva un "mostro" ho pensato fosse impossibile... mannaggia a me e la mia pigrizia nei calcoli
!!!Ora sto provando :
$ x^3+2x-1=(x^2+2x+2)(x+1)+x $
$ x=(x^3+2x-1)-(x^2+2x+2)(x+1) $
Vado a sostituire
$ x^2+2x+2=x(x+2)+2 $
$ 2=(x^2+2x+2)+x(-x-2) $
$ 2=(x^2+2x+2)+[(x^3+2x-1)-(x^2+2x+2)(x+1)](-x-2) $
$ 2=(x^2+2x+2)+(x^3+2x-1)(-x-2)-(x^2+2x+2)(x+1)(-x-2) $
E ora qual'è il passaggio migliore per sbrigarmela... "magicamente" un fattore è apparso (evviva!!!)
Se provo
$ 2=(x^2+2x+2)+(x^3+2x-1)(-x-2)-(x^2+2x+2)(x^2-3x-2) $
Ora posso mettere in evidenza :S?
Purtroppo nei conti mi perdo
"Paolo90":
.S. Ti faccio notare solo una cosa: se chiami [x] l'anello dei polinomi a coefficienti in (campo), allora per due polinomi avere 2 o una qualsiasi altra costante k∈-{0} come MCD è la stessa cosa; questo perchè le costanti sono tutti e soli gli elementi invertibili dell'anello; quindi, puoi concludere che i due polinomi sono coprimi e - se dividi i due membri dell'identità di Bezout per 2 - ecco che riesci ad esprimere 1 come combinazione lineare dei due polinomi.
Esatto! Questo è il passo finale... ma prima mi interessava capire come arrivare!!
Intanto ti ringrazio molto per la tua disponibilità! E sono molto contento di aver cominciato a sciogliere questo ultimo dubbio che mi era rimasto...grazie!!
Sai.. a gennaio (ormai eccolo!!) mi tocca l'ultimo esonero e mi mancava solo questo piccolo dettaglio... sono contento!!
Ah poi un piccolo consiglio... quando lavoro in un campo Zp e lavoro con i MCD, secondo te mi conviene riportare tutto mod p? Nel senso... ad esempio io qui ho -1, -2... lavorando in Z3 io me li sarei riportati a 2 e 1... almeno cosi lavoro per i fattori irriducibili!!! Qui non so se mi convenga...
Grazie ancora!! A buon rendere... e buon 2010 anche a te!!!
"AttraversamiIlCuore":
Ciao Paolo! Intanto grazie per la risposta e per la pazienza!!! Grazie mille!!
Ma figurati, è un piacere.
"AttraversamiIlCuore":
$ 2=(x^2+2x+2)+(x^3+2x-1)(-x-2)-(x^2+2x+2)(x^2-3x-2) $
Ora posso mettere in evidenza :S?
Purtroppo nei conti mi perdo
Sì, devi mettere in evidenza in modo da ottenere una espressione del tipo $a(x)*" qualcosa " +b(x)* " qualcos'altro "$ dove $a(x)$ e $b(x)$ sono i polinomi di partenza.
"AttraversamiIlCuore":
Ah poi un piccolo consiglio... quando lavoro in un campo $ZZ_p$ e lavoro con i MCD, secondo te mi conviene riportare tutto mod p? Nel senso... ad esempio io qui ho -1, -2... lavorando in $ZZ_3$ io me li sarei riportati a 2 e 1... almeno cosi lavoro per i fattori irriducibili!!! Qui non so se mi convenga...
Che io sappia alla fine è sempre conveniente e opportuno passare ai rappresentanti buoni, quando si lavora in qualche $ZZ_n$: spesso, per altro, i conti si semplificano abbastanza...
Buono studio e buona permanenza nel foro.
Se hai bisogno siamo qui.
Ci sono riuscito!!!!!!!!
Grazie mille!!! Sono davvero felice!!!
Una piccola cosa (scusate il rompimento!)..
A me come risultato viene
$ 2=(x^2+2x+2)x^2+(x^3+2x+2)(2x+1) $
E svolgendo i calcoli ottengo effettivamente 2.
Riprendendo però quello dell'esercizio svolto :
$ 2=(x^2+2x+2)(2x)+(x^3+2x-1)(-x-2) $
Che portandolo ai rappresentanti "buoni" e svolgendo i calcoli viene un polinomio (e non 2)...
Possibile sia sbagliato il testo?
Grazie ancora per la disponibilità!!!
Grazie mille!!! Sono davvero felice!!!
Una piccola cosa (scusate il rompimento!)..
A me come risultato viene
$ 2=(x^2+2x+2)x^2+(x^3+2x+2)(2x+1) $
E svolgendo i calcoli ottengo effettivamente 2.
Riprendendo però quello dell'esercizio svolto :
$ 2=(x^2+2x+2)(2x)+(x^3+2x-1)(-x-2) $
Che portandolo ai rappresentanti "buoni" e svolgendo i calcoli viene un polinomio (e non 2)...
Possibile sia sbagliato il testo?
Grazie ancora per la disponibilità!!!
Ciao ragazzi!!! Intanto buon anno a tutti!
Allora, riscrivo su questo post per non aprirne un secondo (tanto l'argomento è il medesimo) riguardo ad alcuni dubbi...
Intanto ho ancora dubbi sulla soluzione dell'esercizio svolto (ma quello l'ho scritto nel post precedente), e ne ho trovato addirittura un secondo "sbagliato"... possibile ci siano tutti questi errori? :S
Ma veniamo al dubbio di oggi...
L'esercizio dice
Studiare l'anello $ ZZ_5/(x^3+3x+2) $
L'anello è un campo perchè il polinomio è irriducibile (3°grado senza soluzioni) e quindi ogni elemento è invertibile oltre ad essere un dominio di integrità.
Ora mi chiede di verificare che la classe $ x^5+4x+1 $ sia invertibile e in caso calcolarne l'inversa.
La classe non è nulla in quanto dividendo per $(x^3+3x+2) $ non ottengo un resto congruo a 0 mod 5.
Quindi comincio a fare l'algoritmo delle divisioni successive per l'identità di Bezout, se non fosse che al secondo passaggio mi tornano numeri frazionari...come mi comporto?
Vi posto i conti (che ho controllato con derive) :
$ (x^5+4x+1)=(x^3+3x+2)(x^2+2)+(3x^2+3x+2) $
$ (x^3+3x+2)=(3x^2+3x+2)(1/3x+14/3)+(10/3x+8/3) $
$ (3x^2+3x+2)=(10/3x+8/3)(9/10x+9/50)+(38/25) $
Io avevo pensato di moltiplicare tutto per 3 (elemento invertibile) al secondo passaggio.. però poi mi scombinava tutto...
Come si procede in questi casi?
Il libro mi propone un'altra soluzione :
Lui dice che la classe $ (x^5+4x+1) $ è equivalente alla $ (3x^2+3x+2) $ (ma come fa a dirlo? come se la ricava? io l'ho trovata nei resti, ma non credo che ciò equivalga a dire che sia uguale) e quindi l'inversa è $ 3x+2 $ (credo lo ricavi sempre con l'algoritmo euclideo).
Vi ringrazio per la pazienza e per la disponibilità!!!
Allora, riscrivo su questo post per non aprirne un secondo (tanto l'argomento è il medesimo) riguardo ad alcuni dubbi...
Intanto ho ancora dubbi sulla soluzione dell'esercizio svolto (ma quello l'ho scritto nel post precedente), e ne ho trovato addirittura un secondo "sbagliato"... possibile ci siano tutti questi errori? :S
Ma veniamo al dubbio di oggi...
L'esercizio dice
Studiare l'anello $ ZZ_5/(x^3+3x+2) $
L'anello è un campo perchè il polinomio è irriducibile (3°grado senza soluzioni) e quindi ogni elemento è invertibile oltre ad essere un dominio di integrità.
Ora mi chiede di verificare che la classe $ x^5+4x+1 $ sia invertibile e in caso calcolarne l'inversa.
La classe non è nulla in quanto dividendo per $(x^3+3x+2) $ non ottengo un resto congruo a 0 mod 5.
Quindi comincio a fare l'algoritmo delle divisioni successive per l'identità di Bezout, se non fosse che al secondo passaggio mi tornano numeri frazionari...come mi comporto?
Vi posto i conti (che ho controllato con derive) :
$ (x^5+4x+1)=(x^3+3x+2)(x^2+2)+(3x^2+3x+2) $
$ (x^3+3x+2)=(3x^2+3x+2)(1/3x+14/3)+(10/3x+8/3) $
$ (3x^2+3x+2)=(10/3x+8/3)(9/10x+9/50)+(38/25) $
Io avevo pensato di moltiplicare tutto per 3 (elemento invertibile) al secondo passaggio.. però poi mi scombinava tutto...
Come si procede in questi casi?
Il libro mi propone un'altra soluzione :
Lui dice che la classe $ (x^5+4x+1) $ è equivalente alla $ (3x^2+3x+2) $ (ma come fa a dirlo? come se la ricava? io l'ho trovata nei resti, ma non credo che ciò equivalga a dire che sia uguale) e quindi l'inversa è $ 3x+2 $ (credo lo ricavi sempre con l'algoritmo euclideo).
Vi ringrazio per la pazienza e per la disponibilità!!!
"AttraversamiIlCuore":
Lui dice che la classe $ (x^5+4x+1) $ è equivalente alla $ (3x^2+3x+2) $ (ma come fa a dirlo? come se la ricava?
Esattamente come hai fatto tu
"AttraversamiIlCuore":
$ (x^5+4x+1)=(x^3+3x+2)(x^2+2)+(3x^2+3x+2) $
Hai studiato le congruenze sugli interi? Sui polinomi sono uguali!
Due elementi sono uguali sul quell'anello se diviso per il polinimio di partenza $x^3+3x+2$ danno lo stesso resto.
Il resto di tale divisione è un polinomio, quindi
[tex]$ (x^5+4x+1)=(x^3+3x+2)(x^2+2)+(3x^2+3x+2) \longrightarrow x^5+4x+1 \equiv 3x^2+3x+2 \mod{x^3+3x+2}$[/tex]
"AttraversamiIlCuore":
Lui dice che la classe $ (x^5+4x+1) $ è equivalente alla $ (3x^2+3x+2) $ (ma come fa a dirlo? come se la ricava? io l'ho trovata nei resti, ma non credo che ciò equivalga a dire che sia uguale) e quindi l'inversa è $ 3x+2 $ (credo lo ricavi sempre con l'algoritmo euclideo).
Dunque si ricava proprio così e dire che i resti sono uguali per definizione vuol dire che le classi sono uguali, e il resto lo fa proprio con l'algoritmo euclideo
Prova a rispondere alla seguente domanda: quando due classi sono uguali?
In anelli più semplici
in $ZZ_6$ moltiplicativo ad esempio $[2]=[4]$ (la classe di 2 è uguale alla classe di 4), questo cosa vuol dire?
Lo stesso ragionamento vale per i polinomi
Grazie, sei stato molto gentile! Mi hai chiarito un pò di dubbi...
Invece per quanto riguarda i numeri frazionari? Come faccio a lavorarci in $Z_p$?
Grazie mille ancora
Invece per quanto riguarda i numeri frazionari? Come faccio a lavorarci in $Z_p$?
Grazie mille ancora
Cosa intendi per numeri frazionari?non ci sono frazioni in $ZZ_p$.
In $ZZ_P$ gli unici elementi sono {0,1,2,3,4,...,p-1}
ad esempio in $ZZ_7$ gli elementi sono {0,1,2,3,4,5,6}
Quello che potresti intendere con numeri frazionari è $a/b$ inteso come $ab^-1$ (a moltiplicato l'inverso di b) in tal caso devi trovare l'inverso di $b$, facendo a tenzione che se sei in uno $ZZ_n$ tale inverso potrebbe non esistere.
In $ZZ_P$ gli unici elementi sono {0,1,2,3,4,...,p-1}
ad esempio in $ZZ_7$ gli elementi sono {0,1,2,3,4,5,6}
Quello che potresti intendere con numeri frazionari è $a/b$ inteso come $ab^-1$ (a moltiplicato l'inverso di b) in tal caso devi trovare l'inverso di $b$, facendo a tenzione che se sei in uno $ZZ_n$ tale inverso potrebbe non esistere.
Si lo so che in $Z_p$ ci sono solo gli elementi {0,1,2,3,4,...,p-1} per questo mi sono trovato in difficolta..
Io mi riferivo all'esercizio sopra postato (di determinare l'inversa), che svolgendo normali procedimenti (algoritmo euclideo) mi ritrovavo numeri fratti per svolgere la divisione...
Grazie ancora per la disponibilità!
Io mi riferivo all'esercizio sopra postato (di determinare l'inversa), che svolgendo normali procedimenti (algoritmo euclideo) mi ritrovavo numeri fratti per svolgere la divisione...
Grazie ancora per la disponibilità!
allora...il procedimento che hai usato non so quanto vada bene...
L'algoritmo euclideo devi usarlo sull'anello in cui ti trovi ovvero sei su $ZZ_5$, te mi pare hai fatto la divisione su $RR$.
Io non so come li svolgete in genere questi calcoli, io ad esempio proverei questa strada qui.
abbiamo visto che $x^5+4x+1$ è equivalente (su quell'anello) a $3x^2+3x+2$, quindi trovare l'inverso dell'uno equivale a trovare l'inverso dell'altro.
Prendiamo il polinomio di grado più basso $3x^2+3x+2$, quindi dobbiamo trovare un altro polinomio che moltiplicato per questo dia $x^3+3x+2$ (il polinomio per il quale abbiamo quozientato.
Per le varie osservazioni tale polinomio probabilmente è di primo grado (il prodotto di due polinomi di grado m e n è un polinomio di grado m+n)
Quindi imponi
$(3x^2+3x+2)(ax+b)=x^3+3x+2$
Svolgi i calcoli, e trova $a$ e $b$...ricarda sempre che i coefficienti dei polinomi sono in $ZZ_5$, quindi fai attenzione, e non devono uscire frazioni...
L'algoritmo euclideo devi usarlo sull'anello in cui ti trovi ovvero sei su $ZZ_5$, te mi pare hai fatto la divisione su $RR$.
Io non so come li svolgete in genere questi calcoli, io ad esempio proverei questa strada qui.
abbiamo visto che $x^5+4x+1$ è equivalente (su quell'anello) a $3x^2+3x+2$, quindi trovare l'inverso dell'uno equivale a trovare l'inverso dell'altro.
Prendiamo il polinomio di grado più basso $3x^2+3x+2$, quindi dobbiamo trovare un altro polinomio che moltiplicato per questo dia $x^3+3x+2$ (il polinomio per il quale abbiamo quozientato.
Per le varie osservazioni tale polinomio probabilmente è di primo grado (il prodotto di due polinomi di grado m e n è un polinomio di grado m+n)
Quindi imponi
$(3x^2+3x+2)(ax+b)=x^3+3x+2$
Svolgi i calcoli, e trova $a$ e $b$...ricarda sempre che i coefficienti dei polinomi sono in $ZZ_5$, quindi fai attenzione, e non devono uscire frazioni...
Un metodo alternativo di lavoro è il seguente.
Vogliamo studiare l'anello quoziente $ZZ_5[x]//(x^3+3x+2)$.
Prima osservazione: il polinomio è irriducibile, per cui il quoziente è un campo e quindi, automaticamente, anche un dominio.
In particolare, ogni laterale non nullo ammette inverso. Indichiamo per brevità $\mathcal I:=(x^3+3x+2)$ e prendiamo ad esempio il laterale $x^5+4x+1+mathcal I$. Esattamente come i numeri in $ZZ_n$, anche i polinomi hanno i loro rappresentanti buoni: quali sono? Tutti i polinomio che possono essere ottenuti come resto nella divisione per il polinomio generatore dell'ideale, i.e. tutti i polinomi di grado inferiore al generatore. Quindi non ha senso tenerci un mostro di quinto grado: sappiamo che esso starà nella stessa classe individuata dal resto della divisione di questo polinomio per il generatore.
Quindi, effettuiamo la divisione e troviamo: $x^5+4x+1=(x^2-3)(x^3+3x+2)+3x^2+3x+2$. In definitiva, scrivere $x^5+4x+1+mathcal I$ o $3x^2+3x+2+mathcal I$ è la stessa cosa: i laterali sono gli stessi (chissà perchè: non è difficile vederlo... )
Lavoriamo allora sul laterale $3x^2+3x+2+mathcal I$. Adesso, dividiamo il generatore di $mathcal I$ per $3x^2+3x+2$. Troviamo al primo colpo resto $1$ (come ci aspettavamo, i polinomi devono essere primi tra loro: uno è irriducibile!) e scriviamo l'identità di Bézout:
$1=x^3+3x+2+(3x^2+3x+2)(-2x-3)$
Possiamo allora felicemente concludere che $-(2x+3)+ mathcal I$ è l'inverso cercato. Invito il lettore a ragionare sul perchè accade questo (anche qui non è difficile convincersene).
Vogliamo una sicurezza? Prendiamo i due laterali e moltiplichiamoli: $[3x^2+3x+2+mathcal I][-(2x+3)+ mathcal I]=[3x^2+3x+2][-2x-3]+mathcal I=4x^3+2x+4+mathcal I$. Che laterale è questo? Riduciamolo di nuovo, sapendo che sta nella stessa classe individuata dal suo resto nella divisione per $x^3+3x+2$: ma quanto vale questo resto? Miracolosamente $1$.
E abbiamo finito, trovando l'inverso che volevamo.
Ad maiora.
Vogliamo studiare l'anello quoziente $ZZ_5[x]//(x^3+3x+2)$.
Prima osservazione: il polinomio è irriducibile, per cui il quoziente è un campo e quindi, automaticamente, anche un dominio.
In particolare, ogni laterale non nullo ammette inverso. Indichiamo per brevità $\mathcal I:=(x^3+3x+2)$ e prendiamo ad esempio il laterale $x^5+4x+1+mathcal I$. Esattamente come i numeri in $ZZ_n$, anche i polinomi hanno i loro rappresentanti buoni: quali sono? Tutti i polinomio che possono essere ottenuti come resto nella divisione per il polinomio generatore dell'ideale, i.e. tutti i polinomi di grado inferiore al generatore. Quindi non ha senso tenerci un mostro di quinto grado: sappiamo che esso starà nella stessa classe individuata dal resto della divisione di questo polinomio per il generatore.
Quindi, effettuiamo la divisione e troviamo: $x^5+4x+1=(x^2-3)(x^3+3x+2)+3x^2+3x+2$. In definitiva, scrivere $x^5+4x+1+mathcal I$ o $3x^2+3x+2+mathcal I$ è la stessa cosa: i laterali sono gli stessi (chissà perchè: non è difficile vederlo...
) Lavoriamo allora sul laterale $3x^2+3x+2+mathcal I$. Adesso, dividiamo il generatore di $mathcal I$ per $3x^2+3x+2$. Troviamo al primo colpo resto $1$ (come ci aspettavamo, i polinomi devono essere primi tra loro: uno è irriducibile!) e scriviamo l'identità di Bézout:
$1=x^3+3x+2+(3x^2+3x+2)(-2x-3)$
Possiamo allora felicemente concludere che $-(2x+3)+ mathcal I$ è l'inverso cercato. Invito il lettore a ragionare sul perchè accade questo (anche qui non è difficile convincersene).
Vogliamo una sicurezza? Prendiamo i due laterali e moltiplichiamoli: $[3x^2+3x+2+mathcal I][-(2x+3)+ mathcal I]=[3x^2+3x+2][-2x-3]+mathcal I=4x^3+2x+4+mathcal I$. Che laterale è questo? Riduciamolo di nuovo, sapendo che sta nella stessa classe individuata dal suo resto nella divisione per $x^3+3x+2$: ma quanto vale questo resto? Miracolosamente $1$.
E abbiamo finito, trovando l'inverso che volevamo.
Ad maiora.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo