Salta al contenuto principale della pagina

ISTITUZIONI DI ALGEBRA SUPERIORE

CODICE 90694
ANNO ACCADEMICO 2017/2018
CFU 7 cfu al 1° anno di 9011 MATEMATICA (LM-40) GENOVA

7 cfu al 3° anno di 8760 MATEMATICA (L-35) GENOVA

SETTORE SCIENTIFICO DISCIPLINARE MAT/02
LINGUA Italiano (Inglese a richiesta)
SEDE GENOVA (MATEMATICA)
PERIODO 2° Semestre
MATERIALE DIDATTICO AULAWEB

PRESENTAZIONE

Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Obiettivo del corso è fornire agli studenti un'introduzione agli aspetti computazionali dell'algebra e alla teoria di Galois delle estensioni di campi. Il filo conduttore del corso è lo studio della risolubilità di (sistemi di) equazioni polinomiali su un campo.

MODALITA' DIDATTICHE

Lezioni tradizionali ed esercitazioni al calcolatore con utilizzo dei programmi di calcolo simbolico

PROGRAMMA/CONTENUTO

I - Anelli e ideali e moduli. Anelli Noetheriani e il teorema della base di Hilbert. Polinomi in piu'  variabili: l'anello $K[x_1,...,x_n]$ dei polinomi in piu' variabili a coefficienti in un campo. Ideali monomiali. Basi di Gr\"obner  e  algoritmo di Buchberger. Problema dell'appartenenza di un polinomio ad un ideale. Sistemi di equazioni polinomiali e teoria dell'eliminazione.    

II - Complementi sulle estensioni di campi. Campi di spezzamento di polinomi a coefficienti in un campo di caratteristica 0, estensioni normali e loro prime proprietà. Teorema Fondamentale della teoria di Galois. Il gruppo di Galois di un polinomio. Applicazioni: campi ciclotomici, risolubilità per radicali di equazioni algebriche.

TESTI/BIBLIOGRAFIA

 

Computational Commutative Algebra 1
Authors: Kreuzer, Martin, Robbiano, Lorenzo
Springer 2000.

Algebra
S. Bosch 
Springer 2003

DOCENTI E COMMISSIONI

Commissione d'esame

ANNA MARIA BIGATTI (Presidente)

ALDO CONCA (Presidente)

STEFANO VIGNI (Presidente)

LEZIONI

MODALITA' DIDATTICHE

Lezioni tradizionali ed esercitazioni al calcolatore con utilizzo dei programmi di calcolo simbolico

INIZIO LEZIONI

In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.

ESAMI

MODALITA' D'ESAME

Orale

MODALITA' DI ACCERTAMENTO

L'esame consiste in una prova orale con discussione degli aspetti teorici discussi presentati durante le lezioni di teoria ed di una prova di laboratorio che può essere svolta contestualmente alla prova orale oppure in separata sede.

Calendario appelli

Data Ora Luogo Tipologia Note
22/01/2018 09:00 GENOVA Orale
01/02/2018 09:00 GENOVA Orale
04/06/2018 09:00 GENOVA Orale
02/07/2018 09:00 GENOVA Orale
03/09/2018 09:00 GENOVA Orale

ALTRE INFORMAZIONI

Pagina Web dell’insegnamento: http://www.dima.unige.it/~conca/

Prerequisiti: I contenuti di Algebra 1 e 2, ALGA, Geometria.

Modalità di frequenza: Consigliata.
La frequenza e' altamente consigliata in quanto le lezioni e le esercitazioni di laboratorio risultano fondamentali per comprendere gli argomenti trattati che sono un misto di teoria e pratica algebrica spesso motivate da considerazioni euristiche che non si trovano esposte nei testi.

Modalità di iscrizione agli esami