{"id":1813,"date":"2022-03-02T10:46:23","date_gmt":"2022-03-02T09:46:23","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=1813"},"modified":"2022-05-27T15:36:00","modified_gmt":"2022-05-27T14:36:00","slug":"corso-di-algebra-universale-2021-22","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1813-corso-di-algebra-universale-2021-22\/","title":{"rendered":"Corso di Algebra Universale (2021\/22)"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">News<\/h2>\n\n\n\n<p>(9\/5\/22) <strong>Pubblicate le date degli appelli estivi e invernale.<\/strong><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Descrizione del corso<\/h2>\n\n\n\n<p>Nei corsi di algebra dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc.&nbsp; Molte tecniche utilizzate per il loto studio si rassomiglano e <strong>ci sono teoremi che si ripetono<\/strong> (es. teoremi di isomorfismo) cambiando di poco il linguaggio.&nbsp;<\/p>\n\n\n\n<p>Gruppi, anelli, etc. vengono studiati approfonditamente per la loro importanza storica e perch\u00e9 sono onnipresenti in matematica. Ma ci sono molte altre strutture che sono interessanti per via delle loro applicazioni: reticoli, monoidi, semianelli, etc. A dire il vero <strong>ci sono centinaia di strutture algebriche<\/strong> attualmente studiate per via delle loro applicazioni in informatica, fisica, economia, etc.<\/p>\n\n\n\n<p>Ci si pu\u00f2 ragionevolmente domandare se ogni volta che si scopre qualche struttura di interesse bisogna ricominciare tutto da capo o se \u00e8 possibile esportare tecniche e costruzioni da altre strutture simili. O, in maniera molto pi\u00f9 ambiziosa, ci si pu\u00f2 chiedere se <strong>esistano teoremi che riguardino TUTTE le strutture<\/strong>, che in qualche modo ne permettano la <strong>classificazione<\/strong>, suggeriscano le <strong>propriet\u00e0 essenziali<\/strong> da studiare o possano dare immediatamente&nbsp; informazioni cruciali su strutture algebriche che  mai incontrate prima.&nbsp;<\/p>\n\n\n\n<p>La risposta a questa domanda <strong>\u00e8 estremamente positiva<\/strong>. Da questa domanda si \u00e8 sviluppata la branca della matematica che va sotto il nome di algebra universale. \u00c8 una branca relativamente nuova, con un numero sorprendente di risultati. Il suo studio porta a una visione ampia,&nbsp; matura e profonda dell\u2019algebra. Si riescono a mettere a fuoco chiaramente quali sono gli aspetti che le strutture hanno in comune, quali sono i punti chiave che fanno funzionare le teorie, quali sono le direzioni in cui cercare per ottenere nuovi teoremi.<\/p>\n\n\n\n<p>Per dare un esempio dei risultati potenti e inaspettati che \u00e8 possibile incontrare, si pensi che esistono classificazioni che permettono di stabilire se una data classe di strutture \u00e8 chiusa rispetto a operazioni standard come immagini omomorfe, sottoalgebre o prodotti esclusivamente in base alla forma sintattica degli assiomi che la definiscono.&nbsp; Ad esempio il <strong>teorema di Birkhoff<\/strong> afferma che una classe di strutture \u00e8 chiusa rispetto a immagini omomorfe, sottoalgebre o prodotti se e soltanto se essa pu\u00f2 essere definita tramite equazioni.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Prerequisiti<\/h3>\n\n\n\n<p>\u00c8 richiesta familiarit\u00e0 con gli argomenti di base di algebra e di logica.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Frequenza<\/h3>\n\n\n\n<p>La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;<strong>fortemente consigliata<\/strong>.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Contenuti<\/h3>\n\n\n\n<p>Il corso coprir\u00e0 i seguenti argomenti:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Sottoalgebre, Omomorfismi e Congruenze.<\/li><li>Richiami di Teoria dei Reticoli <\/li><li>Prodotti Diretti e Prodotti Sottodiretti.<\/li><li>Limiti Diretti e Limiti Inversi di Sistemi di Algebre.<\/li><li>Classi Equazionali <\/li><li>Polinomi e Algebre Polinomiali. <\/li><li>Algebre Libere.<\/li><li>Teorema HSP <\/li><li>Mal\u2019cev Type Theorems<\/li><li>Problema della parola<\/li><\/ul>\n\n\n\n<p>Pi\u00f9 dettagliatamente,&nbsp;qui sotto saranno elencati i&nbsp;contenuti delle singole lezioni:<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>02\/03\/2022<\/strong>\u00a0\u2013 Introduzione al corso. Definizione ed esempi di algebre.<\/li><li><strong>04\/03\/2022<\/strong> &#8211; Omomorfismi, sottalgebre e prodotti diretti.  Gli operatori H, S e P.<\/li><li><strong>09\/03\/2022<\/strong> &#8211; Sottalgebre generate, operatori di chiusura, congruenze.<\/li><li><strong>11\/03\/2022<\/strong> &#8211; Il teorema fondamentale degli omomorfismi.<\/li><li><strong>16\/03\/2022<\/strong> &#8211; Reticoli, prime definizioni ed esempi. Immagini dirette e immagini inverse.<\/li><li><strong>18\/03\/2022<\/strong> &#8211; Il secondo teorema di isomorfismo.<\/li><li><strong>23\/03\/2022<\/strong> &#8211; Il terzo teorema di isomorfismo.<\/li><li><strong>25\/03\/2022<\/strong> &#8211; Prodotti diretti e sottodiretti.<\/li><li><strong><s>30\/03\/2022<\/s><\/strong> &#8211; <strong>Non ci sar\u00e0 lezione<\/strong>.<\/li><li><strong><s>1\/04\/2022<\/s><\/strong> &#8211; <strong>Non ci sar\u00e0 lezione<\/strong>.<\/li><li><strong>6\/04\/2022<\/strong> &#8211; Algebre sottodirettamente irriducibili. Teorema di rappresentazione sottodiretta. V=HSP.<\/li><li><strong>8\/04\/2022<\/strong> &#8211; Reticoli algebrici e operatori di chiusura algebrici.<\/li><li><strong>13\/04\/2022<\/strong> &#8211; Caratterizzazione di Sub(A) come reticolo algebrico. Connessioni di Galois. <\/li><li><strong>15\/04\/2022<\/strong> &#8211; Connessioni di Galois. Algebre di Boole sottodirettamente irriducibili.<\/li><li><strong>20\/04\/2022<\/strong> &#8211; Termini.<\/li><li><strong>22\/04\/2022<\/strong> &#8211; Algebre libere: costruzione e propriet\u00e0<\/li><li><strong>27\/04\/2022<\/strong> &#8211; Equazioni.<\/li><li><strong>29\/04\/2022<\/strong> &#8211; Teorema di Birkhoff.<\/li><li><strong>04\/05\/2022<\/strong> &#8211; Variet\u00e0 a congruenze distributive e a congruenze permutabili. Condizioni di Malcev. <\/li><li><strong>06\/05\/2022<\/strong> &#8211; Algebre finitamente presentate e problema della parola.<\/li><li><strong>11\/05\/2022<\/strong> &#8211; Propriet\u00e0 dell&#8217;immersione finita (FEP) e sue varianti.<\/li><li><strong>13\/05\/2022<\/strong> &#8211; Propriet\u00e0 del modello finito, propriet\u00e0 forte del modello finito e FEP.<\/li><li><strong>18\/05\/2022<\/strong> &#8211; Algebre liberamente generate da algebre parziali.<\/li><li><strong>20\/05\/2022<\/strong> &#8211; Finitezza residuale. <\/li><li><strong>25\/05\/2022<\/strong> &#8211; Il problema della parola e sue relazioni con SFMP, FEP e finitezza residuale.<\/li><li><strong>27\/05\/2022<\/strong> &#8211; Seminari.<\/li><\/ol>\n\n\n\n<h2 class=\"wp-block-heading\">Materiale del corso<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Testi consigliati:<\/strong><ul><li>Clifford Bergman. Universal Algebra: fundamental and selected topics. CRC press. 2011<\/li><li>S. Burris, H. P. Sankappanavar. A course on universal algebra. <a href=\"http:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/UALG\/univ-algebra2012.pdf\">Disponibile gratuitamente online<\/a>.<\/li><li>Dispense del docente rese disponibili settimanalmente. <\/li><\/ul><\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Aspetti pratici<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Docente:&nbsp;<a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a><\/li><li>Semestre: secondo.<\/li><li><a href=\"https:\/\/teams.microsoft.com\/l\/channel\/19:X0U2schD77k-poWU4IEyeYjdSwBdLJjCfvgoXFsq3k81@thread.tacv2\/General?groupId=94e7478c-dbcb-4be2-9d7c-429380ea2a2e\">Link Teams<\/a><\/li><li>Durata: 48 ore (12 settimane).<\/li><li>CFU: 6<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Date\/aule:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Le lezioni cominceranno mercoled\u00ec 3 marzo su Microsoft Teams.<\/li><li>Ci sono due lezioni a settimana:<ul><li>mercoled\u00ec dalle 9:30 alle 11:00,<strong>in presenza, laboratorio 11, Dipartimento di Matematica.<\/strong><\/li><li>venerd\u00ec dalle 14:00 alle 15:30, <strong>online su Teams.<\/strong><\/li><\/ul><\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Esercizi\/Esami<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Esame:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>L\u2019esame per questo corso \u00e8 solo orale.&nbsp;<strong>Per sostenere l\u2019esame contattare il docente.<\/strong><\/li><\/ul>\n\n\n\n<p>L\u2019esame orale verte su tutti gli argomenti trattati durante il corso. &nbsp;Lo studente deve dimostrare&nbsp;<em>in primis&nbsp;<\/em>di&nbsp;<strong>conoscere<\/strong>&nbsp;i concetti (definizioni) trattati durante il corso e di averli compresi, mostrando di sapere costruire&nbsp;<strong>esempi<\/strong>&nbsp;in maniera indipendente. &nbsp;In seguito le domande saranno volte a capire se lo studente sa&nbsp;<strong>usare<\/strong>&nbsp;quei concetti e definizioni e ne conosce le&nbsp;<strong>propriet\u00e0 fondamentali<\/strong>&nbsp;viste durante il corso (teoremi). &nbsp;Solo&nbsp;in caso&nbsp;entrambe le precedenti parti vengano superate con successo si&nbsp;discuter\u00e0 del&nbsp;<strong>perch\u00e9<\/strong>&nbsp;valgano tali propriet\u00e0&nbsp;(dimostrazioni).<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Appelli d\u2019esame:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Appelli estivi: <ol><li>8 giugno ore 15:00 aula P11.<\/li><li>30 giugno ore 15:00 aula P11.<\/li><\/ol><\/li><li>Appello autunnale: <ol><li>1 settembre ore 15:00 aula P11.<\/li><\/ol><\/li><\/ul>\n\n\n\n<p><strong>Commenti, lamentele, domande<\/strong>: scrivere a&nbsp;<a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>News (9\/5\/22) Pubblicate le date degli appelli estivi e invernale. Descrizione del corso Nei corsi di algebra dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc.&nbsp; Molte tecniche utilizzate per il loto studio si rassomiglano e ci sono teoremi che si ripetono (es. teoremi di isomorfismo) cambiando di poco [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[40,64,217,218,219,197],"class_list":["post-1813","post","type-post","status-publish","format-standard","hentry","category-teaching","tag-course","tag-free-algebra","tag-master","tag-mathematics","tag-unisa","tag-universal-algebra"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1813","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=1813"}],"version-history":[{"count":8,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1813\/revisions"}],"predecessor-version":[{"id":1849,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1813\/revisions\/1849"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1813"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1813"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1813"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}