Teorema de Cauchy (teoría de grupos)

En teoría de grupos, una rama de las matemáticas, el teorema de Cauchy afirma que se G es un grupo finito y p es un número primo que divide su número de elementos, entonces existe un elemento de G de orden p (es decir, que operado consigo mismo p veces da la identidad y para ningún número menor que p se satisface esto mismo).Es decir, existe un x en G tal que p es el menor número natural mayor que cero que satisface que xp = e, donde e es el elemento neutro de G. El resultado recibe su nombre de Augustin Louis Cauchy, que lo descubrió en 1845.El teorema es casi el recíproco del teorema de Lagrange, que afirma que el número de elementos de cualquier subgrupo de un grupo finito G divide al cardinal (número de elementos) de G. En particular, el orden de cada elemento de G es el cardinal del subgrupo que genera y, por tanto, debe dividir al cardinal de G. La pregunta natural ahora es si el recíproco es cierto: para cualquier divisor del cardinal de G existe un elemento de ese orden?En general, la respuesta es negativa, pero el teorema de Cauchy afirma que para cualquier divisor primo del cardinal de G sí que hay un elemento de G de ese orden.Por otro lado, el teorema de Cauchy es un caso particular de los teoremas de Sylow, que afirma que si pn es la mayor potencia de un primo p que divide al cardinal de G, entonces G tiene un subgrupo de pn elementos.Usando que todo p-grupo (un grupo de una potencia de un número primo elementos) es resoluble se puede demostrar que G tiene subgrupos de pr elementos para todo r menor o igual que n. En particular, tiene un subgrupo de p elementos y, como todo grupo de cardinal primo es cíclico, tiene un generador, que será un elemento de orden p, como afirma el teorema de Cauchy.El matemático francés Augustin Louis Cauchy publicó este famoso teorema de grupos finitos en un artículo titulado «Sur le nombre de valeurs égale ou inégales que peut acquérir une fonction de n variables indépendantes, quand on permute ces variables entre elles d'une manière quelconque» [Sobre el número de valores iguales o desiguales que puede adquirir una función de n variables independientes, cuando se permuta estas variables entre ellas de una manera cualquiera].La versión general del resultado se suele demostrar por inducción fuerte sobre el cardinal de G y usando la ecuación de clases, aunque si el grupo es abeliano se pueden hacer demostraciones más elementales.Teorema de CauchySeadivide al cardinal detiene un elemento de ordenEmpezamos demostrando el teorema sies abeliano y después deduciremos el caso general por la ecuación de clases.Ambas demostraciones se hacen por inducción fuerte sobrees cíclico y tiene entonces un generador, que tendrá orden(de hecho cualquier elemento distinto del neutro tiene ordenes abeliano y que, por hipótesis,distinto del elemento neutro (podemos porqueal ser divisible por un número primo) y consideremoses un número primo que divide a, que es el cardinal del grupo cociente(que está bien definido inmediatamente porqueVeamos ahora el caso general, que resolveremos por inducción fuerte y reduciéndolo al caso abeliano.La ecuación de clases nos dice quedivide al cardinal dees abeliano, ya hemos visto que tiene un elemento de ordenno divide al cardinal de, entonces, como sí que divide al desí que divide al cardinal de, y hemos encontrado igualmente un elemento de