Permutazione

Giupo1
Salve ragazzi, questo è un problema tipo che il prof mette sempre nei compiti, però non ci ha mai fatto vedere come eseguirlo, potreste darmi qualche dritta?

"Data la permutazione $\sigma$=$((1,2,3,4,5,6,7,8,9,10,11,12,13,14),(10,14,7,2,6,9,13,12,8,3,1,4,11,5))$ $in$ S[size=50]14[/size]
sia H:=<$σ^1246$>
1) Determinare |H|
2) Determinare tutte le permutazioni T$in$H tali che T(1)=1"

Oppure
"Data la permutazione $\sigma$=$((1,2,3,4,5,6,7,8,9,10,11,12,13,14),(3,4,5,8,7,10,9,6,1,2,13,11,14,12))$ $in$ S[size=50]14[/size]
1) determinare gli elementi di <$\alpha$> di periodo 5;
2) determinare il periodo di $α^3^55$
3) esiste un i$in$N tale che $α^i^55$ abbia periodo 3?

Risposte
vict85
Qualche idea? Considerazione? Che ordine hanno quelle due permutazioni? Li sai scrivere come prodotto di cicli?

Giupo1
Allora prendiamo in considerazione il :
-1° esercizio: abbiamo che $\sigma$=$(1-10-3-7-13-11)(2-14-5-6-9-8-12-4)$
Il periodo è mcm(6,8) = 24
-2° esercizio, abbiamo che $\sigma$=$(1 -3- 5- 7- 9)(2- 4- 8- 6- 10)(11- 13- 14 -12)$
Il periodo di $\sigma$ è dunque mcm(5,4)=20

Ora qualche dritta? :P

vict85
I gruppi ciclici sono tutti isomorfi, come ti comporteresti se ti trovassi in \(\mathbb{Z}_{24}\)?

Giupo1
in $ZZ_24$ <$σ^1246$> = <$σ^22$>
non sto capendo bene forse

vict85
"Giupo":
in $ZZ_24$ <$σ^1246$> = <$σ^22$>
non sto capendo bene forse


Ed è così anche qui. Puoi trovare facilmente il primo punto ora (cicli disgiunti commutano quindi è un po' come avere l'elemento \((1,1)\) di \(\mathbb{Z}_6\times\mathbb{Z}_8\)).

Per il secondo punto devi vedere quando si annulla il primo ciclo.

Giupo1
Quindi |H| non sarà altro che il periodo di $σ^22$ ,
$σ^22$ = $(1-13-3)(10 - 11 -7 )(2-12-9-5)(14 - 4 - 8 - 6)$
Il periodo di $σ^22$ è mcm(3,4) = 12
Equivalentemente avremmo potuto fare sin dall'inizio °$g^k$=$°g/[MCD(k,°(g))]$, infatti $24/[MCD(1246,24)]$ = $24/2 = 12$
Ti ringrazio mi stai facendo capire tante cose :)
Non ho capito bene come arrivare a TUTTE le permutazioni T∈H tali che T(1)=1

skull83
non ci crederai ma ho le tue stesse tracce (informatica bari)... sono anche io bloccato al punto b :(

Giupo1
Non ci crederai ma anche io il 3 ho l'esame a bari ahahah

skull83
"Giupo":
Non ci crederai ma anche io il 3 ho l'esame a bari ahahah


ma daaaaaaaaaaaai! il buon nardozza! :)

cmq dai non spammiamo...ti ho scritto un msg personale

"vict85":
Per il secondo punto devi vedere quando si annulla il primo ciclo.


basterebbe elevare H alla terza?

vict85
Si.

Tieni conto che se un elemento fissa 1 allora lo fa anche ogni un suo multiplo. Inoltre se due elementi lo fissano allora si può usare Bezout per mostrare che sono multipli di un terzo elemento.

skull83
perfetto...dato che dice TUTTE le permutazioni, queste sarebbero tutti i multipli di 3 minori di 12 oppure sono tutti i multipli di 3 in genere (3h con $h in NN$)?

vict85
I multipli modulo 12.

skull83
ma così non annulliamo anche i 4-cicli?

vict85
Allora, se \(\sigma =\sigma_1\dotsb\sigma_k\) con \(\sigma_i\) cicli disgiunti e se \(\sigma_1(1)\neq 1\) allora
    [*:mhsa2tvo]\(\sigma_i(1)= 1\) per \(\displaystyle i\neq 1 \);[/*:m:mhsa2tvo]
    [*:mhsa2tvo]se \(\displaystyle \sigma_1^{q} = e \) allora \(\displaystyle \sigma^{q}(1) = 1 \);[/*:m:mhsa2tvo]
    [*:mhsa2tvo]se \(\displaystyle \sigma_1^{q} \neq e \) allora \(\displaystyle \sigma^{q}(1) \neq 1 \);[/*:m:mhsa2tvo][/list:u:mhsa2tvo]

    Nel tuo caso specifico si ha che \(\displaystyle \tau = \sigma^{22} \), \(\tau_1 = (1,\;13,\;3)\) e \(o(\tau_1) = 3\). Perciò la soluzione è \(\displaystyle \langle \tau^3 \rangle = \langle \sigma^{66} \rangle = \langle \sigma^{18} \rangle < H \)

skull83
scusami ma continuo a non capire... qual'è il collegamento con i multipli modulo 12 di cui parlavi pocanzi? l'ultimo tuo messaggio è stato chiarissimo se non fosse stato per il penultimo...

vict85
12 è la cardinalità di H, che è ciclico. Stai quindi cercando un suo sottogruppo ciclico.

tat1
Ciao a tutti ragazzi, scusate il disturbo, anche io ho l'esame di Matematica Discreta il 3 e ho risposto alla domanda in questa maniera all'appello di Febbraio :
Innanzitutto |H| = 12 come risposta alla prima domanda, poi come risposta alla seconda ho scritto : "$tau^3, tau^6, tau^9$" visto che il periodo è 12, è corretta oppure no?

vict85
A essere rigorosi hai dimenticato l'identità. Dire che era il sottogruppo generato è comunque più completo.

vict85
Riguardo al secondo esercizio si ha che \(\displaystyle \sigma = (1,\,3,\,5,\,7,\,9)(2,\,4,\,8,\,6,\,10)(11,\,13,\,14,\,12) \). Perciò, essendo \(\displaystyle \langle\sigma\rangle \) ciclico, allora è isomorfo a \(\displaystyle \mathbb{Z}_{\alpha} \) per \(\displaystyle \alpha = \mathrm{mcm}(5,4) = 20 \). Il resto dell'esercizio è come se lo faceste in questo gruppo.

skull83
riguardo al secondo esercizio io ho risolto in questo modo:

1) elevando a alla quarta ottengo che il 4-ciclo si fissa e quello che rimane penso sia la risposta,
ossia: $a^4 = (1 9 7 5 3)(2 10 6 8 4)$;

2) o(a)= mcm (5,4) = 20
$55 -= 15 mod 20$ quindi cercare gli elementi di $a^3^55$ equivale a cercare quelli di $a^3^15$
$a^3^15 = a^14348907 -= a^7$ per gli stessi motivi
$a^7$ = (1 5 9 3 7)(2 8 10 4 6)(11 12 14 13)
o(a)= mcm (5,4) = 20

3) non è possibile perchè 3 non divide 20 quindi non può esserci un sottogruppo avente periodo 3

sulla 1 non sono tanto sicuro ma sulle altre due direi di sì

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.