Teorema de Lagrange (teoría de grupos)

En la teoría de grupos, el teorema de Lagrange es un resultado importante que relaciona el orden de un grupo finito $G$ con el orden de cualquiera de sus subgrupos. Más precisamente, afirma que si $G$ es un grupo finito y $H$ es un subgrupo de $G$ , entonces

(1) $|G|=|H|[G:H],\,\!$

donde $| G |$ y $| H |$ son el orden del grupo $G$ y el orden del subgrupo $H$ , en tanto que $[G : H]$ es el índice de $H$ en $G$ .

El recíproco del teorema de Lagrange es falso, pues existen grupos de orden $m$ que pueden no tener un subgrupo de orden $n$ a pesar de que $n\mid m$ . Por ejemplo, el grupo simétrico $S 4$ tiene orden 24 y no tiene ningún subgrupo de orden 6. En general, los grupos no resolubles son ejemplos en los que el recíproco del teorema de Lagrange no aplica.

Por otra parte, el recíproco del teorema de Lagrange es siempre cierto para el caso de grupos abelianos, y por tanto lo es también para grupos cíclicos.

Demostración

Consideremos inicialmente una relación de equivalencia $\sim H$ sobre el grupo G, definida como:

$x \sim_H y \Leftrightarrow x^{-1}y \in H, ~ ~ \forall x,y\in G$

Dado que sabemos por hipótesis que G es finito, sabemos que únicamente puede existir un número finito de clases de equivalencia distintas, es decir, el orden de G:H es finito. Se puede demostrar que:

$gH=\{gh : h\in H\}, g\in G$

es la clase de equivalencia para la relación $\sim H$ . Supongamos entonces que las clases de equivalencia distintas son: $~ g_1H, g_2H, \dots, g_mH$ . Dado que son distintas y son todas las posibles, G es unión disjunta de estas clases:

$|G|=|g_1H|+|g_2H|+\dots+|g_mH|=\sum_{r=1}^mg_rH, ~~ g_i\in G.$

Sea $H=\{h_1,h_2,\dots,h_n\}\subseteq G$ . Fijado un entero $1\leq i\leq m$ , de la igualdad $g i h j = g i h l$ se deduce que $h j = h l$ . Por tanto, los elementos de la clase $g i H$ son todos distintos, ya que:

$g_iH=\{g_ih_1,\dots,g_ih_n\}.$

Así, $| g i H | = | H |$ , luego $| G | = m | H |$ . Entonces, $| H |$ divide a $| G |$ y de hecho m es el orden de $G : H$ , ya que:

$[G:H]=i(H,G)=\frac{|G|}{|H|}=m.$

Por lo tanto:

| G | = [G : H] | H | = i (H, G) | H |

quedando con esto demostrado el enunciado del teorema.

Consecuencias

Una consecuencia inmediata del teorema de Lagrange es que todo grupo $G$ de orden primo $p$ es cíclico, pues el orden de un elemento $a$ de $G$ debe dividir $p$ , y si dicho elemento es distinto de la identidad de $G$ , entonces resulta que el orden de $a$ sólo puede ser $p$ , de modo que $a$ es un generador de $G$ .

A partir del teorema de Lagrange puede, por ejemplo, demostrarse que si $H, K$ son subgrupos finitos de un grupo $G$ , entonces

(2) $|HK|=\frac{|H||K|}{|H\cap K|}$ ,

donde $HK=\{hk\mid h\in H\ \ \mbox{y}\ \ k\in K\}$ (este conjunto puede no ser un subgrupo de $G$ ).

El teorema de Lagrange proporciona una forma interesante de demostrar que el orden del grupo simétrico $S n$ de las permutaciones de $n$ símbolos es $n!$ (cf. Serge 2002, p. 13). Además, si $A n$ es el subgrupo alternante de $S n$ , entonces

$|A_n|=\frac{|S_n|}{2}=\frac{n!}{2},$

pues $[S_n:A_n]=2\,\!$ .

Generalización

El teorema de Lagrange es en realidad un caso especial del hecho siguiente:

H

K

son dos subgrupos de un grupo

G

, siendo

K

a su vez un subgrupo de

H

, entonces

(3) $[G:K]=[G:H][H:K].\,\!$

En este caso $G$ y los subgrupos $H, K$ pueden ser infinitos. Así, el teorema de Lagrange se convierte en un caso particular de este hecho, pues (1) resulta de tomar $K$ como el subgrupo trivial de $G$ en la ecuación (3).

Referencias

Serge, L., Algebra. Springer-Verlag, New York, 2002.
Rowen, L., Groups, Rings and Fields. A K Peters, Massachusetts, 1994.
Grillet, P. A., Abstract Algebra. Springer, New York, 2007.

Categorías:

Teoremas de álgebra
Teoría de grupos

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

Teoría de grupos — Diagrama de Cayley del grupo libre de orden dos. En álgebra abstracta, la teoría de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificación de los grupos, sus propiedades y sus… … Wikipedia Español
Teorema de Lagrange — Los siguientes teoremas, atribuidos a Joseph Louis Lagrange, se conocen como teoremas de Lagrange: Teorema de Lagrange (teoría de grupos) Teorema de Lagrange (teoría de números) Teorema del valor medio (de Lagrange) Teorema de los cuatro… … Wikipedia Español
Lagrange — Saltar a navegación, búsqueda Lagrange puede referirse a: Joseph Louis de Lagrange, matemático y físico italiano; Joseph Lagrange, militar francés de la época de las Guerras Napoleónicas; Marie Joseph Lagrange, fundador y primer director de la… … Wikipedia Español
Lagrange (desambiguación) — Lagrange puede referirse a: Contenido 1 Apellido 1.1 Personajes 2 Matemática y física 3 Divisiones administrativas … Wikipedia Español
Teorema de Wilson — En matemáticas, el teorema de Wilson es un teorema clásico relacionado con la divisibilidad. Se enuncia de la siguiente manera: Si p es un número primo, entonces (p − 1)!+1 ≡ 0 (mod p) John Wilson El recíproco también es cierto, por lo que puede… … Wikipedia Español
Teorema de Noether — El teorema de Noether es un resultado central en física teórica. Expresa que la existencia de ciertas simetrías abstractas en un sistema físico comporta la existencia de las leyes de conservación. El teorema se denomina así por la matemática Emmy … Wikipedia Español
Demostraciones del pequeño teorema de Fermat — Saltar a navegación, búsqueda En este artículo se recogen unas cuantas pruebas del pequeño teorema de Fermat, que establece: Si a es un número natural y p un número primo, entonces ap ≡ a (mod p). Este teorema es un caso especial del … Wikipedia Español
Anexo:Grupos finitos de orden bajo — Este artículo muestra una lista matemática de los grupos finitos de orden bajo (una cardinalidad de hasta 16 elementos) clasificados por isomorfismo de grupos. Con esta lista se puede determinar de qué grupo conocido es isomorfo un grupo finito G … Wikipedia Español
Aritmética modular — Saltar a navegación, búsqueda Cubierta de la edición original de Disquisitiones arithmeticae de Gauss, libro fundamental de la aritmética modular. En matemática, la aritmética modular es un sistema aritmético para clases de equivalencia((Clase de … Wikipedia Español
Grupo finito — En matemáticas y álgebra abstracta, un grupo finito es un grupo cuyo conjunto fundamental G tiene un número de elementos finito. Durante el siglo XX, los matemáticos han investigado ciertos aspectos de la teoría de grupos finitos en gran… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Teorema de Lagrange (teoría de grupos)

Contenido

Demostración

Consecuencias

Generalización

Referencias

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Teorema de Lagrange (teoría de grupos)

Contenido

Demostración

Consecuencias

Generalización

Referencias

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo