Permutazioni

Messaggioda Alin » 10/08/2018, 08:15

Buongiorno, ho un dubbio riguardo le permutazioni che fissano un dato numero di elementi.
Cerco di spiegarmi:
se considero il gruppo simmetrico $S_5$, il sottogruppo $tau$ formato dalle permutazioni che fissano un elemento avró
$|tau | =(n-1)!$, quindi questo sottogruppo é isomorfo a $S_4$

Guardando invece in $S_5$ le permutazioni che fissano un elemento, ho visto che quelle della forma $2+2+1 =15$ e quelle
della forma $4+1 =30$. In tutto mi ritrovo 45 permutazioni che fissano un elemento più naturalmente
l'identitá.
Dunque non riesco a capire qual é il nesso con il gruppo $S_4$ che é firmato da $24$ permutazioni.
Qualcuno mi puó aiutare a capire, grazie.
Alin
Junior Member
Junior Member
 
Messaggio: 4 di 272
Iscritto il: 05/10/2017, 14:33

Re: Permutazioni

Messaggioda orsoulx » 10/08/2018, 17:37

Se affronti problemi diversi, raramente troverai risultati uguali.
Delle 120 permutazioni semplici di cinque elementi possibili, ve ne sono:
9 che lasciano al suo posto solamente un elemento prefissato (ad esempio il secondo), mentre i restanti cambiano posizione;
24 che lasciano un elemento prefissato al suo posto;
45 che lasciano un solo elemento (qualsiasi) al suo posto;
76 che lasciano almeno un elemento al suo posto.
Ciao
Stephen Wolfram non mi è simpatico, anche perché il malefico Wolfram|Alpha non mi permette di credere che $ e^\pi=(640320^3+744)^(1/\sqrt(163)) $.
"Sono venticinque secoli che la filosofia inquadra i problemi, ma non scatta mai la foto.” - Edoardo Boncinelli, L'infinito in breve.
orsoulx
Cannot live without
Cannot live without
 
Messaggio: 1714 di 3906
Iscritto il: 30/12/2014, 11:13

Re: Permutazioni

Messaggioda Alin » 10/08/2018, 18:47

Intanto grazie per la risposta. Per poter capire meglio quali sono le 24 permutazioni del gruppo $S_5$ che formano un gruppo isomorfo con $S_4$ mee ne potresti indicare qualcuna? In queste mi fai capire cosa significa lasciano un elemento prefissato.
Alin
Junior Member
Junior Member
 
Messaggio: 5 di 272
Iscritto il: 05/10/2017, 14:33

Re: Permutazioni

Messaggioda orsoulx » 10/08/2018, 20:01

Prendi una parola di 5 lettere diverse, es. "conta", questa ha 120 anagrammi (non necessariamente di senso compiuto).
Sceglia una delle cinque lettere, es. "t", fra i 120 anagrammi precedenti ve ne sono 24 che lasciano la "t" al quarto posto:
"conta" "coatn" "cnota" "cnato" "caotn" "canto" "ocnta".....
Ciao
Stephen Wolfram non mi è simpatico, anche perché il malefico Wolfram|Alpha non mi permette di credere che $ e^\pi=(640320^3+744)^(1/\sqrt(163)) $.
"Sono venticinque secoli che la filosofia inquadra i problemi, ma non scatta mai la foto.” - Edoardo Boncinelli, L'infinito in breve.
orsoulx
Cannot live without
Cannot live without
 
Messaggio: 1715 di 3906
Iscritto il: 30/12/2014, 11:13

Re: Permutazioni

Messaggioda Alin » 10/08/2018, 21:58

Quindi, sperando di aver capito, il sottogruppo di $S_5$ isomorfo al gruppo $S_4$ é dato da tutte quelle permutazioi che fissano il $5$ e cioé


Immagine
Alin
Junior Member
Junior Member
 
Messaggio: 6 di 272
Iscritto il: 05/10/2017, 14:33

Re: Permutazioni

Messaggioda orsoulx » 10/08/2018, 22:20

:smt023
Ciao
Stephen Wolfram non mi è simpatico, anche perché il malefico Wolfram|Alpha non mi permette di credere che $ e^\pi=(640320^3+744)^(1/\sqrt(163)) $.
"Sono venticinque secoli che la filosofia inquadra i problemi, ma non scatta mai la foto.” - Edoardo Boncinelli, L'infinito in breve.
orsoulx
Cannot live without
Cannot live without
 
Messaggio: 1716 di 3906
Iscritto il: 30/12/2014, 11:13

Re: Permutazioni

Messaggioda Alin » 11/08/2018, 04:24

Una curiositá, ma prendendo il sottogruppo delle permutazioni che fissano per esempio $1$ non si ottiene un
sottogruppo isomorfo sempre a $S_4$


Immagine

Stessa cosa vale anche se fissò 2, 3, 4 naturalmente prendendoli separatamente..
Alin
Junior Member
Junior Member
 
Messaggio: 7 di 272
Iscritto il: 05/10/2017, 14:33

Re: Permutazioni

Messaggioda orsoulx » 11/08/2018, 06:53

Sicuramente. Fissato un elemento qualsiasi, non importa quale, si ottiene sempre un sottogruppo isomorfo ad $ S_4 $.
Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Non dormi mai? :)

Ciao
Stephen Wolfram non mi è simpatico, anche perché il malefico Wolfram|Alpha non mi permette di credere che $ e^\pi=(640320^3+744)^(1/\sqrt(163)) $.
"Sono venticinque secoli che la filosofia inquadra i problemi, ma non scatta mai la foto.” - Edoardo Boncinelli, L'infinito in breve.
orsoulx
Cannot live without
Cannot live without
 
Messaggio: 1717 di 3906
Iscritto il: 30/12/2014, 11:13

Re: Permutazioni

Messaggioda Alin » 11/08/2018, 08:36

Grazie per la chiarezza.
Volevo un chiarimento: se volessi calcolare l'intersezione tra i due sottogruppi di prima che chiameró $H_1 nnH_5$
ottengo che l'ordine é $6$ ed é dato da ${i ,(23),(24),(34),(234),(243)}$ Questo rappresenta un altro sottogruppo.
Fi qui ci dovrei essere.
Ma se mi venisse chiesto di trovare l'ordine dato dall'intersezione di due sottogruppi per esempio di $S_15$ che fissano il primo i primi $2$ numeri e il secondo gli ultimi $3$, come dovrei procedere, mi devo forse calcolare tutte le permutazioni.
Alin
Junior Member
Junior Member
 
Messaggio: 8 di 272
Iscritto il: 05/10/2017, 14:33

Re: Permutazioni

Messaggioda orsoulx » 11/08/2018, 11:16

Alin ha scritto:mi devo forse calcolare tutte le permutazioni.

Nessuno ti proibisce di farlo e, se sono tante, può anche servire a combattere l'insonnia.
Nessuno ti costringe a farlo, se ci ragioni un momento: tutti gli elementi che non vengono bloccati da almeno una delle condizioni verranno permutati in tutti i modi possibili: otterrai sempre un gruppo isomorfo ad $ S_m $, dove $ m $ è la differenza fra $ n $ e...
Nell'esempio che proponi: una volta fissi $ 1 ; 5 $, l'altra i restanti tre; nell'intersezione troverai solo l'identità.
Ciao
Stephen Wolfram non mi è simpatico, anche perché il malefico Wolfram|Alpha non mi permette di credere che $ e^\pi=(640320^3+744)^(1/\sqrt(163)) $.
"Sono venticinque secoli che la filosofia inquadra i problemi, ma non scatta mai la foto.” - Edoardo Boncinelli, L'infinito in breve.
orsoulx
Cannot live without
Cannot live without
 
Messaggio: 1718 di 3906
Iscritto il: 30/12/2014, 11:13

Prossimo

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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite