Inventario [Vademecum-Compendio-Raccolta] (Algebra)

Messaggioda Martino » 21/04/2011, 12:00

Giusto per fare un po' di inventario, vorrei raccogliere qui le discussioni che ritengo più interessanti di algebra che sono state fatte su questo forum, e quelle che trattano di esercizi tipici in modo abbastanza generale. Naturalmente metto quelle che conosco e che sono riuscito a trovare, se ne avete altre da segnalarmi vi ringrazio :D intanto riguardano per la maggior parte la teoria dei gruppi.

Vorrei inoltre che questa raccolta venisse usata in particolare per indirizzare bene chi chiede aiuto per esercizi, dato che spesso tanti riguardano la stessa cosa.
-------

Generalità.

Codominio vs Immagine.

Induzione.

Relazioni di equivalenza.

Relazioni d'ordine.

Elementi massimali e minimali rispetto a una relazione.

Ordine di elementi di un gruppo ciclico.

La funzione \( \displaystyle \varphi \) di Euler.

Sulle coppie ordinate (1).
Coppia ordinata (2).

Sull'assioma della scelta (1),
Sull'assioma della scelta (2),
Sull'assioma della scelta (3).

Zero alla zero.
Applicazioni dall'insieme vuoto e zero alla zero.

Sulla definizione di funzione.

Sulla definizione di polinomio.

-------

Cose generali sui gruppi.

Come decomporre in cicli disgiunti.

Calcolo dei quozienti.

Problemi di teoria dei gruppi.

Prodotto semidiretto.

Il coniugio preserva la struttura ciclica.

--------

Contare gli omomorfismi tra gruppi.

In generale se \( \displaystyle A \) e \( \displaystyle B \) sono due gruppi finiti il numero di omomorfismi \( \displaystyle A \to B \) di immagine \( \displaystyle I \leq B \) (chiamiamo questo numero \( \displaystyle h_I \) ) è uguale al numero di sottogruppi normali \( \displaystyle C \) di \( \displaystyle A \) tali che \( \displaystyle A/C \cong I \) moltiplicato per il numero di automorfismi di \( \displaystyle I \) . Il numero di omomorfismi \( \displaystyle A \to B \) è la somma \( \displaystyle \sum_{I \leq B} h_I \) .

\( \displaystyle C_3 \times C_3 \to S_7 \) .

\( \displaystyle \mathbb{Z}/n\mathbb{Z} \to \mathbb{Z}/m\mathbb{Z} \) .

\( \displaystyle S_3 \to S_3 \)

--------

Cose deducibili dall'ordine di un gruppo.

Quando ogni gruppo di ordine \( \displaystyle n \) è ciclico.

I gruppi di ordine 2010.

Gruppi di ordine \( \displaystyle p q^2 \) , con \( \displaystyle p \neq q \) primi.

Gruppi di ordine \( \displaystyle pqr \) , con \( \displaystyle p < q < r \) primi.

Esistenza di 2-Sylow ciclici.

Sui gruppi di un dato ordine.

Gruppo di ordine \( \displaystyle 231 \) .

Sull'inversione del teorema di Lagrange.

--------

Semplicità di gruppi.

Semplicità di un gruppo dato il suo ordine.

Caratterizzazione coi massimali di \( \displaystyle S \times S \) .

\( \displaystyle S^n \) con \( \displaystyle S \) semplice.

Semplicità di \( \displaystyle A_n \) per \( \displaystyle n \geq 5 \) .

--------

Risolubilità di gruppi.

\( \displaystyle S_4 \) è risolubile e non nilpotente.

Risolubilità di un gruppo di ordine \( \displaystyle p^mq \) .

Indice di un massimale in un risolubile.

Teoria di Hall.

--------

Automorfismi di gruppi.

In generale sugli automorfismi.

Automorfismi di un gruppo di ordine \( \displaystyle p^2 \) .

Automorfismi dei gruppi ciclici.

Automorfismi esterni: \( \displaystyle \text{Out}(G) \) .

Automorfismi del gruppo simmetrico.

\( \displaystyle \text{Aut}(A_6) \)

Automorfismi del gruppo diedrale.

Automorfismi del gruppo dei quaternioni.

Estendere automorfismi.

--------

\( \displaystyle p \) -gruppi.

Un gruppo di ordine 64.

Sui gruppi di ordine \( \displaystyle p^2 \) .

Ogni massimale di un \( \displaystyle p \) -gruppo finito è normale.

Gruppi Hamiltoniani e quaternioni (generalizzati).

--------

Azioni di gruppi.

Generalità sulle azioni.

Gruppi di Frobenius.

Sui gruppi semplici di ordine \( \displaystyle p^a \cdot 15 \) .

Basi e punti mossi.

Gruppi primitivi (in inglese).

--------

Rappresentazioni di gruppi

Estensione caratteri di gruppi abeliani.

--------

Gruppi topologici.

I gruppi metrici completi sono non numerabili o discreti.

\( \displaystyle \mathbb{R}/\mathbb{Q} \) e generalità.

Gruppi topologici localmente compatti.

--------

Altro/varie sui gruppi.

Una stima del numero di classi di coniugio di un gruppo finito.

Sottogruppi di \( \displaystyle (\mathbb{Q},+) \) .

\( \displaystyle (\mathbb{R},+) \cong (\mathbb{R} \times \mathbb{R},+) \) .

Frattini e Fitting.

Gruppi con centro banale.

Ultrafiltri e gruppi.

Realizzare un gruppo come sottogruppo derivato di un altro gruppo.

Gruppi con un dato numero di sottogruppi.

Maratona problemi di teoria dei gruppi.

Dotare un insieme di una struttura di gruppo.

Strutture di gruppo nel mondo.

---------

Anelli e campi.

Il campo con quattro elementi.

Un anello in cui ogni ideale è primo è un campo.

L'intersezione degli ideali primi coincide col nilradicale.

Il prodotto dei polinomi irriducibili su \( \displaystyle \mathbb{F}_p \) di grado che divide \( \displaystyle n \) .

Un anello in cui \( \displaystyle a^3=a\ \forall a \) .

Trascendenza.

Calcolo di quozienti di anelli.

Numeri algebrici e interi algebrici.

Elementi puramente inseparabili.

Omomorfismi \( \displaystyle A[x_0,...,x_n] \to \mathbb{Q} \) .

Ciclicità del gruppo moltiplicativo di un campo finito.

Realizzare un gruppo come gruppo delle unità di un anello.

Anelli semplici.

--------

Teoria dei numeri.

Problema del numero di classi.

Primi congrui a \( \displaystyle 1 \) modulo \( \displaystyle 4 \) .

Successione di Fibonacci.

Domini di Dedekind.

Formula di inversione di Moebius.

--------

Teoria di Galois.

\( \displaystyle X^3-3X+1 \) .

\( \displaystyle X^4-2 \) .

\( \displaystyle X^7-1 \) .

Polinomi di grado 3.

Una chiusura di Galois.

Norma.

---------

Categorie.

Categorie additive e preabeliane.

Sul limite induttivo.

Pullback.

Prefasci.

---------

Geometria algebrica e algebra commutativa.

Segnalo innanzitutto la panoramica (in costruzione) a cura di Mauro Porta.

Un prodotto di campi ha dimensione di Krull 0.

Anelli artiniani.

Decomposizione primaria di ideali.

Anelli normali.

Moduli iniettivi.

Un morfismo di varietà affini.

Come preservare i punti chiusi.

Sulla compattificazione di Stone-Cech.

Se \( \displaystyle X \) è uno spazio normale allora \( \displaystyle X \cong \text{Specmax}(C(X,\mathbb{R})) \) .

Sugli schemi integri.

--------

Geometria.

Gruppo fondamentale di \( \displaystyle \mathbb{R}^3 \) meno due rette e di due circonferenze.

Gruppo fondamentale di \( \displaystyle \mathbb{R}^3 \) meno \( \displaystyle n \) rette passanti per uno stesso punto.

Orientabilità di una varietà topologica e/o differenziabile.

Esercizi di topologia algebrica.

Eckmann-Hilton e abelianità dei gruppi di omotopia.

[Analisi Complessa] Punti singolari.

--------

Cose varie di algebra.

Teorema fondamentale dell'algebra: dimostrazioni.

Dimostrazione topologica del teorema fondamentale dell'algebra.

Dimostrazione armonica del teorema fondamentale dell'algebra.

Un po' di algebra in teoria degli insiemi.
---------

Varie.

Identificare un polinomio a coefficienti interi.
Sono vegano.
http://laverabestia.org/play.php?vid=321#.TxBi64MCKSA

"Era venuto il Lager per entrambi: io lo avevo percepito come un mostruoso stravolgimento, una anomalia laida della mia storia e della storia del mondo; lui, come una triste conferma di cose notorie." [La Tregua]
Avatar utente
Martino
Moderatore
Moderatore
 
Messaggi: 5222
Iscritto il: 21/07/2007, 10:48
Località: Padova

Re: Inventario [Vademecum-Compendio-Raccolta] (Algebra)

Messaggioda hamming_burst » 30/10/2011, 17:55

Grazie! molto utile questo indice :-)

segnalo che questo post linkato nell'indice, non viene mostrato bene per via del nuovo parser delle formule (mancano alcuni $), se interessa lo ho sistemato qui in spoiler :-)
Testo nascosto, fai click qui per vederlo
\( \displaystyle {X}=\mathbb{N}{x}\mathbb{N} \)

\( \displaystyle {\left({a},{b}\right)}\rho{\left({c},{d}\right)}:{\left\lbrace\matrix{{a}+{d}\gt{b}+{c}\\{a}+{d}={b}+{c};{a}\leq{c}}\right.} \)

Anzitutto dimostriamo le tre proprietà Riflessiva, Antisimmetrica, Transitiva.

Riflessiva:

\( \displaystyle {\left({a},{b}\right)}\rho{\left({a},{b}\right)} \)

\( \displaystyle {a}+{b}={b}+{a} \) e \( \displaystyle {a}\leq{a} \)

Antisimmetrica:

\( \displaystyle {\left({a},{b}\right)}\rho{\left({c},{d}\right)} \) e \( \displaystyle {\left({c},{d}\right)}\rho{\left({a},{b}\right)} \)

\( \displaystyle {a}+{d}\gt{b}+{c} \) e \( \displaystyle {c}+{b}\gt{d}+{a} \) assurdo quindi \( \displaystyle {a}+{b}={b}+{c} \)
Quindi: \( \displaystyle {a}+{d}={b}+{c} \) con \( \displaystyle {a}\leq{c} \) e \( \displaystyle {c}+{b}={d}+{a} \) con \( \displaystyle {c}\leq{a} \).
da \( \displaystyle {a}\leq{c} \) e \( \displaystyle {c}\leq{a} \) possiamo dedurre che \( \displaystyle {a}={c} \) e quindi da \( \displaystyle {a}+{d}={b}+{c} \) con \( \displaystyle {a}={c} \), \( \displaystyle {b}={d} \).

Transitiva:

\( \displaystyle {\left({a},{b}\right)}\rho{\left({c},{d}\right)} \) e \( \displaystyle {\left({c},{d}\right)}\rho{\left({e},{f}\right)} \) quindi \( \displaystyle {\left({a}.{b}\right)}\rho{\left({e},{f}\right)} \)

\( \displaystyle {a}+{d}\gt{b}+{c} \) e \( \displaystyle {c}+{f{\gt}}{d}+{e} \) quindi facendo qualche passaggio
\( \displaystyle {a}-{b}\gt{c}-{d} \) e \( \displaystyle {c}-{d}\gt{e}-{f} \) quindi si conclude che \( \displaystyle {a}-{b}\gt{e}-{f} \) che scritto come da relazione è: \( \displaystyle {a}+{f{\gt}}{b}+{e} \)

Se invece \( \displaystyle {a}+{d}={b}+{c} \) e \( \displaystyle {a}\leq{c} \) ; \( \displaystyle {c}+{f{=}}{d}+{e} \) e \( \displaystyle {c}\leq{e} \) possiamo subito dire che \( \displaystyle {a}\leq{e} \) e poi facendo i passaggi di cui sopra concludiamo che \( \displaystyle {a}+{f{=}}{b}+{e} \)
E conclusione delle conclusioni \( \displaystyle {\left({a},{b}\right)}\rho{\left({e},{f}\right)} \).

Ora troviamo elementi Massimali e Minimali, qui m'ingrabuglio sicuro...

Massimali:
C incluso uguale X
\( \displaystyle {\left({x},{y}\right)}\in{X} \) tale che \( \displaystyle \forall{c},{d}\in{C} \) , \( \displaystyle {\left({x},{y}\right)}\ne{\left({c},{d}\right)} \) \( \displaystyle {\left({x},{y}\right)}{\left({c},{d}\right)}\notin{X} \) giusto?

Allora se \( \displaystyle {x}={0} \) e \( \displaystyle {y}={0} \) la coppia non è massimale poichè con \( \displaystyle {\left({c},{d}\right)}\gt{0} \) e \( \displaystyle {d}\gt{c} \) otteniamo \( \displaystyle {0}+{d}\gt{0}+{c} \) che \( \displaystyle \in{X} \)
Se \( \displaystyle {x}\gt{0} \) e \( \displaystyle {y}\gt{0} \) la coppia non è massimale poichè se \( \displaystyle {d}\gt{y} \) e \( \displaystyle {c}\lt{x} \) abbiamo che \( \displaystyle {x}+{d}\gt{y}+{c} \) che \( \displaystyle \in{X} \) esempio: \( \displaystyle {x}={1} \) \( \displaystyle {y}={1} \) \( \displaystyle {d}\gt{1} \) e \( \displaystyle {c}\lt{1} \) quindi \( \displaystyle {1}+{2}\gt{1}+{0} \)
Se \( \displaystyle {x}\gt{0} \) e \( \displaystyle {y}={0} \) non è massimale poichè basta \( \displaystyle {c}\lt{x} \) e \( \displaystyle {d}={0} \)
Se \( \displaystyle {x}={0} \) e \( \displaystyle {y}\gt{0} \) non è massimale poichè \( \displaystyle {d}\gt{y} \) e \( \displaystyle {c}={0} \) sarebbe \( \displaystyle \in{X} \)


Minimali:

C incluso uguale X

\( \displaystyle {\left({x},{y}\right)}\in{X} \) \( \displaystyle \forall{a},{b}\in{C} \) \( \displaystyle {\left({a},{b}\right)}\ne{\left({x},{y}\right)} \) e \( \displaystyle {\left({a},{b}\right)}{\left({x},{y}\right)}\notin{X} \)

Se \( \displaystyle {x}={0} \) e \( \displaystyle {y}={0} \) la coppia non è minimale poichè con \( \displaystyle {\left({a},{b}\right)}\gt{0} \) e \( \displaystyle {a}\gt{b} \) otteniamo \( \displaystyle {a}+{0}\gt{b}+{0} \) che \( \displaystyle \in{X} \)
Se \( \displaystyle {x}\gt{0} \) e \( \displaystyle {y}\gt{0} \) la coppia non è minimale poichè se \( \displaystyle {a}\gt{x} \) e \( \displaystyle {b}\lt{y} \) abbiamo che \( \displaystyle {a}+{y}\gt{b}+{x} \)
Se \( \displaystyle {x}\gt{0} \) e \( \displaystyle {y}={0} \) la coppia non è minimale poichè basta che \( \displaystyle {a}\gt{x} \) e \( \displaystyle {b}={0} \) lo stesso vale per \( \displaystyle {x}={0} \) e \( \displaystyle {y}\gt{0} \) basta che \( \displaystyle {b}\lt{y} \) e \( \displaystyle {a}={0} \)
"Un giorno tutti noi sciocchi saremo morti e allora i vivi andranno avanti. ... tutti gli uomini saranno fratelli e nessuno se ne starà al sole in panciolle a farsi nutrire dai suoi compagni"
[Jack London]

HOFL...che stress!!
Avatar utente
hamming_burst
Moderatore
Moderatore
 
Messaggi: 2268
Iscritto il: 04/07/2009, 10:53

Re: Inventario [Vademecum-Compendio-Raccolta] (Algebra)

Messaggioda Martino » 19/12/2011, 15:41

hamming_burst ha scritto:segnalo che questo post linkato nell'indice, non viene mostrato bene
Ho sistemato l'intervento di whiterabbit, grazie per la segnalazione!
Sono vegano.
http://laverabestia.org/play.php?vid=321#.TxBi64MCKSA

"Era venuto il Lager per entrambi: io lo avevo percepito come un mostruoso stravolgimento, una anomalia laida della mia storia e della storia del mondo; lui, come una triste conferma di cose notorie." [La Tregua]
Avatar utente
Martino
Moderatore
Moderatore
 
Messaggi: 5222
Iscritto il: 21/07/2007, 10:48
Località: Padova

Re: Inventario [Vademecum-Compendio-Raccolta] (Algebra)

Messaggioda step45 » 19/01/2012, 23:23

Martino, dove è stato preso l'esercizio del topic "Se \( \displaystyle {X} \) è uno spazio normale allora \( \displaystyle {X}≅{S}{p}{e}{c}\max{\left({C}{\left({X},{R}\right)}\right)} \) " ?
step45
Starting Member
Starting Member
 
Messaggi: 18
Iscritto il: 11/02/2011, 08:12

Re: Inventario [Vademecum-Compendio-Raccolta] (Algebra)

Messaggioda Martino » 20/01/2012, 09:14

step45 ha scritto:Martino, dove è stato preso l'esercizio del topic "Se \( \displaystyle {X} \) è uno spazio normale allora \( \displaystyle {X}≅{S}{p}{e}{c}\max{\left({C}{\left({X},{R}\right)}\right)} \) " ?
"Introduction to commutative algebra", autori M. F. Atiyah e I. G. Macdonald, Addison-Wesley publishing company, pagina 14 (esercizio 26 del capitolo 1, "Rings and Ideals").

Ho inserito la fonte anche nel filone interessato, grazie.
Sono vegano.
http://laverabestia.org/play.php?vid=321#.TxBi64MCKSA

"Era venuto il Lager per entrambi: io lo avevo percepito come un mostruoso stravolgimento, una anomalia laida della mia storia e della storia del mondo; lui, come una triste conferma di cose notorie." [La Tregua]
Avatar utente
Martino
Moderatore
Moderatore
 
Messaggi: 5222
Iscritto il: 21/07/2007, 10:48
Località: Padova

Re: Inventario [Vademecum-Compendio-Raccolta] (Algebra)

Messaggioda step45 » 20/01/2012, 14:23

Grazie !
step45
Starting Member
Starting Member
 
Messaggi: 18
Iscritto il: 11/02/2011, 08:12


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 0 ospiti