Esercizio polinomi e zero divisori

aritmetico
Ciao :)

non riesco a capire alcuni passaggi di un esercizio che non riuscivo a risolvere interamente e ho provato a guardare la soluzione dopo un po' di prove. Tuttavia anche qui non riesco a capire del tutto due punti della guidata che è molto stringata:

Sia $A:=(QQ[x])/( (x^2-1) )$, descrivere gli zero divisori di A

$f=(x^2+1)$ è quindi l'ideale per cui quoziento.


ora la mia idea che poi vedo è quella che segue la soluzione è cercare un k polinomio tale che $MCD(k,f)!=1$ o associato (quindi una costante) questo perché $zd$ è contenuto in $A-A^(xx)$

Quindi il primo passo che muove è scomporlo in irriducibili,$f=x^2-1=(x+1)(x-1)$ ma non capisco perché (primo dubbio diciamo) l'MCD sia da ricercarsi nei divisori impropri, perché uno proprio non può essere un MCD?

poi scrive: $MCD(k,f)=1,x+1,x-1,x^2-1$ da cui scarta ovviamente 1 e scarta $x^2-1$ in quanto è la classe zero (e per la definizione datami si esclude lo zero dagli zerodivisori)

(Il secondo dubbio nasce qui:) studiando $MCD(k,f)=x+1 =>k=q(x+1)$ cioè k è un multiplo di x+1 chiaramente, TUTTAVIA pone l'ulteriore richiesta che $x-1$ non divida $k$. Perché altrimenti dice che sarei nella classe zero, ma questo non lo capisco perché debba richiederlo, infatti se mai $x-1$ dividesse q e quindi a sua volta k, allora già a priori non troverei come MCD $x+1$ ma qualcosa del tipo $(x+1)(x-1)$, insomma q mi pare una costante dato che Q è campo e i MCD sono unici a meno di associati (quindi a meno di costanti fra i piedi XD).

Ringrazio.

EDIT: typoz

Risposte
megas_archon
\(X^2+1\) è irriducibile su \(\mathbb Q\). Perché hai fattorizzato \(X^2-1\)? In generale, fattorizza in irriducibili $p$; allora conosci tutti i divisori dello zero di \(k[X]/p\), perché ti basta prendere i divisori di $p$.

aritmetico
Porca miseria ho sbagliato l'unica cosa che non dovevo sbaglaire: il testo. C'era un typo è $x^2-1$ ovviamente sennò sarebbe irriducibile.

Però quello che non capivo è
1)perché come MCD prenda solo la scomposizione in irriducibili, non posso scomporlo in riducibili?

2) E 2° il ragionamento sulla richiesta su q di cui sopra

Con la correzione credo sia più comprensibile, scusami :oops:

megas_archon
Cosa vuol dire "scomporlo in riducibili"? :D

Facciamo un esempio semplice, quali sono i divisori dello zero di \(\mathbb{Z}/30\mathbb{Z}\)?

aritmetico
"megas_archon":
Cosa vuol dire "scomporlo in riducibili"? :D

Uhm, intendevo trovare due polinomi che moltiplicati dessero f, però che non fossero per forza improprio ossia associati ad f o una costante (che essendo in un campo sono gli invertibili le costanti). Però mi sfugge perché tali due polinomi non possano essere massimi comun divisori


"megas_archon":
Facciamo un esempio semplice, quali sono i divisori dello zero di \(\mathbb{Z}/30\mathbb{Z}\)?

Direi che \(\mathbb{Z}/30\mathbb{Z}\) è equivalente a $ZZ/(≡_(30))$ d'altra parte $Z_(30)^(xx)={k in ZZ_(30)|MCD(k,30)=1}$ quindi essendo in una classe resto modulo 30 ho da verificare tale condizione per $k in {1,...,29}$ quindi: $zd$ come insieme è contenuto in $ZZ_(30)-ZZ_(30)^(xx)-{0}$ ossia (essendo gli invertibili ${1,7,11,13,17,19,23,29}$, il che mi pare correto essendo la cardinalità $φ(30)=φ(3)φ(5)φ(2)=8$) gli zero divisori si troveranno in: ${2,3,4,5,6,8,9,10,12,14,15,16,18,20,21,22,24,25,26,27,28}$
Devo però pensare a un metodo più furbo per non farmi tutti i conti e ridurre ulteriormente lo studio oltre a questi. Ma non mi vengono furbate. :smt012

aritmetico
Se ho detto cavolate bacchettami pure eh :D. Ma vorrei davvero capire meglio

megas_archon
Eh, sì, i divisori dello zero in \(\mathbb Z/30\) sono tutte le classi di equivalenza $[k]$ tali che $k$ divide 30 (non solo i suoi divisori primi).

In un anello di polinomi è la stessa cosa, del resto la cosa per cui quozienti nel tuo esercizio è square-free...

Studente Anonimo
Studente Anonimo
"megas_archon":
tali che $k$ divide 30
Tali che $k$ non è coprimo con $30$, vuoi dire.

megas_archon
Eh, sì

aritmetico
@Martino

"Martino":
[quote="megas_archon"]tali che $k$ divide 30
Tali che $k$ non è coprimo con $30$, vuoi dire.[/quote]
Ok se non è coprimo mi torna possa essere zero divisore, ma non ho capito perché ho la certezza lo siano tutti zero divisori quegli elementi trovati.

Comunque questo risponde al mio secondo dubbio, ma il primo non riesco bene ancora a focalizzarlo, ossia perché nei polinomi l'MCD sia da ricercarsi nei divisori impropri, perché uno proprio non può essere un MCD. 'sta cosa mi affligge, perché deve essere una cosa scema ma non la capisco.

grazie ancora.

Studente Anonimo
Studente Anonimo
"aritmetico":
non capisco perché (primo dubbio diciamo) l'MCD sia da ricercarsi nei divisori impropri, perché uno proprio non può essere un MCD?
Non ho capito. Cosa è per te un divisore improprio?

In generale il MCD tra un qualsiasi $P(X)$ e $X^2-1$ può essere (associato a) solo $1$, $X-1$, $X+1$ oppure $X^2-1$. Ma nel primo caso $P(X)$ è invertibile modulo $X^2-1$, quindi non è uno zero-divisore, e nel quarto caso la classe di $P(X)$ è la classe nulla. Nel secondo e terzo caso la classe di $P(X)$ è uno zero-divisore non nullo perché

1. Se il MCD tra $P(X)$ e $X^2-1$ è $X-1$ allora la classe di $P(X)$ non è nulla e la classe di $(X+1)P(X)$ è nulla.

2. Se il MCD tra $P(X)$ e $X^2-1$ è $X+1$ allora la classe di $P(X)$ non è nulla e la classe di $(X-1)P(X)$ è nulla.

Quindi uno zero-divisore (non nullo) è la classe di un polinomio $P(X)$ con la proprietà che il MCD tra $P(X)$ e $X^2-1$ è (associato a) $X-1$ oppure $X+1$. Poi siccome $X^2-1$ ha grado $2$, possiamo scegliere $P(X)$ di grado minore o uguale a $1$ (col solito argomento della divisione con resto per $X^2-1$) e quindi risulta che gli zero-divisori (non nulli) sono esattamente le classi dei polinomi del tipo $a(X+1)$ e $a(X-1)$ con $0 ne a in QQ$.

La stessa cosa con $ZZ//30ZZ$, prendiamo $m$ il cui MCD (positivo) con $30$ è diverso da $1$ e da $30$, chiamiamolo $d$. Scrivendo $m=da$ e $30=db$ abbiamo $m ne a$ e $30 ne b$, inoltre $m$ non ha classe nulla (altrimenti il suo MCD con $30$ sarebbe $30$) e quindi è uno zero-divisore perché $b*m = d*ab = 30 d$ ha classe nulla.

Viceversa gli zero-divisori non nulli sono classi di interi il cui MCD positivo con $30$ è diverso da $1$ e da $30$ (questo lo lascio fare a te, avrai capito spero).

aritmetico
Probabilmente il mio dubbio era così stupido che non riuscivo a spiegarmi, però tra le righe della tua lunga risposta ve ne sono alcune che hanno risposto al mio dubbio.

Ora è chiaro e ti ringrazio molto.

PS:
chiamiamolo $d$. Scrivendo $m=da$ e $30=db$ abbiamo $m ne a$ e $30 ne b$, inoltre $m$ non ha classe nulla (altrimenti il suo MCD con $30$ sarebbe $30$) e quindi è uno zero-divisore perché $b*m = d*ab = 30 d$ ha classe nulla.


Mi sembra debba essere: $b*m = d*ab = 30 a$, sbaglio?

Studente Anonimo
Studente Anonimo
"aritmetico":
Mi sembra debba essere: $b*m = d*ab = 30 a$
Sì certo

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