stringtranslate.com

Orden (teoría de grupos)

Ejemplos de transformaciones con diferentes órdenes: rotación de 90° con orden 4, cizallamiento con orden infinito y sus composiciones con orden 3.

En matemáticas , el orden de un grupo finito es el número de sus elementos. Si un grupo no es finito, se dice que su orden es infinito . El orden de un elemento de un grupo (también llamado longitud del período o periodo ) es el orden del subgrupo generado por el elemento. Si la operación de grupo se denota como una multiplicación , el orden de un elemento a de un grupo es, por lo tanto, el número entero positivo más pequeño m tal que a m = e , donde e denota el elemento identidad del grupo y a m denota el producto de m copias de a . Si no existe tal m , el orden de a es infinito.

El orden de un grupo G se denota por ord( G ) o | G | , y el orden de un elemento a se denota por ord( a ) o | a | , en lugar de donde los corchetes denotan el grupo generado.

El teorema de Lagrange establece que para cualquier subgrupo H de un grupo finito G , el orden del subgrupo divide el orden del grupo; es decir, | H | es divisor de | G | . En particular, el orden | a | de cualquier elemento es divisor de | G | .

Ejemplo

El grupo simétrico S 3 tiene la siguiente tabla de multiplicación .

Este grupo tiene seis elementos, por lo que ord(S 3 ) = 6 . Por definición, el orden de la identidad, e , es uno, ya que e 1 = e . Cada uno de s , t y w eleva al cuadrado a e , por lo que estos elementos del grupo tienen orden dos: | s | = | t | = | w | = 2 . Finalmente, u y v tienen orden 3, ya que u 3  = vu  = e , y v 3  = uv  = e .

Orden y estructura

El orden de un grupo G y los órdenes de sus elementos brindan mucha información sobre la estructura del grupo. En términos generales, cuanto más complicada sea la factorización de | G |, más complicada será la estructura de G .

Para | G | = 1, el grupo es trivial . En cualquier grupo, solo el elemento identidad a = e tiene ord( a ) = 1. Si cada elemento no identidad en G es igual a su inverso (de modo que a 2 = e ), entonces ord( a ) = 2; esto implica que G es abeliano ya que . Lo inverso no es cierto; por ejemplo, el grupo cíclico (aditivo) Z 6 de números enteros módulo 6 es abeliano, pero el número 2 tiene orden 3:

.

La relación entre los dos conceptos de orden es la siguiente: si escribimos

para el subgrupo generado por a , entonces

Para cualquier entero k , tenemos

a k = e   si y sólo si ord( a ) divide a k .

En general, el orden de cualquier subgrupo de G divide el orden de G . Más precisamente: si H es un subgrupo de G , entonces

ord( G ) / ord( H ) = [ G  : H ], donde [ G  : H ] se denomina índice de H en G , un entero. Este es el teorema de Lagrange . (Esto, sin embargo, solo es cierto cuando G tiene orden finito. Si ord( G ) = ∞, el cociente ord( G ) / ord( H ) no tiene sentido.)

Como consecuencia inmediata de lo anterior, vemos que el orden de cada elemento de un grupo divide el orden del grupo. Por ejemplo, en el grupo simétrico mostrado arriba, donde ord(S 3 ) = 6, los posibles órdenes de los elementos son 1, 2, 3 o 6.

La siguiente recíproca parcial es cierta para grupos finitos : si d divide el orden de un grupo G y d es un número primo , entonces existe un elemento de orden d en G (esto a veces se llama teorema de Cauchy ). La afirmación no es válida para órdenes compuestos , por ejemplo, el cuatrigrupo de Klein no tiene un elemento de orden cuatro. Esto se puede demostrar mediante una prueba inductiva . [1] Las consecuencias del teorema incluyen: el orden de un grupo G es una potencia de un primo p si y solo si ord( a ) es alguna potencia de p para cada a en G . [2]

Si a tiene orden infinito, entonces todas las potencias de a distintas de cero también tienen orden infinito. Si a tiene orden finito, tenemos la siguiente fórmula para el orden de las potencias de a :

ord( a k ) = ord( a ) / mcd (ord( a ), k ) [3]

para cada entero k . En particular, a y su inverso a −1 tienen el mismo orden.

En cualquier grupo,

No existe una fórmula general que relacione el orden de un producto ab con los órdenes de a y b . De hecho, es posible que tanto a como b tengan orden finito mientras que ab tiene orden infinito, o que tanto a como b tengan orden infinito mientras que ab tiene orden finito. Un ejemplo del primero es a ( x ) = 2− x , b ( x ) = 1− x con ab ( x ) = x −1 en el grupo . Un ejemplo del segundo es a ( x ) = x +1, b ( x ) = x −1 con ab ( x ) = x . Si ab = ba , al menos podemos decir que ord( ab ) divide a mcm (ord( a ), ord( b )). Como consecuencia, se puede probar que en un grupo abeliano finito, si m denota el máximo de todos los órdenes de los elementos del grupo, entonces el orden de cada elemento divide a m .

Contando por orden de elementos

Supóngase que G es un grupo finito de orden n y que d es un divisor de n . El número de elementos de orden d en G es un múltiplo de φ( d ) (posiblemente cero), donde φ es la función totiente de Euler , que da el número de enteros positivos no mayores que d y coprimos con él. Por ejemplo, en el caso de S 3 , φ(3) = 2, y tenemos exactamente dos elementos de orden 3. El teorema no proporciona información útil sobre los elementos de orden 2, porque φ(2) = 1, y solo es de utilidad limitada para d compuestos como d = 6, ya que φ(6) = 2, y hay cero elementos de orden 6 en S 3 .

En relación a los homomorfismos

Los homomorfismos de grupo tienden a reducir los órdenes de los elementos: si fG  →  H es un homomorfismo, y a es un elemento de G de orden finito, entonces ord( f ( a )) divide a ord( a ). Si f es inyectiva , entonces ord( f ( a )) = ord( a ). Esto se puede usar a menudo para demostrar que no hay homomorfismos ni homomorfismos inyectivos entre dos grupos dados explícitamente. (Por ejemplo, no puede haber un homomorfismo no trivial h : S 3  →  Z 5 , porque cada número excepto cero en Z 5 tiene orden 5, que no divide los órdenes 1, 2 y 3 de los elementos en S 3 ). Una consecuencia adicional es que los elementos conjugados tienen el mismo orden.

Ecuación de clase

Un resultado importante sobre los órdenes es la ecuación de clases ; relaciona el orden de un grupo finito G con el orden de su centro Z( G ) y los tamaños de sus clases de conjugación no triviales :

donde d i son los tamaños de las clases de conjugación no triviales; estos son divisores propios de | G | mayores que uno, y también son iguales a los índices de los centralizadores en G de los representantes de las clases de conjugación no triviales. Por ejemplo, el centro de S 3 es simplemente el grupo trivial con el único elemento e , y la ecuación se lee |S 3 | = 1+2+3.

Véase también

Notas

  1. ^ Conrad, Keith. «Demostración del teorema de Cauchy» (PDF) . Archivado desde el original (PDF) el 23 de noviembre de 2018. Consultado el 14 de mayo de 2011 .
  2. ^ Conrad, Keith. «Consecuencias del teorema de Cauchy» (PDF) . Archivado desde el original (PDF) el 12 de julio de 2018. Consultado el 14 de mayo de 2011 .
  3. ^ Dummit, David; Foote, Richard. Álgebra abstracta , ISBN 978-0471433347 , págs. 57 

Referencias