O conteúdo aqui é que em grupos não comutativos (como S3) vale em geral (xy)^-1neq x^-1y^-1. Vamos verificar calculando ambos os lados.
Passo 2
Primeiro convertemos alpha e beta em ciclos e calculamos alphabeta. alpha é o ciclo (1;2;3), pois alpha(1)=2,alpha(2)=3,alpha(3)=1. beta é a transposição (1;2), pois beta(1)=2,beta(2)=1,beta(3)=3.
A composição alphabeta age por