7 votos

Producto de los ciclos de permutación, transposiciones. ¿Hay diferentes convenciones en la orden?

A partir de esta respuesta me sale que dentro de cada ciclo de asignar a cada elemento de a la de la derecha, al tomar el producto de los ciclos de la de la derecha se debe realizar en primer lugar, como un típico operador.

Entonces me parece que

$$(x_1 x_2 x_3)=(x_1 x_3)(x_1 x_2).$$

Pero según M. Hall, La Teoría de Grupos en la página 60 del libro, parece que

$$(x_1 x_2 x_3)=(x_1 x_2)(x_1 x_3).$$

Así que mi pregunta es, hay dos diferentes convenios existentes para el fin de ciclo de los productos? O alguien hacer una errata? O son todos los autores diciendo lo mismo y hice una interpretación de error?

12voto

proy Puntos 752

Sí, hay que compiten convenios para la multiplicación en el grupo simétrico.

  • Algunas personas leen de izquierda a derecha, lo cual es consistente con el derecho de acción y el inglés el orden de lectura. EDIT: Y, lo más importante, es la convención utilizada por la BRECHA, Magma, y Sage.
  • Algunas personas leen de derecha a izquierda, lo cual es consistente con la izquierda-acción y la costumbre de notación de función.

Pero algunas personas revertir la notación de la función, así. Lector de cuidado...

Prefiero la segunda, por las mismas razones que Olivia contornos. Pero mi entendimiento es que el primero es particularmente común en combinatoria o geométrico teoría de grupos.

7voto

Pablo Puntos 39

No es ningún error, se deriva del hecho de que hay dos maneras diferentes para componer permutaciones (y funciones, de manera más general).

Cada persona/libro/artículo tiene su propia convención sobre si las funciones de ley por la izquierda o por la derecha. Es decir, si desea aplicar una función de $f$ a un punto de $x$, se debe escoger la más universal de $f(x)$ o "hacia atrás" $(x)f$ manera que es esencialmente único a (algunos) algebraists?

Uno de los beneficios de este último es que $f \circ g$ realmente significa "do $f$ en primer lugar, a continuación,$g$": queremos calcular $(x)(f \circ g) = ((x)f)g$. También es un poco más agradable para permutaciones, en algún sentido. Trabajamos siempre de izquierda a derecha. Nadie la elección de este convenio va en contra del grano, y se debe especificar esta en algún lugar en el libro.

Como anécdota personal, algunos de mis profesores de álgebra fueron alumnos del grupo-teórico Martin Isaacs, Isaacs de ser el más grande defensor de la "ley sobre el derecho" (convención de que yo personalmente estoy consciente de). Ellos preferían su notación, en consecuencia. En todos los cursos de álgebra abstracta, que utiliza el habitual "a la izquierda" convención (como hacen la mayoría de los libros de texto, incluyendo el que estamos usando). Pero luego, cuando los cursos alcanzado el nivel de postgrado, que pasó a sus más familiar "a la derecha" de estilo. Debido a esta ligeramente discordante de transición, he sido muy consciente del problema. He aprendido algo recientemente que uno de los clásicos textos de álgebra también el uso de este "algebrista" convención; creo que es Hungerford, pero no estoy seguro (que esperemos que alguien puede recordarme).

Ahora que lo pienso, esto explica por qué el siguiente es el segundo ejercicio en Isaacs' Álgebra:

Deje $G$ ser cualquier grupo. Para $x \in G$, vamos a $r_x$ $l_x$ las asignaciones $G \to G$ definido por $$(g)r_x = gx \quad \text{and} \quad (g)l_x = xg,$$ or in other words, by right and left multiplication by $x$ on $G$. Let $R = \{r_x \mid x \G\}$ and $L = \{l_x \mid x \G\}.$ Show that $R$ and $L$ are permutation groups on $G$ and that $R \cong G \cong$L.

para mostrar que los dos distintos convenios son equivalentes en el sentido de que el rendimiento de isomorfo grupos!

Ver aquí para el debate sobre MathOverflow.

3voto

Olivia Puntos 49

El primer ciclo de la representación $(x_1x_2x_3)=(x_1x_3)(x_1x_2)$ es correcta.

Esencialmente, $(x_1x_2x_3)$ es la permutación que se lleva a $x_1$ a $x_2$, $x_2$ a$x_3$$x_3$$x_1$.

Así que cuando tenemos a los dos transposiciones, se leen de derecha a izquierda, es decir, que comience en el extremo derecho de ciclo y seguir avanzando en nuestro camino.

$x_1 \rightarrow x_2$ pero $x_2$ no está presente en el ciclo izquierdo así que nos detenemos aquí. $x_2 \rightarrow x_1$ en el ciclo correcto y $x_1 \rightarrow x_3$ en el ciclo izquierdo, por lo $x_2\rightarrow x_3$.

Por lo tanto, este producto de ciclos es correcta.

Sin embargo, un hecho clave es que a los productos de ciclos no necesariamente conmutar a pesar de ciclos disjuntos viaje. Así, debería ser evidente que $(x_1x_3)(x_1x_2)\neq (x_1x_2)(x_1x_3)$

De hecho, si tenemos $(x_1x_2)(x_1x_3)$, entonces el producto es $(x_1x_3x_2)\neq(x_1x_2x_3)=(x_1x_3)(x_1x_2)$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X