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 duración 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 tanto, el 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 | GRAMO | , y el orden de un elemento a se denota por ord( a ) o | un | , en lugar de donde los corchetes indican 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 un divisor de | GRAMO | . En particular, el pedido | un | de cualquier elemento es divisor de | GRAMO | .
El grupo simétrico S 3 tiene la siguiente tabla de multiplicar .
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 cuadra 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 .
El orden de un grupo G y el orden de sus elementos dan mucha información sobre la estructura del grupo. En términos generales, cuanto más complicada es la factorización de | G |, más complicada es la estructura de G .
Para | GRAMO | = 1, el grupo es trivial . En cualquier grupo, sólo 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 contrario 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 número entero k , tenemos
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
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 que se muestra arriba, donde ord(S 3 ) = 6, los órdenes posibles de los elementos son 1, 2, 3 o 6.
El siguiente inverso parcial es cierto 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 grupo de cuatro de Klein no tiene un elemento de orden cuatro). Esto se puede demostrar mediante prueba inductiva . [1] Las consecuencias del teorema incluyen: el orden de un grupo G es una potencia de un primo p si y sólo si ord( a ) es alguna potencia de p para cada a en G . [2]
Si a tiene orden infinito, entonces todas las potencias distintas de cero de a también tienen orden infinito. Si a tiene orden finito, tenemos la siguiente fórmula para el orden de las potencias de a :
para cada número 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 pedidos de a y b . De hecho, es posible que tanto a como b tengan orden finito mientras que ab tenga orden infinito, o que tanto a como b tengan orden infinito mientras ab tenga 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 de esto último es a ( x ) = x +1, b ( x ) = x −1 con ab ( x ) = x . Si ab = ba , al menos podemos decir que ord( ab ) divide mcm (ord( a ), ord( b )). Como consecuencia, se puede demostrar 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 .
Supongamos que G es un grupo finito de orden n y 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 elementos de orden 2, porque φ(2) = 1, y es sólo de utilidad limitada para d compuesto como d = 6, ya que φ(6) = 2, y hay cero elementos de orden 6 en S 3 .
Los homomorfismos de grupo tienden a reducir los órdenes de los elementos: si f : G → H es un homomorfismo y a es un elemento de G de orden finito, entonces ord( f ( a )) divide ord( a ). Si f es inyectivo , entonces ord( f ( a )) = ord( a ). Esto a menudo se puede utilizar para demostrar que no hay homomorfismos ni homomorfismos inyectivos entre dos grupos explícitamente dados. (Por ejemplo, no puede haber un homomorfismo no trivial h : S 3 → Z 5 , porque todo 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. ) A Otra consecuencia es que los elementos conjugados tienen el mismo orden.
Un resultado importante sobre los pedidos 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 | GRAMO | 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 dice |S 3 | = 1+2+3.
