DiarioLezioni < Algebra/AL/AA1112

Tags: view all tags
----++Diario delle lezioni Algebra A-L, prof. Claudia Malvenuto, a.a. 2011-2012

<font color="#AF0F0F"><b>Lunedì  3 ottobre (Lezione 1)</b></font> - Introduzione al corso: modalit&agrave; d'esame, sito, ricevimento, libri adottati, argomenti del corso. Etimologia di _[[http://en.wikipedia.org/wiki/The_Compendious_Book_on_Calculation_by_Completion_and_Balancing][algebra]]_ e l' AlgebristaOrtopedico nel Don Chisciotte. Richiami su: corrispondenze, relazioni, relazioni di equivalenza, classi di equivalenza. 

Ripassare il paragrafo 1.1 e 1.2 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 1.1 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).
Leggere e rifare gli esercizi svolti dei paragrafi 1.1 e 1.3 del libro [[Algebra/AL/WebHome#Libri_di_testo][[EA]]].
Svolgere gli esercizi proposti sulle corrispondenze, relazioni e relazioni di equivalenza che si trovano nella  [[%ATTACHURL%/Scheda1.pdf][prima scheda  di esercizi]].

<font color="#AF0F0F"><b>Mercoledì 5 ottobre (Lezione 2)</b></font> - Insieme quoziente modulo una relazione di equivalenza. Esempi ed esercizi. Applicazioni: dominio, codominio, immagine di un elemento, insieme immagine, controimmagine di un elemento del codominio; iniettivit&agrave; suriettivit&agrave;, applicazioni biunivoche, invertibili, composizione di applicazioni, applicazioni inverse.

<font color="#AF0F0F"><b>Venerdì  7 ottobre  (Lezione 3)</b></font> -  Esempi di applicazioni: applicazione identica; inclusione; applicazione costante; proiezioni canoniche del prodotto cartesiano sulle sue componenti; proiezione canonica di un insieme S con relazione di equivalenza sul suo quoziente. Relazione di equivalenza associata ad un'applicazione f di S in T: &egrave; la relazione definita per ogni a, b in S come a R b se e solo se f(a)=f(b).  Proposizione: Per ogni applicazione f di S in T esiste un'applicazione biunivoca F dal quoziente di S (modulo l'equivalenza a R b se e solo se f(a)=f(b)) in Im(f) che si fattorizza attraverso la proiezione canonica e l'immersione (cfr. Proposizione 5. e 6. sugli [[%ATTACHURL%/infalg1.3.pdf][appunti del prof. Campanella]] 1.3).

Ripassare il paragrafo 1.3 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 1.2 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).
Leggere e rifare gli esercizi svolti del paragrafo 1.2 del libro [[Algebra/AL/WebHome#Libri_di_testo][[EA]]].
Svolgere gli esercizi proposti sulle funzioni che si trovano nella  [[%ATTACHURL%/Scheda2.pdf][seconda scheda  di esercizi]].

<font color="#AF0F0F"><b>Lunedì 10 ottobre (Lezione 4)</b></font> - Assiomatica di Peano dei numeri naturali. Il principio di induzione: prima forma (debole) e seconda forma (forte). Il principio del buon ordinamento: ogni sottoinsieme non vuoto di naturali ammette un minimo. Teorema: i tre principi di induzione prima forma, di induzione seconda forma e del buon ordinamento sono equivalenti: si &e; dimostrato soltanto che il principio di induzione (prima forma) segue dal principio del buon ordinamento (le altre implicazioni sono lasciate come esercizio, cfr. [[Algebra/AL/WebHome#Libri_di_testo][[AA]]]). L'insieme delle parti di un insieme finito a n elementi ha 2^n elementi (due dimostrazioni: tramite la funzione caratteristica oppure per induzione). Teorema (divisione con resto in N): dati a e b naturali, con b non nullo, esistono due naturali q ed r tali che a=bq + r e con 0<= r < b (la dimostrazione usa la seconda forma del principio di induzione). 

Studiare il paragrafo 1.4 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]].
Dimostrare che la divisione col resto si pu&ograve; fare anche in Z.

Svolgere gli esercizi proposti sul principio di induzione della  [[%ATTACHURL%/Scheda3.pdf][terza scheda  di esercizi]].

<font color="#AF0F0F"><b>Mercoledì 12 ottobre (Lezione 5)</b></font> - Calcolo combinatorio: numero di applicazioni di A in B; numero di applicazioni iniettive di A in B; il numero di applicazioni biiettive di un insieme A in s&eacute;, per A e B insiemi finiti. Il principio dei cassetti (detto anche _[[%ATTACHURL%/TooManyPigeons.jpg][pigeonhole principle]]_). Le permutazioni. Il coefficiente binomiale. Sviluppo di una produttoria in sommatoria. Interpretazione combinatoria del coefficiente binomiale BIN(n,k) come numero di stringhe binarie lunghe n con k occorrenze di un simbolo oppure come numero di sottoinsiemi a k elementi presi da un insieme a n elementi. Formula del coefficiente binomiale. 

Studiare il paragrafo 1.6 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]].
Per i coefficienti binomiali si possono anche consultare le [[http://www.dsi.uniroma1.it/~md1c/md1c.pdf][dispense del corso di Combinatoria]] di K&ouml;rner e Malvenuto. pag 25 e seguenti.

Svolgere gli esercizi proposti sul calcolo combinatorio della  [[%ATTACHURL%/Scheda4.pdf][quarta scheda  di esercizi]].

<font color="#AF0F0F"><b>Venerdì 14 ottobre (Lezione 6)</b></font> -  Esercitazione sulle prime 4 schede di esercizi (in particolare, esercizi sui numeri di Fibonacci e sui coefficienti binomiali).
 
<font color="#AF0F0F"><b>Lunedì 17 ottobre (Lezione 7)</b></font> - Gli interi Z come classi di equivalenza di N x N. Definizione di somma e prodotto e loro propriet&agrave;: Z &egrave; un anello commutativo con unit&agrave;. Teorema (divisione con resto in Z): dati a e b interi, con b non nullo, esistono _unici_ due interi q ed r tali che a=bq + r e con 0<= r < b: unicit&agrave; di quoziente e resto; estensione della divisione col resto a tutto Z. Relazioni d'ordine, insiemi parzialmente ordinati, massimo, minimo, elementi minimali e massimali, diagramma di Hasse di un insieme parzialmente ordinato. La relazione di divisibilit&agrave; su N. Definizioni di elementi associati, irriducibili e primi in Z. 

Studiare il paragrafo 2.1 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 1.3 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Leggere e rifare gli esercizi svolti del paragrafo 1.4 del libro [[Algebra/AL/WebHome#Libri_di_testo][[EA]]].


<font color="#AF0F0F"><b>Mercoledì 19 ottobre (Lezione 8)</b></font> - Massimo comune divisore. Teorema (esistenza del MCD): dati a, b interi non entrambi nulli: 1) esiste d=(a,b) massimo comune divisore; 2) identit&agrave; di B&eacute;zout: d= sa + tb per opportuni interi s e t (ovvero: d si esprime come combinazione lineare di a e b): dimostrazione col principio del buon ordinamento. Algoritmo di Euclide per il calcolo del massimo comune divisore e di un'identit&agrave; di B&eacute;zout per esso. Esempi relativi. Definizione di numero primo (o irriducibile). Proposizione: se un numero p &egrave; primo e divide il prodotto di due numeri interi a e b, allora p divide almeno uno dei due. 

Studiare il paragrafo 2.2 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 1.3 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).
Leggere e rifare gli esercizi svolti del paragrafo 1.4 del libro [[Algebra/AL/WebHome#Libri_di_testo][[EA]]].

Fare gli esercizi relativi agli argomenti spiegati sulla divisibilit&agrave;  della [[%ATTACHURL%/Scheda5.pdf][quinta scheda di esercizi]].

<font color="#AF0F0F"><b>Venerdì  21 ottobre (Lezione 9)</b></font> - Equazioni diofantee a coefficienti interi. Teorema: condizione necessaria e sufficiente affinch&eacute; l'equazione ax+by=c (a,b interi) abbia soluzioni intere &egrave; che il massimo comune divisore tra a e b divida il termine noto c. Teorema: ogni intero diverso da 1 e 0 ammette una fattorizzazione in primi. Tale fattorizzazione &egrave; unica, a meno dell'ordine dei fattori. Lemma: ogni numero &egrave; coprimo col suo successivo. Teorema: l'insieme dei numeri primi &egrave; infinito. La congruenza modulo n. Proposizione: a congruo a b (mod n) se e solo se a e b hanno lo stesso resto nella divisione per n. Operazioni sulle classi resto (mod n). Dimostrare che la somma e il prodotto di classi resto sono ben poste (indipendenti dalla scelta dei rappresentanti delle classi).

Studiare il paragrafo 2.3, 2.4 e 2.6 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 1.3 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).
Leggere e rifare gli esercizi svolti del paragrafo 1.4 del libro [[Algebra/AL/WebHome#Libri_di_testo][[EA]]].

Fare gli esercizi relativi agli argomenti spiegati su numeri primi, equazioni diofantee e congruenza  della [[%ATTACHURL%/Scheda5.pdf][quinta scheda di esercizi]].

<font color="#AF0F0F"><b>Lunedì 24 ottobre (Lezione 10)</b></font> - Propriet&agrave; delle operazioni tra classi resto modulo n. Proposizione: comunque prese classi resto a, b c d in Z/nZ, vale (i) se a=b  e c=d  allora a+c= b+d; (ii) a+c= b+c; (iii) ac=bc; (iv) a^i=b^i per ogni naturale i. Proposizione (condizione sotto cui si pu&ograve; invertire la prop. (iii)) In Z/nZ se ac=bc e c ed n sono coprimi, allora a=b (si puo' dividere l'uguaglianza per c). Elementi invertibili in Z/nZ. Proposizione: Un elemento a di Z/nZ e&grave; invertibile se e solo se a ed n sono coprimi. Criterio: ricerca dell'inverso moltiplicativo a in Z/nZ (si usa un'identit&agrave; di B&eacute;zout per 1=(a,n) tramite algoritmo di Euclide). Proposizione: se ac=bc in Z/nZ allora a=b in Z/(n/d)Z, con d=(c,n). Risoluzione di congruenze lineari (ovvero di equazioni lineari in Z/nZ). Proposizione: se p primo, allora (x+y)^p &egrave; congruo a x^p + y^p (Dim. si usa il fatto che per p primo, p divide ogni coefficiente sulla p-sima riga del coefficiente binomiale, tranne il primo e l'ultimo, che valgono 1). Piccolo teorema di Fermat: se p &egrave; primo, allora a^p=a in Z/pZ, per ogni a in Z (dimostrazione: per induzione se a positivo, poi si dimostra per a>0 usando le propriet&agrave; delle potenze). Esempi: tavola additiva e moltiplicativa di Z/4Z e Z/5Z, calcolo dell'inverso moltiplicativo. Svolti esercizi della scheda 5.

Studiare il paragrafo 2.6, 2.7 (senza il Teorema cinese del resto) e 2.9 (solo il Teorema di Wilson, dato come esercizio) di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]].

<font color="#AF0F0F"><b>Mercoledì 26 ottobre (Lezione 11)</b></font> - Duecentesimo anniversario della nascita di 
[[http://en.wikipedia.org/wiki/Évariste_Galois][&Eacute;variste Galois]].

Corollario del piccolo Teorema di Fermat: se p &egrave; primo, allora per ogni a, tranne i multimpli di p, si ha che a^(p-1) congruo ad a modulo p. Proposizione: in Z/pZ l'inverso di ogni classe non nulla si ottiene calcolando la potenza (p-2)-sima di quella classe. Definizioni di operazione associativa, commutativa. Definizione di monoide. Il monoide delle parole su  un alfabeto finito. Definizione di gruppo. Esempi. Il gruppo U(Z/mZ) degli invertibili di Z/mZ. Il gruppo simmetrico su 3 elementi. 

<font color="#AF0F0F"><b>Venerdì 28 ottobre (Lezione 12)</b></font> - Definizione di ordine di un gruppo, ordine dei suoi elementi (se esiste). Classificazione dei gruppi di ordine 1, 2, 3, 4. Il gruppo di Klein delle trasformazioni isometriche del rettangolo. Tavole moltiplicative e isomorfismi (esempi). Il gruppo diedrale delle simmetrie del quadrato. 

Studiare il paragrafo  5.1 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure i paragrafi 2.1, 2.2 e 2.3 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Stampare e svolgere gli esercizi della  [[%ATTACHURL%/Scheda6.pdf][sesta scheda di esercizi]].

<font color="#AF0F0F"><b>Lunedì 31 ottobre (Lezione 13)</b></font> - Regole di calcolo in un gruppo: Proposizione: l'elemento neutro &egrave; unico in un gruppo; l'inverso di ogni elemento &egrave; unico. L'inverso di ab &egrave il prodotto degli inversi di a e b ma in ordine inverso (ab)^(-1)=(b)^(-1)(a)^(-1). L'inverso dell'inverso di ogni elemento &egrave; l'elemento stesso. 

Stampare e svolgere gli esercizi della  [[%ATTACHURL%/Scheda7.pdf][settima scheda di esercizi]].

Studiare il paragrafo 5.1  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 1.2 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

<font color="#AF0F0F"><b>Mercoledì 2 novembre (Lezione 14)</b></font> - La medaglia Fields [[http://www.math.ucla.edu/~tao/][Terence Tao]] espone il suo pensiero sulla questione _[[http://terrytao.wordpress.com/career-advice/does-one-have-to-be-a-genius-to-do-maths/]["Occorre essere dei geni per fare matematica?"]]_, e offre qualche consiglio su _[[http://terrytao.wordpress.com/career-advice/solving-mathematical-problems/][come diventar pi&uacute; bravi nel risolvere problemi ed esercizi]]_.

Sottogruppi di un gruppo. Esempi. Proposizione (criterio per stabilire se un sottoinsieme e' un sottogruppo): un sottoinsieme di un gruppo G &egrave; un sottogruppo se e solo se 1) S non &egrave; vuoto; 2) per ogni a, b in G il prodotto di a per l'inverso di b &egrave; in S. La relazione S <= T (S &egrave; sottogruppo di T) tra sottogruppi di un gruppo &egrave; una relazione d'ordine. 

Anelli: assiomi, esempi. Anelli commutativi, non commutativi, anelli unitari. Campi. Campi infiniti e campi finiti. Esempi. Proprit&agrave; delle operazioni su un anello: lo zero dell'anello &egrave; annullatore del prodotto. Dominii di integrit&agrave;. Sottoanelli e sottocampi. L'anello dei polinomi a coeffcienti in un anello o in un campo. Somma e prodotto di polinomi (definizione sulle successioni quasi ovunque nulle dei coefficienti dei polinomi). L'anello dei numeri complessi. 

Studiare i paragrafi  4.1, 3.1, 2.11 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.1, 2.2 e 2.3 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

<font color="#AF0F0F"><b>Venerdì 4 novembre  (Lezione 15)</b></font> - La struttura dei sottoanelli dell'anello degli interi Z: 
Proposizione: tutti e soli i sottoanelli di Z sono della forma mZ (multipli di m). L'anello delle matrici n x m a coefficienti in un campo o in un anello. Matrici quadrate. Esempio delle matrici quadrate 2 x 2: somma, prodotto, determinante. Il gruppo moltiplicativo delle matrici 2 x 2 a determinante non nullo. 

Proposizione: L'intersezione di due o pi&ugrave; sottogruppi di un gruppo &egrave; un sottogruppo. (Ci&ograve; non vale per l'unione di due sottogruppi). 
Proposizione (senza dim.): L'unione di due sottogruppi &egrave; un sottogruppo se e solo se uno dei due sottogruppi &egrave; contenuto nell'altro. Definizione di sottogruppo generato da un sottoinsieme del gruppo. Sottogruppo generato dall'unione di due sottogruppi. Sottogruppo <g> generato da un singolo elemento g di G.
Sottogruppi ciclici: definizione, esempi.

<font color="#AF0F0F"><b>Lunedì 7 novembre (Lezione 16)</b></font> - Proposizione: Il sottogruppo generato da un insieme X &egrave; l'insieme che contiene tutti i prodotti finiti t_1*t_2*...*t_r dove i t_i oppure i loro inversi sono in X. Corollario: Il sottogruppo <g> generato da un singolo elemento consiste di tutte e sole le potenze intere di g. Se g non ha periodo finito, allora 
<g> &egrave; infinito e g^h=g^k se e solo se h=k; se g ha ordine (periodo) finito pari a n, allora 
<g>={e,g,g^2, ..., g^(n-1)} contiene tutte e sole le potenze di g con esponente 0, 1,..., n-1, ed &egrave; quindi un sottogruppo di ordine n (isomorfo al gruppo additivo (Z/nZ, +) delle classi resto modulo n. Definizione di gruppo ciclico e di generatore di un gruppo ciclico. Un gruppo ciclico &grave; abeliano. Studio e caratterizzazione dei sottogruppi dei gruppi ciclici: ogni sottogruppo di un gruppo ciclico, e' ciclico. Se G ha ordine finito n ed e' generato da un suo elemento g (di ordine n) allora esiste uno e un solo sottogruppo per ogni k divisore di n, generato da g^k, che e' di ordine n/k. Esempio: i sottogruppi di Z/12Z, diagramma di Hasse dei sottogruppi di Z/12Z ordinati rispetto alla relazione d'ordine "S &egrave; sottogruppo di T", confronto col diagramma di Hasse dei divisori di 12.

Studiare il paragrafo 5.1  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.1 e 2.4 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Svolgere gli esercizi corrispondenti al paragrafo 5.1 di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] e del libro [[Algebra/AL/WebHome#Libri_di_testo][[EA]]] relativi ai sottogruppi e gruppi ciclici.

Svolgere gli esercizi della [[%ATTACHURL%/Scheda8.pdf][ottava scheda di esercizi]].

<font color="#AF0F0F"><b>Mercoledì 9 novembre (Lezione 17)</b></font> - Teorema (struttura dei sottogruppi di un gruppo ciclico). Sia G=<g> un gruppo ciclico di ordine n. Allora i) ogni sottogruppo H di G &egrave; ciclico. ii) Se H &egrave; sottogruppo di G allora |H| (l'ordine di H) divide l'ordine |G| di G. iii) Per ogni divisore k di n, esiste uno e un solo sottogruppo H di G di ordine k, quello generato dalla potenza n/k-sima di g. 
Il gruppo simmetrico delle permutazioni su n elementi S_n. Scrittura canonica delle permutazioni come tabella a 2 righe ed n colonne. Calcolo dell'inversa, prodotto di permutazioni (composizione funzionale). Potenza n-sima di una permutazione. Scrittura in cicli disgiunti di una permutazione: esempi.

Studiare il paragrafo 5.2  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.10 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Svolgere i problemi della [[%ATTACHURL%/Scheda9.pdf][nona scheda di esercizi]] sulle permutazioni.

<font color="#AF0F0F"><b>Venerdì 11 novembre (Lezione 18)</b></font> - Orbita di un elemento secondo una permutazione S come classe di equivalenza della relazione su [n]: x R y se e solo se y= S(x). Definizione di ciclo di una permutazione S. Teorema: ogni permutazione si scrive come prodotto dei suoi cicli disgiunti. Proposizione: ogni ciclo (e dunque ogni permutazione) si scrive (non necessariamente in modo unico) come prodotto di trasposizioni (o scambi). Parit&agrave; di una permutazione. Teorema (senza dim): se una permutazione S si scrive come prodotto di un numero pari (risp. dispari) di trasposizioni, allora ogni altra scrittura di S come prodotto di trasposizioni sar&agrave; costituita da un numero pari (risp. dispari) di trasposizioni. Il sottogruppo alterno A_n delle permutazioni pari. Il gruppo alterno A_n contiene la met&agrave; delle permutazioni su n elementi.

Studiare il paragrafo 5.2  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.10 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Completare i problemi della [[%ATTACHURL%/Scheda9.pdf][nona scheda di esercizi]] sulle permutazioni.

<font color="#AF0F0F"><b>Lunedì 14 novembre</b></font> - Interruzione dalla didattica

<font color="#AF0F0F"><b>Mercoledì 16 novembre</b></font> - Interruzione dalla didattica

<font color="#AF0F0F"><b>Venerdì 18 novembre</b></font> - 14.00-16.00 Prima prova di esonero (prova intermedia) riservata agli studenti che abbiano firmato il foglio portato nelle lezioni del 9 e 11 novembre.

<font color="#AF0F0F"><b>Lunedì 21 novembre (Lezione 19)</b></font> - Classi laterali destre (o sinistre) modulo un sottogruppo. Proposizione: la congruenza destra (sinistra) modulo un sottogruppo H di un gruppo G &egrave; una relazione d'equivalenza. Struttura delle classi laterali destre (sinistre) modulo H la classe di un elemento a come insieme Ha dei prodotti degli elementi di H per l'elemento a. Proposizione: tutte le classi laterali destre di G modulo H hanno la stessa cardinalit&agrave;. Teorema di Lagrange: Se G &egrave; un gruppo finito, H un suo sottogruppo, allora l'ordine di H divide l'ordine di G. Indice  (G:H) di un sottogruppo H in G. Corollario: l'indice (G:H) di H in G divide l'ordine di G. Corollario: se l'ordine di G &egrave; un numero primo, allora G &egrave; un gruppo ciclico. Corollario: In un gruppo finito l'ordine di ogni elemento g di G divide l'ordine di G. Corollario: se G e&grave; finito, allora ogni elemento elevato all'ordine di G d&agrave; l'identit&agrave;. La funzione Phi di Eulero che conta il numero di interi tra 1 ed n coprimi con n.  Corollario (teorema di Eulero): se a &egrave; un intero coprimo con n, allora a elevato a Phi(n) &egrave; congruo a 1 modulo n. Propriet&agrave; di Phi: 1) (senza dim.) se r, s sono coprimi, allora Phi(rs)= Phi(r)Phi(s). 2) (con dim.) Phi(p^h)= p^h-p^(h-1).


Passatempo: si calcolino i primi 10 valori della funzione Phi di Eulero, si ricerchi questa successione sul sito The On-Line Encyclopedia of Integer Sequences": http://oeis.org/, un motore di ricerca per successioni di interi creato da Neil Sloane, inserendo i primi dieci valori trovati: "giocare" con la successione https://oeis.org/A000010, quella che appunto descrive la "Euler totient function phi(n): count numbers <= n and prime to n."

Studiare il paragrafo 5.5  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.4 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Svolgere gli esercizi della [[%ATTACHURL%/scheda10.pdf][decima scheda di esercizi]] su sottogruppi, omomorfismi, classi laterali.

<font color="#AF0F0F"><b>Mercoledì 23 novembre (Lezione 20)</b></font> - Il teorema di Lagrange non si inverte. Proposizione: Se H &egrave; un sottogruppo di G allora il numero di laterali destri &egrave; pari al numero di laterali sinistri. Sottogruppi normali. Elementi coniugati. Sottogruppo coniugato di un dato sottogruppo. La relazione di coniugio. Proposizione: in un gruppo G, con N sottogruppo, le seguenti sono equivalenti: 1) N &egrave; normale; 2) gNg^-1 =N; 3) ogni coniugato gng^-1 di ogni elemento n di N; N &grave; unione di classi di coniugio; 4) Ogni laterale sinistro di N &egrave; destro di N; 5) Na=aN per ogni a di G. Proposizione: Il quoziente G/N di G modulo un sottogruppo normale &egrave; un gruppo rispesto al prodotto NaNb=Nab. Definizione di isomorfismo e omomorfismo tra gruppi.


Completare gli esercizi della [[%ATTACHURL%/scheda10.pdf][decima scheda di esercizi]] su sottogruppi, omomorfismi, classi laterali.

<font color="#AF0F0F"><b>Venerdì  25 novembre (Lezione 21)</b></font> - *Ripassare il Teorema di omomorfismo per gli insiemi, detto anche di decomposizione delle applicazioni* (che trovate nella Proposizione 5. e 6. sugli [[%ATTACHURL%/infalg1.3.pdf][appunti del prof. Campanella]] oppure su queste [[http://www.dma.unina.it/cutolo/didattica/AlgInfo/note/teorfond.pdf][note]]). Test per sottogruppi normali: un sottoinsieme H di un gruppo G &egrave; un sottogruppo normale se sono verificate queste due condizioni: 1) per ogni x,y di H si ha: xy^(-1) in H; 2) per ogni x in H e per ogni g in G si ha che il coniugato ghg^(-1) &egrave; in H. Definizione di omomorfismo, monomorfismo, epimorfismo, isomorfismo, endomorfismo, automorfismo. Proposizione: 1) La funzione identica &egrave; un isomorfismo di G in s&eacute;; 2) se f isomorfismo di G in G' allora f^(-1) isomorfismo di G' in G;
3) se f isomorfismo di G in G' e g isomorfismo di G' in G'' allora gf isomorfismo di G in G''. Corollari: essere isomorfi &egrave; una relazione di equivalenza tra gruppi. Inoltre detto Aut(G) l'insieme degli automorfismi di G in s&eacute;, Aut(G) &egrave; un gruppo rispetto al prodotto di composizione. Definizione di omomorfismo, isomorfismo ecc. per anelli. Esempi di isomorfismi.

Studiare il paragrafo  e 5.6 e 5.7  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.6 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

<font color="#AF0F0F"><b>Lunedì 28 novembre (Lezione 22 )</b></font> - Propriet&agrave; degli omomorfismi: se f omomorfismo di G in G' allora 1) f manda l'unit&agrave; di G nell'unit&agrave; di G'; 2)  per ogni g in G, f manda l'inverso di  g nell'inverso di f(g) di G'; 3) l'ordine dell'immagine f(g) di g divide l'ordine di G; 4) se f isomorfismo, l'ordine di g &egrave; uguale all'ordine di f(g). Queste condizioni sono necessarie ma non sufficienti affinch&egrave; f sia un omomorfismo. Due sottogruppi speciali: l'immagine e il nucleo di un omomorfismo Ker(f)= {x in G: f(x)=e}. Proposizione: dato un omomorfismo f di G in G', si ha: 1) l'immagine Im(f) &egrave; un sottogruppo di G'; 2) il nucleo di f Ker(f) &egrave; un sottogruppo normale di G; 3) f(a)=f(b) se e solo se aKer(f)=bKer(f), cioe' il quoziente di G modulo l'equivalenza relativa all'applicazione f &egrave; uguale al quoziente G/Ker(f) di G della congruenza modulo il sottogruppo H.  Teorema fondamentale di omomorfismo per i gruppi (detto anche primo teorema d'isomorfismo:  G/Ker(f) &egrave; isomorfo a Im(f). Inoltre esiste un unico isomorfismo *f* di  G/Ker(f) in Im(f) tale che f si fattorizza attraverso la proiezione canonica pi: G --> G/Ker(f) e l'applicazione inclusione i: Im(f) --> G', cio&egrave; tale che f= i * *f* * pi. Esercizi sugli omomorfismi (es. 17 scheda 10).

Studiare il paragrafo 5.8 e 5.9  di [[Algebra/AL/WebHome#Libri_di_testo][[AA]]] (oppure il paragrafo 2.7 e 2.8 di [[Algebra/AL/WebHome#Libri_di_testo][[A]]]).

Svolgere  gli esercizi della  [[%ATTACHURL%/scheda11.pdf][undicesima scheda di esercizi]] (omomorfismi, sottogruppi normali).


<font color="#AF0F0F"><b>Mercoledì 30 novembre (Lezione 23)</b></font> - Spazi vettoriali. Esempi: le n-uple su un campo; le matrici rettangolari a valori su un campo; i polinomi in una indeterminata a coefficienti in un campo; i polinomi troncati; i punti di un piano euclideo; i vettori applicati della fisica. Sottospazi vettoriali. Criterio per verificare che un sottoinsieme non vuoto sia un sottospazio. Matrici quadrate e traccia di una matrice. Regole di calcolo in uno spazio vettoriale. Combinazioni lineari. Dipendenza e indipendenza lineare di insiemi di vettori. Proposizione: un insieme di vettori &egrave; linearmente dipendente se e solo se almeno uno di essi si esprime come combinazione lineare di uno degli altri. 

Studiare il paragrafo 4.1 e 4.2  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi da 4.1 a 4.9.

<font color="#AF0F0F"><b>Venerdì 2 dicembre   (Lezione 24)</b></font> - Lo _span_: il sottospazio generato da un insieme di vettori. Appartenenza di un vettore di V allo span di un dato insieme di vettori tramite risoluzione di un sistema di equazioni lineari. Sistemi di generatori. Spazi vettoriali finitamente generati (ci occuperemo solo di questi, da ora in poi). Base di uno spazio vettoriale finitamente generato: insieme di generatori linearmente indipendenti.

Studiare il paragrafo 4.3 e 4.4  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi da 4.10 a 4.21 pag. 84. 

<font color="#AF0F0F"><b>Lunedì 5 dicembre (Lezione 25 )</b></font> -  Esempi di basi: basi canoniche per le n-uple, le matrici, i polinomi troncati. Proposizione: B &egrave; una base di V se e solo se ogni vettore di V si scrive in modo unico come combinazione lineare degli elementi della base. Coordinate di un vettore rispetto a una sua base. Trasformazioni lineari (= morfismi) di spazi vettoriali. Proposizione: una base e&egrave un insieme massimale di vettori indipendenti, cio&egrave; ogni insieme che contiene una base &egrave; dipendente. Corollario: esistenza di una base. Teorema del completamento di una base. Corollario: due basi di uno spazio vettoriale hanno la stessa cardinalit&agrave;. Dimensione di uno spazio vettoriale. 

Studiare il paragrafo 4.5, 3.1 e 3.2  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi da 4.22 a 4.33 pag. 84.

<font color="#AF0F0F"><b>Mercoledì 7 dicembre (Lezione 26)</b></font> - 
In uno spazio vettoriale V di dimensione n su un campo K: 1) ogni sottoinsieme di n vettori indipendenti &egrave; una base; 2) se un insieme contiene pi&ugrave; di n vettori, essi sono linearmente dipendenti; 3) la dimensione di un sottospazio &egrave; al pi&ugrave; n; 4) la dimensione di un sottospazio W &egrave; strettamente positiva se e solo se W non consiste del solo vettore nullo. 

Operazioni tra sottospazi: l'intersezione e la somma. Somma diretta di sottospazi. La formula di Grassmann: dim(U) + dim(W)= dim (U+W) + dim(U intersezione W). Proposizione: se V &egrave; somma diretta di due sottospazi, allora la scrittura v=u+w di ogni vettore &egrave; unica. Equazioni lineari. Soluzioni. Sistemi lineari: matrice dei coefficienti, colonna dei termini noti, sistema lineare omogeneo associato. Matrice completa di un sistema. Metodo di risoluzione per sostituzione. Sistemi lineari triangolari superiori quadrati: hanno soluzione unica se e solo se tutti gli elementi della diagonale sono non nulli. Algoritmo di Gauss per la riduzione di una matrice a scala. L'eliminazione di Gauss.

Studiare il paragrafo 3.1 e 3.2  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi da 3.1 a 3.13. Svolgere gli [[http://twiki.di.uniroma1.it/twiki/viewfile/Algebra/Old/WebHome?rev=1;filename=infalgEsCap3.pdf][esercizi su spazi vettoriali]] proposti dal prof. Campanella a.a.2010/11.

<font color="#AF0F0F"><b>Venerdì  9 dicembre </b></font> -  Ci &egrave; stato comunicato dalla segreteria didattica che il dipartimento di fisica sar&agrave; chiuso il 9 dicembre: pertanto - inevitabilmente - la lezione del 9 dicembre prevista presso Fisica &egrave; cancellata. 

<font color="#AF0F0F"><b>Lunedì 12 dicembre (Lezione 27)</b></font> - Applicazioni lineari. Nucleo e immagine: sono sottospazi. Equazioni impossibili. Sistemi incompatibili. Proposizione: le soluzioni di un sistema lineare omogeneo formano un sottospazio. Il metodo di Gauss Jordan per matrici rettangolari. Matrici a scala. Pivot. Risoluzione di un sistema a scala. Variabili libere e vincolate in un sistema. Esercizi ed esempi.

Studiare il paragrafo 6.1, 6.2 e 3.2  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi 6.1, 6.2, 6.3. 

<font color="#AF0F0F"><b>Mercoledì 14 dicembre (Lezione 28)</b></font> - Dati n vettori colonna di R^m essi sono indipendenti se e solo se il sistema Ax=0 ammette la sola soluzione banale, dove A &egrave; la matrice che si ottiene giustapponendo le colonne degli n vettori. Teorema di struttura per i sistemi lineari (con dimostrazione): Sia v_0 una soluzione del sistema compatibile Ax=b. Allora ogni altra soluzione &egrave della forma v_0+w, dove w &egrave soluzione del sistema lineare omogeneo associato Ax=0, ovvero w in Ker(A). Proposizione (con dimostrazione): Un'applicazione lineare T: V --> W &egrave completamente determinata quando se ne conoscano i valori si una base di V. Corollario: gli elementi {T(v_i): v_i varia in una fissata base di V} generano l'immagine Im(T). Per le matrici: le colonne di una matrice A generano l'immagine Im(T(A)). Rango di un'applicazione lineare; rango di una matrice. Il rango di una matrice &egrave; uguale al numero di picvot di una sua riduzione a scala. Teorema della dimensione (senza dimostrazione): data un'applicazione lineare T: V --> W si ha dim V= dim Ker(T) + rango(T). Per una matrice A mxm la cosa si legge come: n= dim (Ker(A))+ rango(A). Corollari (senza dimostrazione): 1) T iniettiva se e solo se dim(V)= rango(T); 2) T suriettiva se e solo se dim (W)= rango(T); 3) rango(A) = rango (trasposta di A). Teorema di Rouch&eacute;- Capelli: il sistema Ax=b &egrave; compatibile (cio&egrave; ammette almeno una soluzione) se il rango di A &egrave; pari al rango della matrice completa (o aumentata) A'=[A|b]. Inoltre la soluzione &egrave; unica se e solo se il rango di A=n= numero di incognite.

Uso del metodo di Gauss-Jordan per: 1) risolvere un sistema lineare; 2) trovare rango di A e una base per Im(A); 3) trovare il nucleo Ker(A); 4) trovare un sottoinsieme indipendente di un insieme di vettori che generano un certo sottospazio; 5) dato un insieme indipendente (ma che non genera necessariamente un certo sottospazio) completarlo a una base del sottospazio; 6) date basi per sottospazi U e V, trovare una base per la somma diretta U+V e una base per l'intersezione (UintersezioneW).

Studiare il paragrafo 5.2 e 6.3  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi 5.2-5.4, 5.5, 5.7, 5.12, 5.23, 6.10, 6.13, 6.14, 6.17 3.1 a 3.13. 

<font color="#AF0F0F"><b>Venerdì  16 dicembre (Lezione 29)</b></font> - Svolgere  gli esercizi della  [[%ATTACHURL%/scheda12.pdf][dodicesima scheda di esercizi]], su basi, generatori, indipendenza lineare. Attenzione! Fare anche gli esercizi indicati dei libri di testo. Intervenite numerosi all'ultima lezione del 2011!


<font color="#AF0F0F"><b>Lunedì 19 dicembre 2011 - 8 gennaio 2012 </b></font> - Vacanze di Natale

<font color="#AF0F0F"><b>Lunedì 9 gennaio (Lezione 30)</b></font> - Corrispondenza tra matrici e applicazioni lineari. Proposizione:  L(V,W) insieme delle applicazioni lineari di V in W &egrave uno spazio vettoriale. . Proposizione:  L(V,V) insieme degli endomorfismi di V in s&eacute;  &egrave un anello non commutativo unitario, quando si prende come prodotto la composizione di endomorfismi: il sottoinsieme delle applicazioni invertibili forma fruppo (isomorfo a GL(n,R) se lo spazio V ha dimensione n su R). Esempi standard di isomorfismi (canonici e non canonici). Proposizione Ogni spazio di dimensione n &egrave; isomorfo a R^n (l'isomorfismo f_B si ottiene una volta fissata una base B di V, e non &egrave; canonico). Proposizione: L(R^n, R^m) e&grave; isomorfo alle matrici n x m a coefficienti in R (o su un campo K): data una trasformazione lineare T la matrice A corrispondente a T ha come colonne T(e_i), con e_i vettori della base canonica. Propriet&agrave; del prodotto "righe per colonne".

Studiare il paragrafo ...  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi...

<font color="#AF0F0F"><b>Mercoledì 11 gennaio (Lezione 31)</b></font> - Propriet&agrave; equivalenti: 1) A invertibile; 2) L(A) invertibile; 3) L(A) iniettiva; 4= Ker(A)={0}; 5) L(A) suriettiva; 6) Im(L(A)) = R^n; 7) rango di A rg(A)=n; 8) Le colonne della matrice A sono indipendenti; 9) le righe di A sono indipendenti (rg A = rg A^t); 10) AX=0 ammette l'unica soluzione nulla;  11)il sistema AX=b ammette un'unica soluzione X= A^(-1)b; 12) I pivot di una riduzione a scala di A sono tutti non nulli; 13) esiste B matrice n x n tale che BA=I (matrice identit&agrave;); 14) esiste C matrice n x n tale che AC=I (matrice identit&agrave;). 
Calcolo dell'inversa di una matrice invertibile: si trasformi la matrice aumentata [A | I] con Gauss-Jordan fino a trovare [I | C]: C sar&agrave; la matrice inversa.

Definizione di determinante (tramite permutazioni). Il determinante di una matrice A &egrave; il volume (con segno) del solido generato dai vettori colonna di A. Propriet&agrave del determinante (da dimostrare tramite le permutazioni): se A &egrave; diagonale (o triangolare, superiore o inferiore), si ottiene come il prodotto degli elementi sulla diagonale; Se una riga o colonna di A &egrave; nulla, il determinante &egrave; zero; det(A)=det(A^t); il determinate &egrave; lineare su ogni colonna (opp riga): cio&egrave; e&grave; multilineare; se A' si ottiene da A scambiando due righe (oppure due colonne) allora il determinante cambia segno: det(A)=-det(A');  se una matrice ha due righe uguali allora il determinante &egrave; zero; se due colonne in una matrice sono proporzionali allora det (A) e&grave; zero; il valore del determinante non cambia se sommiamo a una riga il multiplo di un'altra (vero anche per colonna). Teorema di Binet: det(AB)=det(A)det(B), ovvero il determinante &egrave; una funzione moltiplicativa (ma non additiva!!! det(A+B) diverso da det(A)+det(B)). Corollario: se A invertivile, allora il determinante dell'inversa &egrave; l'inverso del deteminante di A. Teorema di Laplace (con dimostrazione): formula ricorsiva del det(A) tramite lo sviluppo secondo una fissata riga (o colonna).

Studiare il paragrafo ...  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi...


<font color="#AF0F0F"><b>Venerdì   13 gennaio (Lezione 32)</b></font> - Esercizi sul calcolo del determinante (formula di Laplace o tramite una riduzione a scala della matrice, che utilizzi solo sostituzioni di un dato vettore riga v con un vettore riga v+cw, con c scalare). Teorema di Cramer per la risoluzione di sistemi quadrati Ax=b, dove A invertibile.  Teorema degli orlati (o di Kroneker) per il calcolo del rango di una matrice rettangolare, usando la funzione determinante.

Studiare il paragrafo ...  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi...

<font color="#AF0F0F"><b>Lunedì 16 gennaio (Lezione 33)</b></font> -  Cambiamenti di base. Matrice del cambiamento di base (trasformazione contravariante): contiene come colonne le coordinate dei vettori della nuova base espressi come combinazione lineare nella vecchia base. Esempi ed esercizi.

Studiare il paragrafo ...  di [[Algebra/AL/WebHome#Libri_di_testo][[AL]]]. Svolgere gli esercizi...

Svolgere  gli  [[http://twiki.di.uniroma1.it/twiki/viewfile/Algebra/Old/WebHome?rev=1;filename=infalgEsCap4.pdf][esercizi su trasformazioni lineari]] proposti dal prof. Campanella a.a.2010/11.

<font color="#AF0F0F"><b>Mercoledì 18 gennaio (Lezione 34)</b></font> - Autovalori. Autovettori relativi ad autovalori. Similitudine tra matrici. Autovettori relativi ad autovalori distinti sono linearmente indipendenti. Matrici scalari e diagonali. Una matrice &egrave; diagonalizzabile se e solo se esiste una base di autovettori. Ricerca degli autovalori. Esempi di matrici che non ammettono autovalori. 

Svolgere gli esercizi relativi alla sezione corrispondente.

<font color="#AF0F0F"><b>Venerdì  20 gennaio  (Lezione 35)</b></font> - Polinomio caratteristico di una matrice (o di un endomorfismo). Molteplicit&agrave; algebrica e geometrica degli autovalori. Criterio per la diagonalizzazione di matrici quadrate (o di endomorfismi). 

Svolgere gli [[http://www.mat.uniroma1.it/people/mazzocco/mazzocco.foglio4.anno10-11.pdf][esercizi sulle matrici diagonalizzabili]].

<font color="#AF0F0F"><b>Marterdì  24 gennaio  (Esercitazione 36)</b></font> - In aula II di Matematica ci sar&agrave; un'esercitazione/ricevimento studenti in vista degli esami, dalle 9.00 alle 11.00.  

<font color="#AF0F0F"><b>Mercoledì  25 gennaio  (Esercitazione 37)</b></font> -  In aula E di Matematica (35 posti) ci sar&agrave; un'esercitazione/ricevimento studenti in vista degli esami, dalle 9.00 alle 11.00.  


<font color="#AF0F0F"><b>Luned&igrave; 23 gennaio - Venerd&igrave; 2 marzo</b></font> - Sessione d'esame. Per ogni appello &egrave; necessario prenotarsi tramite Infostud. 
Esclusivamente per l'appello del 27 gennaio, per cortesia di prega anche di prenotarsi tramite queste liste di prenotazione (l'esame &egrave; suddiviso in due parti) per calcolare il numero di fotocopie esatto, ed evitare sprechi di carta:

[[http://twiki.di.uniroma1.it/twiki/view/Prenotazioni/2010_01_27_AlgebraALIIEsonero][Prenotazione per chi deve fare solo il secondo esonero, avendo superato il primo]];

[[http://twiki.di.uniroma1.it/twiki/view/Prenotazioni/2012_01_27_AlgebraALEsameCompleto][Prenotazione per chi deve fare l'esame completo,  prima e seconda parte]].

-- Users.ClaudiaMalvenuto - 28 Sep 2011
Attachments
Topic attachments
I	Attachment	History	Action	Size	Date	Who	Comment
pdf	Scheda1.pdf	r1	manage	165.0 K	2011-10-03 - 21:05	ClaudiaMalvenuto	Scheda 1 (relazioni)
pdf	Scheda2.pdf	r1	manage	140.0 K	2011-10-05 - 11:27	ClaudiaMalvenuto	Scheda 2 (funzioni)
pdf	Scheda3.pdf	r1	manage	142.3 K	2011-10-12 - 17:39	ClaudiaMalvenuto	Scheda 3 (induzione)
pdf	Scheda4.pdf	r2 r1	manage	95.3 K	2011-10-17 - 09:29	ClaudiaMalvenuto	Scheda 4 (conteggio e binomiale)
pdf	Scheda5.pdf	r1	manage	135.2 K	2011-10-19 - 06:15	ClaudiaMalvenuto	Scheda 5 (divisibilità e congruenze)
pdf	Scheda6.pdf	r1	manage	122.7 K	2011-11-08 - 18:28	ClaudiaMalvenuto	Scheda 6 (gruppi)
pdf	Scheda7.pdf	r1	manage	95.5 K	2011-11-01 - 21:49	ClaudiaMalvenuto	Scheda 7 (sottogruppi)
pdf	Scheda8.pdf	r1	manage	116.1 K	2011-11-08 - 21:39	ClaudiaMalvenuto	Scheda 8 (sottogruppi ciclici)
pdf	Scheda9.pdf	r1	manage	108.3 K	2011-11-11 - 00:22	ClaudiaMalvenuto	Scheda 9 (permutazioni)
pdf	infalg1.3.pdf	r1	manage	165.6 K	2011-10-05 - 10:23	ClaudiaMalvenuto	Appunti di Campanella, Relazioni su un insieme
pdf	scheda10.pdf	r2 r1	manage	162.3 K	2011-11-23 - 08:37	ClaudiaMalvenuto	Scheda 10 (omomorfismi)
pdf	scheda11.pdf	r1	manage	131.9 K	2011-11-28 - 21:05	ClaudiaMalvenuto	Scheda 11 (omomorfismi, sottogruppi normali)
pdf	scheda12.pdf	r1	manage	109.3 K	2011-12-15 - 11:52	ClaudiaMalvenuto	Scheda 12 (basi, indipendenza lineare)