##  [Élément de Torsion](/fr/node/61574) 

 Définition

Un élément x d'un groupe abélien ou d'un module qui est annihilé par un entier non nul n (n·x = 0) ou, de façon plus générale, par un scalaire non nul de l'anneau de base ; signale un obstacle d'ordre fini à la liberté.

 

 

 

 

 

 





## Principe

Principe

La torsion détecte la finitude de la structure additive : l'ensemble des éléments de torsion forme le sous-groupe de torsion ou le sous-module de torsion, et son complément (lorsqu'il existe) mesure le rang sans torsion et les sommants libres.

 

 

 

 

 





## Démonstration

Démonstration

Tout élément de Z/nZ est de torsion car n·[k] = 0 ; dans le groupe abélien Q/Z tout élément a ordre fini donc le groupe entier est de torsion ; en revanche 1∈Z est sans torsion car aucun entier non nul ne l'annihile.

 

 

 

 

## Mauvaise application

Mauvaise application

Employer « torsion » sans préciser l'anneau de base ou l'ensemble des scalaires (entiers vs. PID vs. anneau général) peut mal classifier des éléments ; assimiler torsion et finitude du sous-groupe engendré peut échouer dans des groupes de torsion infinis pathologiques.

 

 

 

 

 





## Conséquence

Conséquence

Reconnaître les éléments de torsion permet la décomposition primaire, la classification des modules de type fini sur un PID et la compréhension des obstructions homologiques — la torsion empêche souvent des scindages et influence les calculs d'Ext et Tor.

 

 

 

 

## Inversion

Inversion

Le concept opposé est sans torsion : éléments sans annihilateur scalaire non nul. Rendre un élément sans torsion consiste typiquement à quotienter par la torsion ou à localiser pour inverser les scalaires qui annihilent.

 

 

 

 

 





## Limite

Limite

La notion est standard pour les groupes abéliens et modules sur anneaux commutatifs ; pour les anneaux de base non commutatifs ou les modules sur anneaux avec diviseurs de zéro il faut remplacer « entier annihilateur » par l'idéal d'annihilation ou par un élément régulier et ajuster la définition.

 

 

 

 

 





## Tension sémantique

Tension sémantique

La torsion recoupe « ordre fini » en théorie des groupes et « torsion en homologie » en topologie ; bien que liés, la torsion pour les modules dépend de l'anneau scalaire choisi et peut différer de la torsion topologique sans contexte précisé.

 

 

 

 

 





## Synthèse

Synthèse

Un élément de torsion est un élément additif tué par un scalaire non nul ; détecter la torsion sépare les phénomènes d'ordre fini du comportement libre et est central pour les résultats de décomposition et de classification en théorie des modules et des groupes.