Equazioni sul gruppo simmetrico
Mi scuso per la poca utilità, spero che comunque qualche utente ne possa trar vantaggio, ad ogni modo l'esercizio è semplice, ma sotto esame non si è mai sicuri di nulla, mi chiedo se è svolto bene o se c'è qualche errore di qualsiasi genere.
Trovare la soluzione in [tex]$ S_{10} $[/tex] di [tex]$ \sigma ^3=(1234)(56) $[/tex]
Svolgimento
elevando alla quarta [tex]$ {\sigma ^{3 \cdot 4}={((1234)(56))}^4=id $[/tex] dunque sigma ha odrine 12, daltronde vale il seguente risultato [tex]$ o(g \cdot h)=mcm(o(g),o(h)) $[/tex], quindi se una permutazione si scrive come prodotto di [tex]$ k $[/tex] cicli disgiunti di lunghezza [tex]l_1,l_2, ... ,l_k[/tex] allora l'ordine di tale permutazione sarà [tex]$ mcm(l_1,l_2, ... ,l_k) $[/tex].
In questo caso l'unica possibilità è che sigma sia prodotto di un tri-ciclo e di un 4-ciclo (si intende sempre cicli disgiunti)
dunque sarà [tex]$ \sigma=\tau \cdot \alpha $[/tex] e dunque sarà [tex]$ \sigma^3=\tau^3 \cdot \alpha^3 $[/tex], ma tau è un tri-ciclo quindi ha ordine tre, pertanto [tex]$ \sigma^3= \alpha^3 $[/tex] e sigma è un 4-ciclo quindi ad esempio [tex]$ \sigma=(a_1,a_2,a_3,a_4)$[/tex] quindi [tex]$ \sigma^3=(a_1,a_4,a_3,a_2)$[/tex] che evidentemente è un 4-ciclo.
Quindi l'equazione non è mai soddisfatta.
Edit: effettuata correzione
Trovare la soluzione in [tex]$ S_{10} $[/tex] di [tex]$ \sigma ^3=(1234)(56) $[/tex]
Svolgimento
elevando alla quarta [tex]$ {\sigma ^{3 \cdot 4}={((1234)(56))}^4=id $[/tex] dunque sigma ha odrine 12, daltronde vale il seguente risultato [tex]$ o(g \cdot h)=mcm(o(g),o(h)) $[/tex], quindi se una permutazione si scrive come prodotto di [tex]$ k $[/tex] cicli disgiunti di lunghezza [tex]l_1,l_2, ... ,l_k[/tex] allora l'ordine di tale permutazione sarà [tex]$ mcm(l_1,l_2, ... ,l_k) $[/tex].
In questo caso l'unica possibilità è che sigma sia prodotto di un tri-ciclo e di un 4-ciclo (si intende sempre cicli disgiunti)
dunque sarà [tex]$ \sigma=\tau \cdot \alpha $[/tex] e dunque sarà [tex]$ \sigma^3=\tau^3 \cdot \alpha^3 $[/tex], ma tau è un tri-ciclo quindi ha ordine tre, pertanto [tex]$ \sigma^3= \alpha^3 $[/tex] e sigma è un 4-ciclo quindi ad esempio [tex]$ \sigma=(a_1,a_2,a_3,a_4)$[/tex] quindi [tex]$ \sigma^3=(a_1,a_4,a_3,a_2)$[/tex] che evidentemente è un 4-ciclo.
Quindi l'equazione non è mai soddisfatta.
Edit: effettuata correzione
Risposte
E che mi dici di $(1432)(56)$ ?
Ti dico che mi son saltato un pò di casi
Sappiamo che l'ordine di [tex]$\sigma$[/tex] divide 12, quindi si è visto che 12 non è.
Daltronde non può essere 3 (gli unici elementi di ordine 3 sono i tre cicli e i prodotti di tre cicli disgiunti)
L'ordine non può essere 2(gli unici elementi di ordine 2 sono le trasposizioni e i prodotti di trasposizioni disgiunte)
Dunque l'ordine può essere 4. Quali sono gli elementi di ordine 4?
I 4-cicli (e non è il nostro caso)
I prodotti di 4-cicli disgiunti (e non è il nostro caso)
In virtù dell risultato prima esposto, ovvero [tex]$o(g \cdot h)MCD(o(g),o(h))$[/tex] c'è anche il caso 4-ciclo per trasposizione (il caso trovato da martino) che è dunque [tex]$\sigma=(a_1,a_2,a_3,a_4)(a_5,a_6)$[/tex] dove gli [tex]$a_i$[/tex] sono tutti distinti e sono compresi tra 1 e 10.
[tex]\sigma^3=(a_1,a_4,a_3,a_2)(a_5,a_6)[/tex]
E dunque imponendo [tex]$\sigma^3=(1234)(56)$[/tex]
[tex]\sigma^3=(a_1,a_4,a_3,a_2)(a_5,a_6)=(1234)(56)[/tex] si ottiene
[tex]$\sigma=(1432)(56)$[/tex]
Resta il caso in cui l'ordine si sigma sia 6, in tal caso sigma dovrebbe essere il prodotto di trasposizioni disgiunte e tricicli disgiunti e anche in questo caso non ci sono soluzioni procedendo in modo analogo al primo caso.
Presi tutti?
Sappiamo che l'ordine di [tex]$\sigma$[/tex] divide 12, quindi si è visto che 12 non è.
Daltronde non può essere 3 (gli unici elementi di ordine 3 sono i tre cicli e i prodotti di tre cicli disgiunti)
L'ordine non può essere 2(gli unici elementi di ordine 2 sono le trasposizioni e i prodotti di trasposizioni disgiunte)
Dunque l'ordine può essere 4. Quali sono gli elementi di ordine 4?
I 4-cicli (e non è il nostro caso)
I prodotti di 4-cicli disgiunti (e non è il nostro caso)
In virtù dell risultato prima esposto, ovvero [tex]$o(g \cdot h)MCD(o(g),o(h))$[/tex] c'è anche il caso 4-ciclo per trasposizione (il caso trovato da martino) che è dunque [tex]$\sigma=(a_1,a_2,a_3,a_4)(a_5,a_6)$[/tex] dove gli [tex]$a_i$[/tex] sono tutti distinti e sono compresi tra 1 e 10.
[tex]\sigma^3=(a_1,a_4,a_3,a_2)(a_5,a_6)[/tex]
E dunque imponendo [tex]$\sigma^3=(1234)(56)$[/tex]
[tex]\sigma^3=(a_1,a_4,a_3,a_2)(a_5,a_6)=(1234)(56)[/tex] si ottiene
[tex]$\sigma=(1432)(56)$[/tex]
Resta il caso in cui l'ordine si sigma sia 6, in tal caso sigma dovrebbe essere il prodotto di trasposizioni disgiunte e tricicli disgiunti e anche in questo caso non ci sono soluzioni procedendo in modo analogo al primo caso.
Presi tutti?
Propongo $\sigma=(1432)(56)(789)$
"angus89":Non, in realtà ne mancano 3,e l'ordine del prodotto di cicli disigunti è il minimo comune multiplo degli ordini dei cicli, non il massimo comune divisore ( che non avrebbe molto senso...). Il modo migliore per risolvere questo tipo di esercizi è il seguente, così non rischi di perderti nessun caso.
Presi tutti?
Da [tex]\sigma^{12}=Id[/tex] ricavi che [tex]\sigma[/tex] ha ordine un divisore di [tex]12[/tex], quindi (scartando ovviamente 1) può avere ordine [tex]2,3,4,6,12[/tex]. Quindi può essere composta da 2-cicli,3-cicli, 4-cicli e 6-cicli, (non da altri tipi di cicli perchè l'ordine di un prodotto di cicli disgiunti è uguale al minimo comune multiplo degli ordini dei cicli che lo compongono) in numero a priori sconosciuto.
Poni quindi [tex]\sigma=\phi_1 ...\phi_{k_1} \tau_1 ... \tau_{k_2} \alpha_1 ... \alpha_{k_3} \beta_1 ... \beta_{k_4}[/tex], con i [tex]\phi_i[/tex] dei 2-cicli, i [tex]\tau_i[/tex] dei 3-cicli, gli [tex]\alpha_i[/tex] dei 4-cicli e infine i [tex]\beta_i[/tex] dei 6-cicli, tutti disgiunti. Poi imponi che [tex](1234)(56)=\sigma^3=\sigma=\phi_1 ...\phi_{k_1} (\alpha_1)^3 ... (\alpha_{k_3})^3 (\beta_{1,1} \beta_{1,2} \beta_{1,3} ) ... (\beta_{k_4,1} \beta_{k_4,2} \beta_{k_4,3})[/tex], dove i [tex]\tau_i[/tex] sono scomparsi perchè erano 3-cicli, gli [tex](\alpha_i)^3[/tex] sono ancora dei 4-cicli e i 6-cicli sono diventati delle triplette [tex](\beta_{i,1} \beta_{i,2} \beta_{i,3})[/tex], dove ogni [tex]\beta_{i,j}[/tex] è un 2-ciclo.
Allora hai ottenuto [tex]k_1+3k_4[/tex] 2-cicli, mente all'altro membro hai solo $(56)$, quindi ricavi [tex]k_1=1[/tex], [tex]k_4=0[/tex]. Hai poi ottenuto [tex]k_3[/tex] 4-cicli (ricordo sempre che si parla di cicli disgiunti), e quindi poichè all'altro membro hai solo $(1234)$ ricavi [tex]k_3=1[/tex]. Per quanto riguarda [tex]k_2[/tex] invece, essendo che i 3-cicli spariscono elevando alla terza, puoi mettercene "quanti ce ne entrano", in particolare dopo aver piazzato il 2-ciclo e il 4-ciclo ti restano (sei in $S_{10}$) $4$ elementi da permutare, quindi hai spazio per un solo 3-ciclo disgunto dal 2-ciclo e il 4-ciclo già presenti. In definita la tua soluzione sarà della forma [tex]\sigma=\phi \omega \tau[/tex], con [tex]\phi[/tex] un 2-ciclo, [tex]\omega[/tex] un 3-ciclo e [tex]\tau[/tex] un 4-ciclo, con la condizione che [tex]\phi^3=\phi=(56)[/tex] e [tex]\tau^3=tau^{-1}=(1234)[/tex], da cui [tex]\tau=(1432)[/tex]. Quindi le soluzioni della tua equazione sono [tex](1432)(56)[/tex], [tex](1432)(789)(56)[/tex]. [tex](1432)(8,9,10)(56)[/tex] e infine [tex]((1432)(7,8,10)(56)[/tex].. Il metodo che ti ho presentato funziona sempre ed è molto semplice.
ops....si ho scitto massimo comun divisore pensando a minimo comune multiplo...infatti si vede anche da quello che ho datto dopo. Ad ogni modo ti ringrazio per la dritta.
"alvinlee88":Mancherebbero
le soluzioni della tua equazione sono [tex](1432)(56)[/tex], [tex](1432)(789)(56)[/tex]. [tex](1432)(8,9,10)(56)[/tex] e infine [tex]((1432)(7,8,10)(56)[/tex].
$(1432)(798)(56)$,
$(1432)(8\ 10\ 9)(56)$,
$(1432)(7\ 10\ 8)(56)$,
$(1432)(7\ 9\ 10)(56)$,
$(1432)(7\ 10\ 9)(56)$.
Io conto 9 soluzioni in tutto.
E quante soluzioni ci sono in $S_n$, con $n$ arbitrario?
Se abbiamo [tex]$S_n$[/tex] arbitrario i conti si complicano un pò, ma è questione di conteggio
Sulla linea di alvinlee88 verrebbe
[tex]$\sigma=\delta_1\cdot ... \cdot \delta_k \cdot \gamma_1 \cdot ... \gamma_s \cdot \tau_1 , .. , \tau_k, \alpha_1 , ... , \alpha_h$[/tex]
Dove
[tex]$\delta_i$[/tex] sono trasposizioni
[tex]$\gamma_i$[/tex] sono tricicli
[tex]$\tau_i$[/tex] sono 4-cicli
[tex]$\alpha_i$[/tex] sono 6-cicli
Eleviamo alla terza il tutto, studiamo i casi separatamente
6-cicli
[tex]$(a_1 a_2 a_3 a_4 a_5 a_6)^3=(a_1 a_4)(a_2 a_5)(a_3 a_6)$[/tex]
4-cicli
[tex]$(a_1 a_2 a_3 a_4 )^3=(a_1 a_4 a_3 a_2)$[/tex]
3-cicli
[tex]$(a_1 a_2 a_3 )^3=id$[/tex]
Trasposizioni
[tex]$(a_1 a_2)^3=(a_1 a_2)$[/tex]
Quindi in sigma non ci possono essere 6-cicli poichè se anche ce ne fosse uno comparirebbero nelal potenza 3 trasposizioni disgiunte.
Di 4-cicli ce ne può essere solo 1, ovvero [tex]$(1432)$[/tex], se ce ne fosse un altro nello sviluppo della potenza comparirebbe un altro 4-ciclo disgiunto
Di trasposizioni ce ne può essere solo una, ovvero [tex]$(56$[/tex], solito discorso, se ce ne fosse un'altra ...
I tre cicli ce ne possono essere quanti se ve vogliono, anzi sono loro che determinano il numero di soluzioni.
Quanti sono i possibili 3-cicli disgiunti?
Caso 1
[tex]$n$[/tex] è multiplo di 3
Allora i tre cicli sono
$(((n-6),(3))*3!)*(((n-9),(3))*3!)*(((n-12),(3))*3!)*...$
Spiegando un po:
6 elementi erano fissati (il 4-ciclo e la trasposizione) quindi restano $n-6$ elementi
Devo quindi vedere quante triplette ordinate posso formare, ovvero sono
$(((n-6),(3))*3!)$
Continuo su questa linea...
C'è poi da considerare il caso in cui non moltiplichi per tutte le triplette possibili ma solo per k triplette...
E li sono altri conti simili a questo
Caso 2
[tex]$n$[/tex] non è multiplo di 3 ma da resto 1
Tutto uguale ma moltiplico il tutto per 2
Caso 3
[tex]$n$[/tex] non è multiplo di 3 ma da resto 2
Tutto uguale ma moltiplico il tutto per 3
La soluzione non è completa (ammesso che sia corretta) ma adesso devo lasciarla in sospeso , spero di poterla continuare al più presto
Sulla linea di alvinlee88 verrebbe
[tex]$\sigma=\delta_1\cdot ... \cdot \delta_k \cdot \gamma_1 \cdot ... \gamma_s \cdot \tau_1 , .. , \tau_k, \alpha_1 , ... , \alpha_h$[/tex]
Dove
[tex]$\delta_i$[/tex] sono trasposizioni
[tex]$\gamma_i$[/tex] sono tricicli
[tex]$\tau_i$[/tex] sono 4-cicli
[tex]$\alpha_i$[/tex] sono 6-cicli
Eleviamo alla terza il tutto, studiamo i casi separatamente
6-cicli
[tex]$(a_1 a_2 a_3 a_4 a_5 a_6)^3=(a_1 a_4)(a_2 a_5)(a_3 a_6)$[/tex]
4-cicli
[tex]$(a_1 a_2 a_3 a_4 )^3=(a_1 a_4 a_3 a_2)$[/tex]
3-cicli
[tex]$(a_1 a_2 a_3 )^3=id$[/tex]
Trasposizioni
[tex]$(a_1 a_2)^3=(a_1 a_2)$[/tex]
Quindi in sigma non ci possono essere 6-cicli poichè se anche ce ne fosse uno comparirebbero nelal potenza 3 trasposizioni disgiunte.
Di 4-cicli ce ne può essere solo 1, ovvero [tex]$(1432)$[/tex], se ce ne fosse un altro nello sviluppo della potenza comparirebbe un altro 4-ciclo disgiunto
Di trasposizioni ce ne può essere solo una, ovvero [tex]$(56$[/tex], solito discorso, se ce ne fosse un'altra ...
I tre cicli ce ne possono essere quanti se ve vogliono, anzi sono loro che determinano il numero di soluzioni.
Quanti sono i possibili 3-cicli disgiunti?
Caso 1
[tex]$n$[/tex] è multiplo di 3
Allora i tre cicli sono
$(((n-6),(3))*3!)*(((n-9),(3))*3!)*(((n-12),(3))*3!)*...$
Spiegando un po:
6 elementi erano fissati (il 4-ciclo e la trasposizione) quindi restano $n-6$ elementi
Devo quindi vedere quante triplette ordinate posso formare, ovvero sono
$(((n-6),(3))*3!)$
Continuo su questa linea...
C'è poi da considerare il caso in cui non moltiplichi per tutte le triplette possibili ma solo per k triplette...
E li sono altri conti simili a questo
Caso 2
[tex]$n$[/tex] non è multiplo di 3 ma da resto 1
Tutto uguale ma moltiplico il tutto per 2
Caso 3
[tex]$n$[/tex] non è multiplo di 3 ma da resto 2
Tutto uguale ma moltiplico il tutto per 3
La soluzione non è completa (ammesso che sia corretta) ma adesso devo lasciarla in sospeso , spero di poterla continuare al più presto
"Martino":
Mancherebbero
$(1432)(798)(56)$,
$(1432)(8\ 10\ 9)(56)$,
$(1432)(7\ 10\ 8)(56)$,
$(1432)(7\ 9\ 10)(56)$,
$(1432)(7\ 10\ 9)(56)$.
Hai perfettamente ragione, anche se credo tu ne abbia scritta male qualcuna, alcune sono le stesse dette da me, tipo la prima mi sembra. Ho fatto le cose in fretta, con 4 elementi a disposizione abbiamo $8$ 3 -cicli, non so bene perchè non li abbia scritti tutti. Quindi in totale $9$ soluzioni.
"alvinlee88":Beh no. Se vedi tu hai elencato 4 soluzioni, io ho elencato le altre 5:
Hai perfettamente ragione, anche se credo tu ne abbia scritta male qualcuna, alcune sono le stesse dette da me, tipo la prima mi sembra.
"Martino":Mancherebbero
[quote="alvinlee88"]le soluzioni della tua equazione sono [tex](1432)(56)[/tex], [tex](1432)(789)(56)[/tex]. [tex](1432)(8,9,10)(56)[/tex] e infine [tex]((1432)(7,8,10)(56)[/tex].
$(1432)(798)(56)$,
$(1432)(8\ 10\ 9)(56)$,
$(1432)(7\ 10\ 8)(56)$,
$(1432)(7\ 9\ 10)(56)$,
$(1432)(7\ 10\ 9)(56)$.
[/quote]
@martino
Hai ragione, son proprio briao...avevo scambiato un $(789)$ per un $(798)$.
Hai ragione, son proprio briao...avevo scambiato un $(789)$ per un $(798)$.
Il problema che ho proposto (risolvere l'equazione data in $S_n$) come ha detto angus si riduce al problema di calcolare il numero di elementi di ordine 3 in $S_n$, e mi sa (così a occhio) che non è possibile ottenere una formula "chiusa" per questo numero..
che dialetto è?
"alvinlee88":Briao?
@martino
Hai ragione, son proprio briao...avevo scambiato un $(789)$ per un $(798)$.
che dialetto è?
"Martino":Io abito a san giovanni alla vena, provincia di Pisa. "briao" significa "ubriaco", a pontedera e soprattutto a Livorno è più usato "gonfio". "briao" lo definirei sangiovannese
Briao?
Una formula chiusa non credo neanche io esista, dipende da [tex]$n$[/tex], si devono distinguere i tre casi che avevo iniziato
[tex]$n \equiv 0 \mod{3}$[/tex]
[tex]$n \equiv 1 \mod{3}$[/tex]
[tex]$n \equiv 2 \mod{3}$[/tex]
[tex]$n \equiv 0 \mod{3}$[/tex]
[tex]$n \equiv 1 \mod{3}$[/tex]
[tex]$n \equiv 2 \mod{3}$[/tex]
"alvinlee88":
Hai ragione, son proprio briao.
OT
mi mancava un po' di dialetto pisano in questo periodo di vacanze...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo