Salve, come da titolo volevo provare a dimostrare una cosa del genere. Per ogni $sigma in S_n$ vale che:
$N(<sigma>)=C(sigma) rtimes Aut(<sigma>)$, dove $N(*),C(*)$ indicano rispettivamente il normalizzatore e centralizzatore.
Ho già dimostrato che $abs(N(<sigma>))=abs(C(sigma))*abs(Aut(<sigma>))$ costruendo un omomorfismo $phi:N(<sigma>) to Aut(<sigma>)$ con $phi(tau)=phi_tau$ ($phi_tau(sigma^a)=tau*sigma^a*tau^-1)$
Segue subito che $Ker(phi)=C(sigma)$. Quindi posso dire grazie all'omomorfismo che:
1)$C(sigma)$ è un sottogruppo normale di $N(<sigma>)$
2)$C(sigma)Aut(<sigma>)=N(<sigma>)$
Per completare la caratterizzazione di prodotto semidiretto mi servirebbe che $C(sigma) cap Aut(<sigma>)=$id
Però non so come fare...