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

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

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

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

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

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

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

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

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.