ALGEBRA 1 PB-Z X. 25 V 2012

Documenti analoghi
ALGEBRA I: SOLUZIONI QUINTA ESERCITAZIONE 9 maggio 2011

ALGEBRA 1 Secondo esonero 15 Giugno 2011 soluzioni

Programma di Algebra 1

Esercizi di Algebra 2, C.S. in Matematica, a.a

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

Elementi di Algebra e di Matematica Discreta Strutture algebriche: anelli

Esercizi di Algebra commutativa e omologica

3/10/ Divisibilità e massimo comun divisore

X Settimana = 0 R. = 0 R x, x R. + (x 0 R. ) x 0 R = = x 0 R

POLINOMI. (p+q)(x) = p(x)+q(x) (p q)(x) = p(x) q(x) x K

1 Campi di spezzamento

Università degli studi di Trieste Corso di Studi in Matematica. Algebra 2 (9 cfu) docente: prof. Alessandro Logar anno accademico:

Nome. Esercizio 2. Risolvere il seguente sistema di congruenze lineari:

ALGEBRE DI BOOLE. (d) x, y X x y oppure y x.

Il teorema di Eakin-Nagata per gli anelli noetheriani

Prova scritta di Algebra 9 settembre x 5 mod 7 11x 1 mod 13 x 3 mod 9

LEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g

Giovanna Carnovale. October 18, Divisibilità e massimo comun divisore

Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1

Lezione 15. Omomorfismi di anelli e loro proprietà.

II Esonero di Matematica Discreta - a.a. 06/07. Versione B

Richiami e approfondimenti di Algebra per il Corso ALGEBRA COMPUTAZIONALE

LEZIONE 12. v = α 1 v α n v n =

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE.

LEZIONE 15. (15.1.2) p(x) = a 0 x n + a 1 x n a n 1 x + a n = a h x n h.

11. Misure con segno.

c A (a c = b) Le ipotesi che abbiamo ci dicono che esistono h, k A tali che:

L algoritmo AKS. L algoritmo AKS. Seminario per il corso di Elementi di Algebra Computazionale. Oscar Papini. 22 luglio 2013

1. Sia x un elemento nilpotente di A. Provare che 1 + x è un unità di A. Dedurre che la somma di un elemento nilpotente e di un unità è un unità.

Spazi Vettoriali ed Applicazioni Lineari

ESAME DI ALGEBRA 3, 22/02/2017. COGNOME e Nome... MATRICOLA...

Appunti sui polinomi. Pietro Di Martino e Giovanni Gaiffi

02 - Logica delle dimostrazioni

SOTTOSPAZI E OPERAZIONI IN SPAZI DIVERSI DA R n

1 Se X e Y sono equipotenti, Sym(X) e Sym(Y ) sono isomorfi

Dispense del corso di Algebra 1. Soluzioni di alcuni esercizi

L anello dei polinomi

Prova scritta di Algebra 4 Luglio Si risolva il seguente sistema di congruenze lineari x 2 mod 3 2x 1 mod 5 x 3 mod 2

Elementi di Algebra e di Matematica Discreta Numeri interi, divisibilità, numerazione in base n

Geometria e Topologia I (U1-4) 2006-mag-10 61

04 - Logica delle dimostrazioni

Esercizi e soluzioni relativi al Capitolo 10

CODICI CICLICI. TEORIA DEI CODICI CORSO DI GRAFI E COMBINATORIA A.A Prof.ssa Bambina Larato - Politecnico di Bari

COMPLETAMENTO DI SPAZI METRICI

0.1 Spazi Euclidei in generale

Corso di Laurea in Matematica Geometria 2. Esercizi di preparazione allo scritto a.a Topologia

ESERCIZI DI MATEMATICA DISCRETA ANNO 2006/2007

Calcolo algebrico e polinomi 1 / 48

Studieremo le congruenze lineari, cioe le equazioni del tipo

Lezioni di Algebra Lineare con applicazioni alla Geometria Analitica Errata Corrige. Fulvio Bisi, Francesco Bonsante, Sonia Brivio

Sia k un campo e sia un elemento non appartenente a k chamato, al solito, infinito. Consideriamo k := k { }. Poniamo per definizione:

NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE

i) la somma e il prodotto godano delle proprietà associativa, commutativa e distributiva;

Esercizi di Algebra II

LEZIONE 2. ( ) a 1 x 1 + a 2 x a n x n = b, ove a j, b R sono fissati.

Appunti di Aritmetica. Carmine Frascella

Università Cattolica del Sacro Cuore. Facoltà di Scienze Matematiche, Fisiche e Naturali

Richiami e approfondimenti di Algebra per il Corso ALGEBRA COMPUTAZIONALE

ESERCIZI VARI su SPAZI VETTORIALI. Si giustifichi la risposta ad ogni esercizio ( o parte di esercizio ) posto in forma di domanda.

Aritmetica 2016/2017 Esercitazione guidata - decima settimana

APPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I

Strutture algebriche. Leggi di composizione. Leggi di composizione. Gruppi Insiemi di numeri Polinomi

CAPITOLO 6. Polinomi. (f(0), f(1),..., f(n),... ).

Lezioni di Algebra Lineare con applicazioni alla Geometria Analitica Errata Corrige. Fulvio Bisi, Francesco Bonsante, Sonia Brivio

Parte 7. Autovettori e autovalori

(2) se A A, allora A c A; (3) se {A n } A, allora +

Estensioni intere. 3. A[b] C, dove C B è un sottoanello che è un A-modulo finitamente generato

Stage Olimpiadi SSC Gara nale

Esercizi di Algebra Commutativa Moduli 1 Tracce delle soluzioni

Università degli Studi di Roma Tor Vergata. Principio di induzione matematica

Elementi di Algebra Lineare Spazi Vettoriali

g(x) = d(x) t(x) ipotesi d(x) divide g(x) g(x) = (k d(x)) k 1 t(x) quindi anche k d(x) divide g(x)

Svolgimento di Algebra I - 22 Marzo Nell insieme delle frazioni F := { a

1 Estensioni in C, automorfismi, polinomi.

1 Indipendenza lineare e scrittura unica

0.1 Condizione sufficiente di diagonalizzabilità

Topologia, continuità, limiti in R n

Una semplice dimostrazione del teorema fondamentale dell algebra

a + 2b + c 3d = 0, a + c d = 0 c d

nota 1. Aritmetica sui numeri interi.

M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA STRUTTURE ALGEBRICHE

Prima lezione. Gilberto Bini. 16 Dicembre 2006

a) Determinare il dominio, i limiti agli estremi del dominio e gli eventuali asintoti di f. Determinare inoltre gli zeri di f e studiarne il segno.

ESERCIZI DI ALGEBRA LINEARE (D) A = A = A = R 2,2. D5 Dire come bisogna scegliere i parametri h e k affinché la

DAI NUMERI NATURALI AI NUMERI RAZIONALI

La definizione di Ultrafiltro e la regolarità per partizioni

3. Successioni di insiemi.

M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI

8. Completamento di uno spazio di misura.

ALGEBRA E GEOMETRIA Esercizi Corso di Laurea in Chimica - anno acc. 2015/2016 docente: Elena Polastri,

APPUNTI DI ALGEBRA 2

Registro Lezioni di Algebra lineare del 15 e 16 novembre 2016.

Fattorizzazione di interi e crittografia

F. Fagnani, A. Tabacco e P. Tilli. Versione 21 marzo. Introduzione all Analisi Complessa e Teoria delle distribuzioni.

Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005

RELAZIONI, FUNZIONI, INSIEMI NUMERICI. 1. Relazioni. Siano X e Y due insiemi non vuoti. Si definisce il prodotto cartesiano

Scomposizione di un numero primo come somma di due quadrati

ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI

Valutazioni discrete. Capitolo 7

IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero

Transcript:

ALGEBRA 1 PB-Z X. 25 V 2012 Esercizio 1. Sia A un dominio d integrità unitario e a ideali principali. Si mostri che, per un ideale di A, esser massimale è equivalente a esser primo ( 1 ). Soluzione. La dimostrazione dell equivalenza tra le nozioni di massimalità e primalità (per ideali) procederà come segue I. mostreremo che, in un dominio d integrità unitario e a ideali principali, un ideale è massimale se e solo se è generato da un elemento irriducibile II.I. mostreremo che, in un dominio d integrità unitario a fattorizzazione unica, un elemento è irriducibile se e solo se è primo II.II. mostreremo che un dominio d integrità unitario e a ideali principali è un dominio d integrità unitario a fattorizzazione unica. III. mostreremo che, in un dominio d integrità unitario e a ideali principali, un ideale è primo se e solo se è generato da un elemento primo La dimostrazione consiste, dunque, nell inanellare I., II.I ( 2 ) e III.. Passiamo ora a dimostrare gli enunciati I., II.I, II.II e III.; ognuno di essi sarà dato sotto forma di lemma. Lemma I. Sia A un dominio d integrità unitario e a ideali principali. Sia a un ideale di A. Allora a è massimale a è irriducibile Dimostrazione. Iniziamo osservando che un ideale principale a 1 contiene un altro ideale principale a 2 se e solo se a 1 a 2. ( ) Se a A è irriducibile, gli unici divisori di a sono gli invertibili di A e gli elementi di A associati ad a. Dunque, gli unici ideali principali che contengono a sono 1 = A e a ; ossia a è massimale. ( ) Sia a A riducibile; ossia, sia a A tale da ammettere una fattorizzazione propria a = b 1 b 2, con b 1 A e b 2 A entrambi non unità. Allora a b 1 1 = A e a b 2 1 = A, 1 Sugg.: Si inizi mostrando che, per un elemento di A, esser irriducibile è equivalente a esser primo. Dunque, si mostri che, per un ideale di A, esser massimale è equivalente a esser generato da un elemento irriducibile e, parallelamente, che esser primo è equivalente a esser generato da un elemento primo. 2 Via II.II 1

2 ALGEBRA 1 PB-Z X. 25 V 2012 così che l ideale a non è massimale. Definizione. Sia A un dominio d integrità con unità. Diremo che A è un dominio a fattorizzazione unica sse per ogni elemento a A che sia non nullo e non invertibile esistono p 1,..., p n A elementi irriducibili tali che es a = p 1... p n un dati q 1,..., p m A elementi irriducibili tali che a = q 1... q m, si ha m = n e, inoltre, esiste una permutazione π dell insieme {1,..., n} tale che, per ogni ι {1,..., n}, gli elementi p ι e q π(ι) sian tra loro associati. Lemma II.I. Sia A un dominio d integrità con unità. Allora A è un domonio a fattorizzazione unica se e solo se soddisfa le proprietà seguenti - ogni elemento irriducibile di A è un elemento primo di A ( 3 ) - data una qualsiasi successione {a h } h N A di elementi di A tali che, per ogni h N, l elemento a h+1 divida l elemento a h, esiste un naturale h ass N tale che, per ogni h 1, h 2 N tali che h 1 h ass e h 2 h ass, gli elementi a h1 e a h2 son tra loro associati Dimostrazione. Si veda, di G.M. Piacentini Cattaneo, Algebra - Un approccio algoritmico, Proposizione 4.8.2., pagine 187-188. Lemma II.II. Sia A un dominio d integrità unitario e a ideali principali. Allora A è un dominio d integrità unitario a fattorizzazione unica. Dimostrazione. Si veda, di G.M. Piacentini Cattaneo, Algebra - Un approccio algoritmico, Proposizione 4.8.4., pagine 189-190. Lemma III. Sia A un dominio d integrità unitario e a ideali principali. Sia a un ideale di A. Allora a è un ideale primo a è un elemento primo Dimostrazione. L ideale a è primo se e solo se, dati c 1, c 2 A, ossia, se e solo se c 1 c 2 a = c 1 a oppure c 2 a ; q A tal che c 1 c 2 = qa = q 1 A tal che c 1 = q 1 a oppure q 2 A tal che c 2 = q 2 a; ossia, se e solo se 3 Equivalentemente, un elemento di A è irriducibile se e solo se è primo.

ALGEBRA 1 PB-Z X. 25 V 2012 3 a c 1 c 2 a c 1 oppure a c 2 ; ossia, se e solo se a è un elemento primo.

4 ALGEBRA 1 PB-Z X. 25 V 2012 Esercizio 2. Sia Z[i] anello degli interi di Gauß. Si risponda in maniera dettagliata alle seguenti domande a proposito dell ideale I = 2i, 6 + 4i - è forse vero che I è principale (se sì, si esibisca un suo generatore)? - è forse vero che I è primo? - è forse vero che I è massimale? Soluzione. L anello Z[i] degli interi di Gauß essendo euclideo, è a ideali principali. Quindi, in particolare, l ideale I è principale. Per determinare un generatore di I, procediamo come segue. Sapendo, dai dati del problema, che I è generato da 2i e da 6 + 4i, possiamo affermare, grazie alla teoria, che I è generato da un massimo comun divisore di 2i e 6 + 4i. Dunque, non ci resta che determinare un massimo comun divisore di 2i e 6 + 4i. A tal fine, osserviamo che l elemento 2i divide l elemento 6 + 4i; infatti, abbiamo 6 + 4i = 2i( 3i + 2). Quindi, un massimo comun divisore di 2i e 6 + 4i è 2i e, dunque, I = 2i. Secondo quanto detto a proposito dell esercizio 1. ( 4 ), l ideale I = 2i è primo se e solo se 2i è un elemento irriducibile di Z[i]. Dunque, non ci resta che studiare l irriducibilità in Z[i] di 2i Z[i]. A tal fine, osserviamo che, in Z[i], 2i ammette una fattorizzazione non banale; essa è la seguente 2i = (1 + i)(1 + i). Quindi, 2i non è irriducibile e, dunque, l ideale I = 2i non è primo. Infine, l ideale I, non essendo primo, non è massimale. Per quanto detto a proposito dell esercizio 1., sappiamo che, per un ideale di un dominio d integrità unitario e a ideali principali (dunque, per un ideale di un qualsiasi anello euclideo; per esempio, dell anello degli interi di Gauß), essere primo è equivalente a essere massimale. Avremmo, dunque, potuto procedere altrimenti, mostrando direttamente che I non è massimale e, quindi, neanche primo. Ora, che I = 2i non sia massimale (e, quindi, non primo) è evidente, ché, ad esempio, entrambi gli ideali 2 e, rispettivamente, i contengono I = 2i in maniera propria; ossia I = 2i 2 Z[i] e, rispettivamente, I = 2i i Z[i]. 4 Ricordiamo che, essendo euclideo, l anello Z[i] è a ideali principali.

ALGEBRA 1 PB-Z X. 25 V 2012 5 Esercizio 3. Si mostri che l anello Z[ 7] non è euclideo. Soluzione. Mostreremo che l anello Z[ 7] non è euclideo, provando che esso non è a fattorizzazione unica. Sarà, dunque, sufficiente esibire un elemento non nullo e non invertibile di Z[ 7] che ammetta due distinte fattorizzazioni con fattori irriucibili. Al fine di esibire un tale elemento, iniziamo osservando che le sole unità di Z[ 7] sono 1 e 1 ( 5 ). Proseguiamo, poi, considerando l elemento 8 Z[ 7]. Da una parte, abbiamo 8 = (1 + 7)(1 7) e, da un altra parte, abbiamo 8 = 2 2 2. Proviamo che 2 è irriducibile in Z[ 7]. A tal fine, supponiamo che 2 sia riducibile in Z[ 7] e mostriamo che, così facendo, si arriva a una conclusione assurda. Sia, dunque, 2 riducibile in Z[ 7]; allora esistono b 1, b 2 Z[ 7] tali che 2 = b 1 b 2. D altro canto, 2 = 4 e, quindi, 4 = 2 = b 1 b 2 = b 1 b 2, così che b 1, b 2 {1, 2, 4}. Ora, se fosse b 1 = 1, allora avremmo b 1 = ±1 e b 2 = ±2 ( 6 ) e, quindi, 2 sarebbe irriducibile, contro l ipotesi; se fosse b 1 = 2 e b 1 = u 1 + 7v 1, con u 1, v 1 Z, allora otterremmo la seguente falsa uguaglianza interi 2 = b 1 = u 2 1 + 7v 2 1; se fosse b 1 = 4, allora avremmo b 2 = 1 e, quindi, come poco sopra, b 1 = ±2 e b 2 = ±1, così che 2 sarebbe irriducibile, contro l ipotesi. Quindi, 2 è irriducibile in Z[ 7]. Si dimostra che entrambi 1+ 7 e 1 7 sono irriducibili in Z[ 7] in maniera del tutto analoga. Quindi, la presenza dell elemento 8 Z[ 7] con le sue proprietà (per quanto detto, esso è non nullo, è non invertibile in Z[ 7], ammette in Z[ 7] due fattorizzazioni distinte con fattori irriducibili) prova che Z[ 7] non è un dominio a fattorizzazione unica e, dunque, non è euclideo. 5 Infatti, siano a1, a 2 Z[ 7] tali che a 1 a 2 = 1, con a 1 = x 1 + 7y 1, a 2 = x 2 + 7y 2 e x 1, x 2, y 1, y 2 Z. Allora, da un lato, 1 = 1 = a 1 a 2 = a 1 a 2 e, da un altro lato, a 1 = x 2 1 +7y2 1 e a 2 = x 2 2 +7y2 2. Quindi, da 1 = x2 1 +7y2 1 e 1 = x2 2 +7y2 2, con x 1, x 2, y 1, y 2 Z, abbiamo x 1 = ±1, y 1 = 0 e x 2 = ±1, y 2 = 0. 6 Si confronti con quanto scritto nella nota 3.

6 ALGEBRA 1 PB-Z X. 25 V 2012 Esercizio 4. Per ogni n N sia nz[i] = {a 0 + ia 1 Z[i] a 0, a 1 nz} l anello degli interi di Gauß con coefficienti multipli di n. Si mostri che 4Z[i] è un ideale di 2Z[i] e si descriva l insieme quoziente 2Z[i]/4Z[i]. Soluzione. Verificare che, per ogni n N, l insieme nz[i] è un ideale di Z[i] è semplice. Tale verifica, ad esempio, può esser fatta, mostrando che nz[i] è un sottogruppo additivo di Z[i] che, inoltre, verifica sia la proprietà di assorbimento a sinistra sia la proprietà di assorbimento a destra. Ora, da 4Z[i] 2Z[i], segue che 4Z[i] è un ideale di 2Z[i]. Al fine di descrivere l insieme quoziente 2Z[i]/4Z[i], osserviamo che due elementi a 1 + b 1 i e a 2 + b 2 i di 2Z[i] appartengono alla stessa classe di equivalenza modulo la relazione indotta da 4Z[i] se e solo se la loro differenza appartiene a 4Z[i]; ossia, se e solo se (a 1 a 2 ) + (b 1 b 2 )i 4Z[i]; ossia, se e solo se a 1 4 a 2 e b 1 4 b 2. Ora, essendo a 1, a 2, b 1, b 2 elementi di 2Z, abbiamo a 1 = a 2 {0, 2} Z 4 e b 1 = b 2 {0, 2} Z 4. Quindi, 2Z[i]/4Z[i] = { 4Z[i], 2 + 4Z[i], 2i + 4Z[i], 2 + 2i + 4Z[i] }

ALGEBRA 1 PB-Z X. 25 V 2012 7 Esercizio 5. Si mostri che, in Z[ 6], gli elementi dell insieme E = {2, 2, 5, 5, 2 + 6, 2 6} Z[ 6] sono irriducibili ma non sono primi ( 7 ). Soluzione. Per mostrare che gli elementi di E non sono irriducibili si può procedere ragionando sulle loro norme, come descritto nella soluzione dell esercizio 3. Per mostrare che gli elementi di E non sono primi, procediamo come segue. Iniziamo, osservando che 10, in Z[ 6], ammette le due seguenti fattorizzazioni con fattori irriducibili Ora, concludiamo, osservando che 10 = 2 5 e 10 = (2 + 6) (2 6) 2 10 = (2 + 6) (2 6) ma 2 (2 + 6) e 2 (2 6) 5 10 = (2 + 6) (2 6) ma 5 (2 + 6) e 5 (2 6) (2 + 6) 10 = 2 5 ma (2 + 6) 2 e (2 + 6) 5 (2 6) 10 = 2 5 ma (2 6) 2 e (2 6) 5 Quindi, nessuno degli elementi di E è un elemento primo. 7 Sugg.: Per provare che gli elementi di E non sono primi, si considerino due diverse fattorizzazioni di 10...

8 ALGEBRA 1 PB-Z X. 25 V 2012 Esercizio 6. Determinare gli ideali dell anello Z 3 [X]/ X 3 + X + 1. Soluzione. Si scriva Q[X] = X 3 + X + 1 e I = X 3 + X + 1 = Q[X]. Ricordiamo che l insieme Ideali Z3[X]/I i cui elementi sono gli ideali dell anello Z 3 [X]/I = Z 3 [X]/ X 3 +X+ 1 è in corrispondenza biunivoca con l insieme Ideali Z3[X](I) i cui elementi sono gli ideali di Z 3 [X] che contengono I = X 3 + X + 1 ; ossia, Ideali Z3[X]/I Ideali Z3[X](I) Sia π I : Z 3 [X] Z 3 [X]/I la proiezione canonica di Z 3 [X] sul quoziente Z 3 [X]/I. Ricordiamo, allora, che una biezione tra gli insiemi Ideali Z3[X]/I e Ideali Z3[X](I) è data da π I ; ossia, π I : Ideali Z3[X](I) Ideali Z3[X]/I Quindi, al fine di determinare gli ideali di Z 3 [X]/ X 3 + X + 1 (ossia, gli elementi di Ideali Z3[X]/I), procederemo, dapprima, individuando gli elementi di Ideali Z3[X](I) e, poi, considerando le loro immagini in Ideali Z3[X](I) secondo π I. Ricordando, ora, che l anello Z 3 [X] è un dominio a ideali principali, abbiamo che un ideale J = P[X] di Z 3 [X] contiene I = X 3 + X + 1 se e solo se P[X] X 3 + X + 1. Dunque, il problema della determinazione degli ideali di Z 3 [X]/ X 3 + X + 1 è equivalente a quello della riducibilità, in Z 3 [X] del polinomio X 3 + X + 1. Ora, essendo di grado 3, il polinomio X 3 + X + 1 è riducibile in Z 3 [X] se e solo se ammette radici in Z 3 = { 0, 1, 2}. A questo punto, essendo l insieme Z 3 di potenza 3, possiamo procedere mediante verifica diretta e osservare che l elemento 1 Z 3 è l unica radice di Q[X] = X 3 + X + 1; infatti, Q[ 0] = 1 0, Q[ 1] = 0 e Q[ 2] = 2 0. Quindi, abbiamo X 3 + X + 1 = (X 1)(X 2 + X + 2); ossia, scrivendo R 1 [X] = X 1 = X + 2 e R 2 [X] = X 2 + X + 2, X 3 + X + 1 = Q[X] = R 1 [X] R 2 [X] = (X + 2)(X 2 + X + 2) Quindi, gli ideali che contengono I = Q[X] = X 3 + X + 1 sono R 1 [X] = X + 2 e R 2 [X] = X 2 + X + 2 ;ossia, Dunque, Ideali Z3[X](I) = Ideali Z3[X]( Q[X] ) = { R 1 [X], R 2 [X] } Ideali Z3[X]/I = Ideali Z3[X]/ Q[X] = {π I ( R 1 [X] ), π I ( R 2 [X] )}.

ALGEBRA 1 PB-Z X. 25 V 2012 9 Esercizio 7. Siano κ un campo e κ[x 1, X 2 ] l anello dei polinomi in due indeterminate a coefficienti in κ. Mostrare che l anello κ[x 1, X 2 ] non è a ideali principali. Soluzione. Al fine di mostrare che l anello κ[x 1, X 2 ] non è a ideali principali, consideriamo l ideale I = X 1, X 2 e mostriamo che non è principale. Proveremo questo fatto, supponendo che I sia principale e arrivando, partendo da tal supposizione, a una conclusione assurda. Sia, dunque, l ideale I principale; allora esiste p[x 1, X 2 ] κ[x 1, X 2 ] tale I = p[x 1, X 2 ] ; ossia, tale che X 1, X 2 = p[x 1, X 2 ]. Ora, poiché deg X 1 = 1 e deg X 2 = 1, il grado di p[x 1, X 2 ] è al più uguale a 1; ossia deg p[x 1, X 2 ] {0, 1}. Se deg p[x 1, X 2 ] = 0, allora p[x 1, X 2 ] è una costante; ossia, p[x 1, X 2 ] = k κ. Ora, se k fosse uguale a 0, allora arriveremmo alla seguente conclusione assurda X 1, X 2 = p[x 1, X 2 ] = k = 0 = {0} ( 8 ); se k fosse uguale a 1, allora arriveremmo alla seguente conclusione assurda X 1, X 2 = p[x 1, X 2 ] = k = 1 = κ[x 1, X 2 ] ( 9 ); se k fosse una costante diversa da 0 e da 1, allora X 1, X 2 = p[x 1, X 2 ] = k conterrebbe solamente polinomi che son multipli della costante k e questo è assurdo, dato che, ad esempio, né X 1, né X 2 son multipli di k. Se deg p[x 1, X 2 ] = 1, allora p[x 1, X 2 ] è della forma p[x 1, X 2 ] = a 1 X 1 + a 2 X 2 + a 3, con a 1, a 2, a 3 κ, con a 1 0 o a 2 0, ché, altrimenti, avremmo deg p[x 1, X 2 ] = 0. Ora, se a 1 = 0 e a 2 0, allora X 1 sarebbe un multiplo di a a 2 X 2 + a 3 e questo è assurdo, dato che il grado di X 1 è uguale a 1. se a 1 0 e a 2 = 0, allora X 2 sarebbe un multiplo di a a 1 X 1 + a 3 e questo è assurdo, dato che il grado di X 2 è uguale a 1. se a 1 0 e a 2 0, allora X 1 e X 2 sarebbero multipli di a a 1 X 1 + a 2 X 2 + a 3 e questo è assurdo, dato che il grado di entrambi X 1 e X 2 è uguale a 1. Quindi, l ideale I non essendo principale, l anello κ[x 1, X 2 ] non è a ideali principali. 8 L ideale I = X1, X 2 è diverso dall ideale nullo; infatti, ad esempio, contiene gli elementi non nulli X 1 e X 2. 9 L ideale I = X1, X 2 è un sottoinsieme proprio di κ[x 1, X 2 ; infatti, ad esempio, non contiene il polinomio costante 1.