¿Cómo es una permutación compuesta de un ciclo el producto de ciclos disjuntos?

Estoy leyendo un libro de texto de álgebra abstracta y uno de los ejercicios es el siguiente:

Demostrar que toda permutación en S norte es el producto de ciclos disjuntos.

Traté de resolverlo por mi cuenta, pero me quedé atascado en el caso especial en el que una permutación es un solo ciclo (por ejemplo, ( 1 2 3 ) en S 3 ), ya que no puede ser disjunto con ningún otro ciclo en ese grupo de permutación, y necesita dos elementos para realizar la multiplicación. Pensé que tal vez sería disjunto del conjunto vacío, pero la multiplicación no está bien definida.

Terminé encontrando una prueba aquí , pero no parece considerar el caso especial. También intenté buscar esta pregunta en línea, pero no puedo encontrar ningún ejemplo de que se haya hecho antes. Lo más parecido que puedo encontrar es esta página wiki , que solo dice que un ciclo es una permutación.

Entonces, mi pregunta es la siguiente: ¿una permutación compuesta de un ciclo es un producto de ciclos disjuntos incluso si no hay multiplicación? ¿Si es así, cómo?

¿A qué libro de texto te refieres?
El libro de texto es "Álgebra abstracta" de Herstein, y también estoy usando los materiales del curso de Álgebra moderna (18.703) de MIT Open CourseWare. @Shaun

Respuestas (1)

Estás en el camino correcto conceptualmente cuando dices que es "disjunto del conjunto vacío". Esta no es exactamente la forma de expresarlo, pero el sentimiento está ahí: es inconexo de todos los otros ciclos, porque no hay otros ciclos.

Así es como lo expresaría: una permutación pag es el producto de ciclos disjuntos si, para algunos norte , pag Se puede escribir como pag = i = 1 norte C i donde cada uno C i es un ciclo y C i y C j son disjuntos cuando i j .

Asi es ( 123 ) ¿un producto de ciclos disjuntos? Probemos: ¿hay un norte y un conjunto de ciclos C i de modo que ( 123 ) = i = 1 norte C i ? Seguro: norte = 1 y C 1 = ( 123 ) .

¡Gracias! Su formulación tiene mucho más sentido que la que encontré y trata limpiamente con el caso base.