Teorema di Cauchy (teoria dei gruppi)
# Teorema di Cauchy (teoria dei gruppi)

In matematica, il teorema di Cauchy è un teorema della teoria dei gruppi finiti; afferma che, se $G$ è un gruppo finito di ordine $n>1$, e $p$ è un numero primo che divide $n$, allora esiste in $G$ un elemento di ordine $p$, e quindi un sottogruppo con $p$ elementi.

Prende nome da Augustin-Louis Cauchy.

Il teorema di Cauchy è un inverso parziale del teorema di Lagrange, ed è generalizzato dal primo teorema di Sylow (che garantisce l'esistenza di sottogruppi di ordine $p^{k}$ se $p$ è un numero primo e $p^{k}$ divide l'ordine del gruppo).

## Dimostrazione

Sia $G$ un gruppo e $p$ un primo che divide l'ordine del gruppo. Consideriamo il seguente insieme di $p$-uple di elementi di $G$:

    $P=\{(a_{1},a_{2},\ldots ,a_{p})\mid a_{1}a_{2}\cdots a_{p}=e\}$,

dove $e$ è l'identità del gruppo.

L'insieme $P$ contiene esattamente $n^{p-1}$ elementi: i primi $p-1$ possono essere scelti ciascuno in $n$ modi distinti, mentre la scelta dell'ultimo è obbligata (deve essere l'inverso di $a_{1}\cdots a_{p-1}$).

Diciamo ora che due $p$-uple sono equivalenti se e solo se una è ottenibile dall'altra permutandone ciclicamente gli elementi; ovvero, le $p$-uple equivalenti a $(a_{1},\ldots ,a_{p})$ sono quelle del tipo

    $(a_{t},a_{t+1},\ldots ,a_{p},a_{1},\ldots ,a_{t-1})$,

per un intero $t$ compreso tra $1$ e $p$. Questa è una relazione di equivalenza; le classi di equivalenza possono anche essere considerate come le orbite dell'azione naturale di $\mathbb {Z} _{p}$ su $P$.

Se tutti gli elementi della $p$-upla $(a_{1},a_{2},\ldots ,a_{p})$ sono uguali, allora essa è l'unico elemento della sua classe di equivalenza; d'altro canto, se due elementi della $p$-upla sono distinti, allora (essendo $p$ un numero primo) la classe di equivalenza comprende esattamente $p$ elementi.

Esiste almeno una $p$-upla in $P$ con tutti gli elementi uguali, quella in cui sono tutti uguali all'elemento neutro; di conseguenza, se non ce ne fossero altre, si avrebbe

    $\vert P\vert =n^{p-1}=1+hp$,

dove $h$ è un intero positivo. Poiché $p$ divide $n$, questo è assurdo, e quindi deve esistere un $a$ diverso dall'elemento neutro tale che $(a,a,\ldots ,a)\in P$; in particolare, l'ordine di $a$ è esattamente $p$.

## Conseguenze

Una conseguenza immediata di questo teorema è il fatto che, se tutti gli elementi di un gruppo finito hanno per ordine una potenza di $p$, allora anche l'ordine $n$ del gruppo è una potenza di $p$: se infatti $n$ fosse diviso da un altro primo $q$, esisterebbe un sottogruppo con $q$ elementi, contro l'ipotesi.

