$p$-cicli

elatan1
Salve a tutti,

magari sarà una banalità, ma non riesco a trovare una spiegazione al fatto che le potenze di un $p$-ciclo sono ancora $p$-cicli. Dove sta la chiave per vederlo? :oops:

Vi ringrazio

Risposte
Shocker1
Prendi un $p-$ciclo $\sigma$, questo genera un gruppo di ordine $p$. Che ordine hanno gli elementi non banali del gruppo? Quali sono le permutazioni con quel determinato ordine in $S_n$?

elatan1
Credo di aver capito, vediamo

Sia $H=\langle\sigma\rangle$, dove $\sigma$ è un $p$-ciclo.

Allora $\abs{H}=o(\sigma)=p$. Essendo $p$ primo, $H$ è ciclico, dunque $H\congZ_{p}$. Sappiamo che se $h\in Z_{n}$, allora $o(a)=\frac{m.c.m(a,n)}{a}$, in particolare, se $n=p$ con $p$ primo, allora $o(a)=p$.

Allora, se $a\in H$, $o(a)=p$ e le permutazioni di $S_{n}$ di ordine $p$ sono o $p$.cicli o prodotto di $p$-cicli disgiunti.

Shocker1
Ok, chiaramente se $\tau = \sigma^i$ allora non può essere prodotto di $p-$cilci, perché $sigma$ muove solo $p-$numeri, quindi è necessariamente un $p-$ciclo(l'opzione $\tau$ è prodotto di ciclici disgiunti che partizionano $p$ è scartata per questioni di ordine).

Chiaro?

elatan1
Ottimo!

Grazie!

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