No reduzcas tanto el tamaño de la pregunta, por suerte tengo el libro bajado de internet y puedo mirarlo ahí. Si no, no hubiera podido verlo.
Ro0 es la identidad, luego es par ya que tiene cero 2-ciclos.
Ro1 = (1,2,3) puede expresarse como (1,2)(1,3) que son dos 2-ciclos, luego es par
Ro2 = (1,3,2) puede expresarse como (1,3)(1,2) luego es par
Mu1 = (2,3) es un 2-ciclo luego es impar
Mu2 = (1,3) es un 2-ciclo luego es impar
Mu3 = (1,2) es un 2-ciclo luego es impar
Luego las ro son las permutaciones pares.
El grupo alternante es el grupo de las permutaciones pares
A3 = {ro0, ro1, ro2}
y la tabla es
| ro0 ro1 ro2
----------------------
|
ro0 | ro0 ro1 ro2
|
ro1 | ro1 ro2 ro0
|
Ro2 | ro2 ro0 ro1
Aunque la tabla es simétrica recuerdo que se multiplica lo de la izquierda por lo de arriba.
Y eso es todo.