Teoria degli insiemi ingenua e strutture algebriche

1. Insiemi 2. Relazioni d'ordine

1. Il paradosso di Russel 1. R è riflessiva
2. Tipi di insiemi 2. R è antisimmetrica
1. Insieme delle parti 3. R è transitiva
2. Insieme complementare 3. Teorema di fattorizzazione di una funzione
3. Operazioni 1. Oss. (f suriettiva)
1. Proprietà delle operazioni 2. Esempi
2. 🟢Proprietà di intersezione e unione
4. Insiemi finiti 4. Operazioni
1. Disposizioni con ripetizione 1. Proprietà
2. Disposizioni di m oggetti a n a n 1. 1. Commutativa
3. Permutazioni 2. 2. Associativa
4. Combinazioni di n oggetti a k a k 3. 3. Elemento neutro
5. Funzione caratteristica di un sottoinsieme 4. 4. Elemento inverso
1. 🟢 Teorema biezione tra P(X) e {f: X → 2} 2. Esempi

2. Funzioni 5. Gruppi
1. Composizione 1. Sottogruppi
1. Proprietà 1. 🟢 Criterio
1. 🟢 Associatività 2. 🟢 Teorema su (Z, +)
2. Identità 1. Oss.
3. Non Commutatività 3. Esempio
2. Proprietà 4. Sottogruppi normali
1. Iniettive 1. Quozienti di un gruppo rispetto ad un
1. 🟢 Proprietà composta sottogruppo
2. Suriettive 2. Laterali
1. 🟢 Proprietà composta 1. 🟢 Lemma 1: nomi diversi
3. Biettive 2. 🟢 Lemma 2: partizione di G
4. Invertibilità 3. 🟢 Lemma 3: |{xH}|=|{Ht}|
1. Inversa a sinistra 4. 🟢 Lemma 4: biezione tra Ht tH e H
2. Inversa a destra 5. 🟢 Teorema di Lagrange
3. 🟢 Inversa 1. Corollario cardinalità numero primo
5. Cancellabilità 3. 🟢 Criterio
1. Cancellabilità a sinistra 1. Esempi
2. 🟢 Teorema sulle iniettive 4. 🟢 Teorema su G/H gruppo
3. Cancellabilità a destra 5. 🟢 Teorema biezione tra {R, equiv. comp.} e
4. 🟢 Teorema sulle suriettive {N, sottg. norm.}
3. Immagine 2. Relazione compatibile
1. Esempio
3. Relazioni 2. 🟢 Proposizione classe del neutro
1. Relazioni di equivalenza 3. 🟢 Teorema su G/R gruppo
1. R è riflessiva 4. 🟢 Proposizione R sottog. di GxG
2. R è simmetrica 5. 🟢 Proposizione su ro m e Z
3. R è transitiva 3. Omomorfismi
4. Classe di equivalenza 1. O. di semigruppi
1. 🟢 Oss. su classi uguali 2. O. di monoidi
5. Insieme quoziente 3. O. di gruppi
1. Partizione 1. Esempio
2. 🟢 Teorema biezione tra {R equiv.} e {A, 2. 🟢 Criterio
partizione} 4. O. di algebre
 1. Oss. 5. Omomorfismo di anelli
5. 🟢 Proposizione biezione tra {f, omom.} e Z 1. 🟢 Omomorfismi su Z biezione
6. 🟢 Primo teorema di omomorfismo 6. R. di equivalenza compatibili su anelli
1. Esempio 1. 🟢 Lemma R sottoanello
2. Corollario G/Kerf e f(G) 2. 🟢 Equivalenze compatibili su (Z, +)
7. 🟢 Secondo teorema di omomorfismo di gruppi 7. 🟢 Quoziente di anelli
1. Corollario sottogruppi di G/N 1. 🟢 Corollario (sottoanelli del quoziente)
8. Isomorfismo 8. 🟢 I teorema di omomorfismo
4. Gruppi ciclici 9. 🟢 II teorema di omomorfismo
1. Ordine di un elemento 10. Ideali
1. Esempi 1. Osservazione
2. 🟢 Proprietà 1. Esempi
2. Sottogruppo generato 2. 🟢 Teorema biezione tra {R equiv. comp} e {I,
1. 🟢 Lemma su ordine del sottg. gen. ideale}
3. 🟢 Teorema su ciclici finiti e infiniti 3. 🟢 Corollario ideali di A/I
4. Proprietà ciclico allora abeliano 4. Ideale generato
5. 🟢 Teorema su cardinalità numero primo 5. Ideale massimale
1. Esempi 1. 🟢 Lemma sui campi e ideali
5. Gruppi di permutazioni 2. 🟢 Teorema!! A/I campo
1. 🟢 Teorema gruppo diedrale 6. Ideale primo
2. 🟢 Teorema n = 4, 5, 6 1. 🟢 Teorema A/I dominio sss primo
3. 🟢 Teorema n = 6 2. Lemma I massimale allora I primo
1. Gruppi e cardinalità n = 7 - 15 3. Esempio
6. (permutazioni)
1. Definizione 7. Reticoli
2. Orbita 1. Definizione
1. Osservazione 1. Esempi
3. Ciclo 2. Esempi
4. Cicli disgiunti 2. Sup e Inf
1. Composizione 3. Proprietà
2. Proposizione 1. 🟢 Teorema! un reticolo è un algebra
3. Esempio 4. Algebra di Boole
5. Trasposizione 1. Esercizio
1. Proposizione 5. Anello booleano
6. Segno 1. 🟢 Esercizi
1. Esempi 6. Teorema biezione tra {AdB} e {Ab}
2. Teorema 7. Leggi di De Morgan
7. 🟢 Teorema di Cayley 8. Reticolo modulare
8. Gruppo delle unità dei quaternioni 1. 🟢 Proprietà
1. Ordine degli elementi 2. 🟢 Teorema su reticolo di ideali
9. Corollario 9. 🟢 Omomorfismo di reticoli
1. Esercizio
6. Anelli 10. Sottoreticolo
1. Proprietà 1. Teorema su N5 e M3
2. Campi 1. Esercizio
1. Dominio di integrità 11. Teorema
1. 🟢 Teorema sul campo dei quozienti
2. 🟢 Proposizione campo allora dominio
2. 🟢 Teorema sui domini finiti
1. Lemma legge di cancellazione
2. 🟢 Lemma su Zn, n primo
3. Il prodotto di anelli è un anello
4. Sottoanelli
1. 🟢 Sottoanelli di Z