Para terminar este an�lisis, har�a falla caracterizar precisamente los tipos de

subgrupos de un grupo G cuyas clases laterales si forman grupo bajo la operaci�n

inducida. Dejaremos esto para la siguiente secci�n, sobre todo porque �ste es un
material muy importante y queremos que haya tiempo suficiente para asimilarlo.
11.3 APLICACIONES
En vez de dar ahora los toques finales a esta teor�a, probaremos algunos bell�simos
resultados acerca de grupos finitos que resultan con mucha facilidad del
trabajo desarrollado hasta aqu�.
Teorema 11.4 (Lagrange) Sea G un grupo de orden finito n y H un subgrupo
de G. El orden de H divide al orden de G.
Demostraci�n Sup�ngase que f � tiene m elementos. Consid�rese la colecci�n de
las clases laterales izquierdas de H. Por el teorema 11.3, estas clases laterales
izquierdas son ajenas, tienen el mismo n�mero m de elementos que H y todo
elemento de G est� en alguna clase lateral izquierda. Entonces, si hay r clases
laterales izquierdas, debemos tener n = rm de modo que m divide a n. �
N�tese que este elegante e importante teorema proviene del sencillo corneo hecho
en el teorema 11.3 donde se demostr� que todas las clases laterales tienen el
mismo n�mero de elementos. Nunca se debe subestimar un teorema que cuente
algo.
El teorema 9.3 muestra que cualquier grupo abeliano de orden primo es
ciclico, Pero como corolario del teorema 11.4 tenemos
Corolario Todo grupo de orden primo es c�clico.
Demostraci�n Sea G de orden primo p y sea a un elemento de G diferente de la
identidad. Entonces, el subgrupo ciclico (a) de G generado por a tiene al menos
dos elementos, a y e. Pero, por el teorema