# 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 x$^p$ = 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 p$^n$ es la mayor potencia de un primo p que divide al cardinal de G, entonces G tiene un subgrupo de p$^n$ 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 p$^r$ 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].

## Enunciado y demostración

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 Cauchy
* Sea $G$ un grupo finito y $p$ un número primo. Si $p$ divide al cardinal de $G$, entonces $G$ tiene un elemento de orden $p$.

### Demostración

Empezamos demostrando el teorema si $G$ es abeliano y después deduciremos el caso general por la ecuación de clases. Ambas demostraciones se hacen por inducción fuerte sobre $n=\vert G\vert$, con caso base $n=p$.
Si $\vert G\vert =p$ es un número primo, sabemos que $G$ es cíclico y tiene entonces un generador, que tendrá orden $p$ (de hecho cualquier elemento distinto del neutro tiene orden $p$). Tenemos pues el caso base de la inducción demostrado en ambos casos.
Supongamos primero que $G$ es abeliano y que, por hipótesis, $p$ divide a $n=\vert G\vert$. Sea $a\in G$ distinto del elemento neutro (podemos porque $\vert G\vert \geq 2$ al ser divisible por un número primo) y consideremos $H=\langle a\rangle$ el grupo cíclico generado por $a$. Distinguimos dos casos. Si $p$ divide a $\vert H\vert$, podemos considerar el elemento $a^{\vert H\vert /p}\in H$, que tiene orden $p$, como queríamos. Si $p$ no divide a $\vert H\vert$, denotamos por $[G:H]$ el índice de $H$. Entonces, como $\vert G\vert =\vert H\vert [G:H]$ y $p$ es un número primo que divide a $\vert G\vert$ pero no a $\vert H\vert$, debe dividir a $[G:H]$, que es el cardinal del grupo cociente $G/H$ (que está bien definido inmediatamente porque $G$ es abeliano). Como $a\neq e$, tenemos que $\vert H\vert =\vert \langle a\rangle \vert =\operatorname {ord} (a)>1$ y entonces, como $\vert G\vert =\vert H\vert [G:H]$, resulta que $\vert G/H\vert =[G:H]<\vert G\vert$. Por inducción fuerte, $G/H$ tiene un elemento de orden $p$. Este elemento es la clase $xH$ de cierto elemento $x$ de $G$. Si $m$ es el orden de $x$ en $G$, tenemos que $(xH)^{m}=x^{m}H=eH$ en $G/H$. Como $xH$ tiene orden $p$, tenemos que $p$ divide a $m$. Y ahora $x^{m/p}\in G$ es un elemento de orden $p$, como queríamos.
Veamos ahora el caso general, que resolveremos por inducción fuerte y reduciéndolo al caso abeliano. Sea pues $Z$ el centro de $G$, que es un grupo abeliano. La ecuación de clases nos dice que
$(*)\quad \quad |G|=|Z|+\sum _{i=1}^{r}[G:C_{G}(g_{i})]$,
donde $g_{1},\dots ,g_{r}$ es un conjunto de representantes de las clases de conjugación de $G$ de más de un elemento (es decir, $[G:C_{G}(g_{i})]>1$) y $C_{G}(g_{i})$ representa el centralizador de $g_{i}$.
Distinguimos ahora dos casos. Si $p$ divide al cardinal de $Z$, como $Z$ es abeliano, ya hemos visto que tiene un elemento de orden $p$. Como $Z\subseteq G$, de hecho hemos encontrado un elemento de $G$ de orden $p$. Si por el contrario $p$ no divide al cardinal de $Z$, entonces, como sí que divide al de $G$, por $(*)$, tiene que existir un $i$ tal que $p$ no divide a $[G:C_{G}(g_{i})]={\frac {\vert G\vert }{\vert C_{G}(g_{i})\vert }}$ (si no, despejando $\vert Z\vert$, tendríamos que $p$ lo tendría que dividir). Ahora, como $p$ sí que divide al cardinal de $G$, tiene que dividir a $\vert C_{G}(g_{i})\vert$. Por otro lado, como ${\frac {\vert G\vert }{\vert C_{G}(g_{i})\vert }}=[G:C_{G}(g_{i})]>1$, tenemos que $\vert C_{G}(g_{i})\vert <\vert G\vert$. Por inducción fuerte, $C_{G}(g_{i})\subseteq G$ tiene un elemento de orden $p$, y hemos encontrado igualmente un elemento de $G$ de orden $p$. $\quad \square$