Numero modelli teoria dei gruppi

Messaggioda bub » 18/03/2019, 14:20

Dati gli assiomi della teoria dei gruppi espressi senza costanti

$forall x forall y forall z (x + (y + z) = (x + y) + z)$
$exists e (forall x (x + e = e + x = x) ^^ forall y exists z (y + z = z + y = e))$

mi chiedevo quante strutture algebriche diverse si possono conteggiare $(S, +)$ che soddisfano questi assiomi
con $S = {0,1,2,3}$ e $+$ funzione binaria $f:S^2 -> S$.

Se $S$ fosse uguale a ${0,1}$ se ne conteggerebbero $2$.
Se $S$ fosse uguale a ${0,1,2}$ se ne conteggerebbero $3$.

Con $S = {0,1,2,3}$ ne ho conteggiati $16$, ma non sono sicuro, è un po' scocciante verificarlo.
bub
Junior Member
Junior Member
 
Messaggio: 125 di 129
Iscritto il: 30/12/2006, 00:10

Re: Numero modelli teoria dei gruppi

Messaggioda vict85 » 18/03/2019, 15:59

Stai sostanzialmente chiedendo quanti gruppi ci sono di una certa dimensione o consideri differenti gruppi isomorfi in cui l'insieme sia mappato in modi differenti?
vict85
Moderatore
Moderatore
 
Messaggio: 9568 di 9715
Iscritto il: 16/01/2008, 01:13
Località: Berlin

Re: Numero modelli teoria dei gruppi

Messaggioda bub » 18/03/2019, 18:31

sto chiedendo quante struttire algebriche (S, +) con sostegno S formato da 0 1 2 3 e + operazione binaria imterna ad S sono gruppi. Potrebbero essere anche isomorfe. Sicuramente diverse saranno isomorfe. Volevo sapere solo se altri trovano lo stesso numero.
Ultima modifica di bub il 18/03/2019, 21:05, modificato 1 volta in totale.
bub
Junior Member
Junior Member
 
Messaggio: 126 di 129
Iscritto il: 30/12/2006, 00:10

Re: Numero modelli teoria dei gruppi

Messaggioda Martino » 18/03/2019, 18:54

Mi viene 16
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 7354 di 7376
Iscritto il: 21/07/2007, 11:48
Località: Brasilia

Re: Numero modelli teoria dei gruppi

Messaggioda vict85 » 18/03/2019, 18:57

Hai 4 possibili modi per selezionare \(e\). Ci sono quindi \(3\) elementi rimanenti. I gruppi di ordine \(4\) sono 2: \(C_4\) oppure \(C_2\times C_2\). Per \(C_4\) hai \(3\) modi per selezionare l'elemento di ordine \(2\). I restanti prodotti, se non mi sbaglio, sono a questo punto fissati. Quindi hai \(4\times 3 = 12\) gruppi isomorfi a \(C_4\). I restanti 4 sono isomorfi a \(C_2\times C_2\), i prodotti sono fissati dal fatto che il gruppo è isomorfo a \(C_2\times C_2\).
vict85
Moderatore
Moderatore
 
Messaggio: 9570 di 9715
Iscritto il: 16/01/2008, 01:13
Località: Berlin

Re: Numero modelli teoria dei gruppi

Messaggioda fmnq » 18/03/2019, 19:22

Perché vuoi distinguere gruppi isomorfi?
fmnq
Junior Member
Junior Member
 
Messaggio: 310 di 382
Iscritto il: 04/10/2017, 00:14

Re: Numero modelli teoria dei gruppi

Messaggioda bub » 18/03/2019, 20:20

fmnq ha scritto:Perché vuoi distinguere gruppi isomorfi?


Perché in un articolo trovato in rete che parlava di categorie c'era questo commento

<<ad esempio alla domanda "quante sono le strutture di gruppo su un insieme di quattro elementi?" un matematico risponde "due" (e non 48 = 2 * 4!)>>

volevo conteggiare tutte le strutture di gruppo per vedere se veniva fuori $48$, e non mi trovo che viene fuori $48$ ma $16$.
Se si raggruppano tutte le strutture in classi tramite la relazione di equivalenza di isomorfismo, mi trovo che vengono fuori solo $2$ classi. Ma date le $2$ classi non si può passare facilmente a calcolare quante strutture c'erano con una formula del genere, solo in casi particolari si trova.
Ultima modifica di bub il 18/03/2019, 23:30, modificato 1 volta in totale.
bub
Junior Member
Junior Member
 
Messaggio: 127 di 129
Iscritto il: 30/12/2006, 00:10

Re: Numero modelli teoria dei gruppi

Messaggioda bub » 18/03/2019, 21:00

vict85 ha scritto:Hai 4 possibili modi per selezionare \(e\). Ci sono quindi \(3\) elementi rimanenti. I gruppi di ordine \(4\) sono 2: \(C_4\) oppure \(C_2\times C_2\). Per \(C_4\) hai \(3\) modi per selezionare l'elemento di ordine \(2\). I restanti prodotti, se non mi sbaglio, sono a questo punto fissati. Quindi hai \(4\times 3 = 12\) gruppi isomorfi a \(C_4\). I restanti 4 sono isomorfi a \(C_2\times C_2\), i prodotti sono fissati dal fatto che il gruppo è isomorfo a \(C_2\times C_2\).


Mi trovo con te. $16$ si divide in $12$ strutture isomorfe e altre $4$ isomorfe. Avevo il dubbio di aver fatto qualche errore.
Ultima modifica di bub il 18/03/2019, 21:06, modificato 2 volte in totale.
bub
Junior Member
Junior Member
 
Messaggio: 128 di 129
Iscritto il: 30/12/2006, 00:10

Re: Numero modelli teoria dei gruppi

Messaggioda fmnq » 18/03/2019, 21:02

bub ha scritto:
fmnq ha scritto:Perché vuoi distinguere gruppi isomorfi?
<<ad esempio alla domanda "quante sono le strutture di gruppo su un insieme di quattro elementi?" un matematico risponde "due" (e non 48 = 2 * 4!)>>

Apprezzo tu abbia usato il blu.
fmnq
Junior Member
Junior Member
 
Messaggio: 311 di 382
Iscritto il: 04/10/2017, 00:14

Re: Numero modelli teoria dei gruppi

Messaggioda bub » 18/03/2019, 23:22

fmnq ha scritto:
bub ha scritto:
fmnq ha scritto:Perché vuoi distinguere gruppi isomorfi?
<<ad esempio alla domanda "quante sono le strutture di gruppo su un insieme di quattro elementi?" un matematico risponde "due" (e non 48 = 2 * 4!)>>

Apprezzo tu abbia usato il blu.


Comunque data una struttura algebrica qualsiasi $(S, +, *, ', <,...)$ (con un numero di operazioni e relazioni qualsiasi una volta fissate le rispettive arietà), le strutture isomorfe a questa sullo stesso sostegno $S$ sono al più, se $S$ è finito, $|S|!$, ma al più, potrebbero essercene anche di meno fino a collassare ad una soltanto.
Apparentemente sembra che ogni permutazione ne crei una distinta, ma non è detto. Diverse permutazioni possono produrre le stesse strutture e solo in certi casi particolari ogni permutazione degli elementi di $S$ ne produce una distinta.
Ad esempio se nella struttura algebrica $(S, R)$, $R$ è la relazione binaria totale (in termini insiemistici), le strutture isomorfe a questa sul sostegno $S$ sono tutte identiche a questa, tutte le permutazioni collassano nella stessa struttura.
Ad esempio data la struttura...

$({0,1}, {(0,0),(0,1),(1,1),(1,0)})$

e data la permutazione $0 -> 1$, $1 -> 0$ otteniamo

$({0,1}, {(1,1),(1,0),(0,0),(0,1)})$

che è la stessa coppia di partenza.
bub
Junior Member
Junior Member
 
Messaggio: 129 di 129
Iscritto il: 30/12/2006, 00:10


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

Chi c’è in linea

Visitano il forum: Nessuno e 6 ospiti