Sottogruppo di torsione
![Niente fonti!](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/45px-Question_book-4.svg.png)
In matematica, e più specificamente in teoria dei gruppi, il sottogruppo di torsione (talvolta detto componente di torsione o semplicemente torsione) di un gruppo abeliano è l'insieme dei suoi elementi aventi ordine finito.
Un gruppo viene detto di torsione (o periodico) se ogni suo elemento ha ordine finito e libero da torsione se invece ogni suo elemento, a parte l'identità, ha ordine infinito. Sono gruppi di torsione tutti i gruppi finiti.
Il sottogruppo di torsione è un oggetto matematico importante per alcuni risultati sulla struttura dei gruppi, come il teorema di struttura dei gruppi abeliani finiti.
Sottogruppo di p-torsione
Sia un gruppo e un numero primo; allora il sottogruppo di -torsione di (spesso indicato con ) viene definito come segue:
In altre parole, il sottogruppo di -torsione è l'insieme degli elementi il cui ordine è una potenza di
Componente di torsione nei gruppi non abeliani
La componente di torsione di un gruppo non abeliano non è, in generale, un sottogruppo. Per esempio, nel gruppo diedrale infinito, con la rappresentazione:
e sono entrambi elementi del gruppo di torsione, mentre ha ordine infinito.
Il sottogruppo di torsione è pienamente invariante
Sia un elemento del gruppo avente ordine e sia un endomorfismo di :
Ossia: l'immagine di un elemento avente ordine finito ha ordine finito. Se denota la componente di torsione di , allora .
Se è un automorfismo di , ne segue che e quindi è un sottogruppo caratteristico di .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)