Teorema di fattorizzazione per i gruppi e AC

Messaggioda marco2132k » 13/08/2019, 18:14

\(\newcommand{\normal}{ \mathrel{ \underset{{=}}{\lhd} } }\)\( \newcommand{\Ker}{\operatorname{Ker}} \)Ciao. Ho una domanda sul teorema di fattorizzazione per i gruppi (mi è venuta da un esercizio di algebra lineare, ma credo che riportare i dettagli sia pressoché inutile, quindi non do contesto).

Serve l'assioma della scelta, nel teorema di fattorizzazione per i gruppi?

Espandendo un attimo: dimostrare che esiste un'unica \( \psi \) tale che, dati due gruppi \( G \), \( H \), un sottogruppo normale \( N\normal G \) e un omomorfismo \( \varphi\colon G\to H\) il cui nucleo \( \Ker\varphi \) contiene \( N \), il seguente diagramma

\xymatrix{G \ar[r]^{\pi} \ar[dr]_{\varphi} & G/N \ar@{-->}[d]^{\psi} \\ & H}

commuti (\( \pi \) è ovviamente la proiezione canonica), almeno da quanto mi sembra, è pressoché banale: basta, individuata una funzione di scelta \( c \) dalla partizione delle fibre di \( \pi \) su \( G \), comporre
\[
\psi=\varphi\circ c\circ{\left(\pi^{{*}}{\restriction_{G/N}}\right)}
\] La conclusione deriva dal fatto che è assunto \( N\subset\Ker\varphi \), ché se \( xN=yN \) allora \( xy^-1 \) sta in \( \Ker\varphi \).

Quindi, la mia domanda è, riformulando ancora: "In alcune dimostrazioni di questo risultato si costruisce \( \psi \) usando la definizione di funzione in teoria degli insiemi ("Una funzione è una relazione che ecc."). Questa bruttura evita AC?". Secondo me la risposta è negativa, avendone lette un paio, che tuttavia non menzionano l'uso dell'assioma della scelta, in questa mezz'ora.

Un risultato simile vale ovviamente per gli insiemi, e lì son sicuro di aver visto da qualche parte un richiamo ad \( \mathsf{AC} \), ma era un po' di tempo fa.
Ultima modifica di marco2132k il 14/08/2019, 02:04, modificato 1 volta in totale.
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 353 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda marco2132k » 13/08/2019, 18:17

Ho sbagliato sezione :c
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 354 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda caulacau » 13/08/2019, 19:02

L'assioma della scelta è necessario per scegliere un trasversale \(T_R\) della partizione determinata dalla relazione di equivalenza di un quoziente. Quindi l'assioma della scelta è necessario per presentare un quoziente \(X/R\) (\(R \subseteq X\times X\) una relazione di equivalenza su un insieme \(X\)) come
\[
X/R = \{[x]\mid x\in T_R(X)\}
\] se $T_R(X)$ è il trasversale suddetto.
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 189 di 466
Iscritto il: 08/05/2019, 18:30

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda marco2132k » 13/08/2019, 20:43

Ok. Ti ringrazio.

Ma, allora, qual è il motivo per costruire \( \psi \) lavorando direttamente con le coppie (se appunto prendere un trasversale o prendere una funzione di scelta è la stessa cosa)? Cioè perché tante persone dimostrano così questo risultato?
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 355 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda Indrjo Dedej » 14/08/2019, 16:31

Non è una "bruttura" come tu la chiami, è solo che ignori una di queste forme equivalenti all'assioma della scelta: click!. Quale?
Indrjo Dedej
Senior Member
Senior Member
 
Messaggio: 749 di 1649
Iscritto il: 31/05/2016, 19:58

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda marco2132k » 14/08/2019, 17:07

Credo che tu intenda il "ogni funzione suriettiva ha un'inversa destra". In questo caso la dimostrazione è ancora meno oscura, rispetto al lavoro sulle coppie \( (x,y)\in\psi \): se \( \psi \) fa commutare

\xymatrix{G/N\ar[r]^{\nu}\ar@{-->}[d]_{\psi}&G\ar[dl]^{\varphi}\\H}

dove \( \nu \) è un inversa destra di \( \pi \), tenendo presente che \( \varphi \) assume un'unica immagine sulle fibre della proiezione canonica, sarà \( \psi\circ\pi=\varphi\circ(\nu\circ\pi)=\varphi \). \( \square \)
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 356 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda Indrjo Dedej » 14/08/2019, 18:22

No, il prodotto cartesiano di una famiglia di insiemi non vuoti è non vuoto. Adesso rifletti.
Indrjo Dedej
Senior Member
Senior Member
 
Messaggio: 751 di 1649
Iscritto il: 31/05/2016, 19:58

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda caulacau » 14/08/2019, 20:31

marco2132k ha scritto:Credo che tu intenda il "ogni funzione suriettiva ha un'inversa destra". In questo caso la dimostrazione è ancora meno oscura, rispetto al lavoro sulle coppie \( (x,y)\in\psi \): se \( \psi \) fa commutare

\xymatrix{G/N\ar[r]^{\nu}\ar@{-->}[d]_{\psi}&G\ar[dl]^{\varphi}\\H}

dove \( \nu \) è un inversa destra di \( \pi \), tenendo presente che \( \varphi \) assume un'unica immagine sulle fibre della proiezione canonica, sarà \( \psi\circ\pi=\varphi\circ(\nu\circ\pi)=\varphi \). \( \square \)

Non c'è alcuna ragione per cui \(\nu\) esista, pensa al motivo.
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 190 di 466
Iscritto il: 08/05/2019, 18:30

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda marco2132k » 15/08/2019, 20:07

@Indrjo Dedej Appena ho un attimo di tempo rivedo meglio la costruzione con le coppie.

@caulacau Se la proiezione canonica è suriettiva (e lo è), perché non dovrebbe avere un inversa destra? Sì, beh, non assumendo choice potrebbe non averla, ma mi sembra che entrambi abbiate risposto affermativamente alla mia domanda ("Serve scelta per fattorizzare attraverso la proiezione al quoziente?").
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 357 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Teorema di fattorizzazione per i gruppi e AC

Messaggioda Indrjo Dedej » 15/08/2019, 20:16

marco2132k ha scritto:mi sembra che entrambi abbiate risposto affermativamente alla mia domanda ("Serve scelta per fattorizzare attraverso la proiezione al quoziente?").
Sì, e per di più io ti sto dicendo che anche nella dimostrazione con le coppie si fa uso di AC, o meglio della forma equivalente che ti ho citato.

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Attenzione: quello che scoprirai è un segreto per pochi... :smile: Scherzo, ovviamente. Voglio dire che per questo teorema si fa di tutto per nascondere certe cose, non per cattiveria, ma perché certi temi non sono facilmente affrontabili al momento dell'incontro con questo teorema.
Indrjo Dedej
Senior Member
Senior Member
 
Messaggio: 752 di 1649
Iscritto il: 31/05/2016, 19:58

Prossimo

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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite