Passa al tema normale
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Re: Azione semplicemente transitiva del gruppo simmetrico

16/09/2018, 18:22

Ti chiedo questo perché, come potrai immaginare, praticamente ignoro la teoria degli insiemi, anche se penso che con qualche trick si possa continuare a definire i gruppi sulle classi proprie.

killing_buddha ha scritto:Che cosa ti preoccupa? Che \(Aut(X)\) sia un insieme (e poi un gruppo, dato come è definito) fa parte degli assiomi di categoria.

killing_buddha ha scritto:Puoi avere una "categoria" dove ci sono \(hom(A,B)\) che sono classi proprie.

L'esempio che cercavo era proprio quest'ultimo: (per me stesso) ha senso parlare di gruppo quando \(\operatorname{hom}(A,B)\) è un insieme. Altrimenti, in una categoria non necessariamente localmente piccola, mi verrebbe intuitivamente da considerare \(\operatorname{Aut}(X)\) come un gruppoide, che ha già risolto nella definizione i problemi fondazionali; allora l'omomorfismo che mi dà l'azione è semplicemente un funtore \(G\to\operatorname{Aut}(X)\).

Re: Azione semplicemente transitiva del gruppo simmetrico

16/09/2018, 18:28

Non fare confusione tra categoria (che per definizione è localmente piccola), "categoria" (che necessita di una qualche astuzia fondazionale per essere definibile) e gruppoide.

Re: Azione semplicemente transitiva del gruppo simmetrico

16/09/2018, 19:19

Hai effettivamente ragione: ho notato ora che la definizione di categoria è generalmente data in due modi: io fino ad ora avevo incontrato solo quella "con le classi/collezioni".

Grazie mille ancora! :D
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.