Ho scritto nell'ultimo post quali automorfismi di \( \displaystyle C_6 \) puoi "acchiappare" mediante \( \displaystyle id \) !
Se ti può essere utile io scrivo: dati i gruppi \( \displaystyle K \) e \( \displaystyle N \) , l'azione \( \displaystyle \phi \) di \( \displaystyle K \) in \( \displaystyle N \) ; omomorfismo di \( \displaystyle K \) in \( \displaystyle \mathrm{Aut}(N) \) , considerato il loro prodotto semidiretto \( \displaystyle E=N\rtimes_{\phi}K \) , scrivo che \( \displaystyle \forall(a_1;b_1);\,(a_2;b_2)\in E,\,(a_1;b_1)\cdot_{\phi}(a_2;b_2)=(a_1a_2^{b_1^{\phi}};b_1b_2) \) ove \( \displaystyle a_2^{b_1^{\phi}} \) è l'immagine di \( \displaystyle a_2 \) mediante l'automorfismo di \( \displaystyle N \) determinato da \( \displaystyle b_1 \) ; elemento di \( \displaystyle K \) , mediante l'omomorfismo \( \displaystyle \phi \) .
