Sottogruppo di torsione
# Sottogruppo di torsione

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 ovviamente 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 $G$ un gruppo e $p$ un numero primo; allora il sottogruppo di $p$-torsione di $G$ (spesso indicato con $G(p)$) viene definito come segue:

    $G(p):=\{g\in G\;|\;\exists k\in \mathbb {N} \;,o(g)=p^{k}\}.$

In altre parole, il sottogruppo di $p$-torsione è l'insieme degli elementi il cui ordine è una potenza di $p.$

## 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:

    $\langle s_{1},s_{2}\mid s_{1}^{2}=s_{2}^{2}=1\rangle ,$

$s_{1}$ e $s_{2}$ sono entrambi elementi del gruppo di torsione, mentre $s_{1}s_{2}$ ha ordine infinito.

## Il sottogruppo di torsione è pienamente invariante

Sia $x$ un elemento del gruppo $G$ avente ordine $m$ e sia $\varphi$ un endomorfismo di $G$:

    $\varphi (x)^{m}=\varphi (x^{m})=\varphi (1)=1.$

Ossia: l'immagine di un elemento avente ordine finito ha ordine finito. Se $T$ denota la componente di torsione di $G$, allora $\varphi (T)\subseteq T$.

Se $\varphi$ è un automorfismo di $G$, ne segue che $\varphi (T)=T$ e quindi $T$ è un sottogruppo caratteristico di $G$.

