Qu'est-ce que « torsion » ? — Mathématiques

Définition 3.11 Mathématiques universitaires — Licence 3 · Chapitre 3 — Modules sur un anneau principal

Soit $A$ un anneau intègre et $M$ un $A$ -module. Le sous-module de torsion est

T(M) = \{x \in M : ax = 0 \text{ pour un certain } a \neq 0\}

(un sous-module : si $ax = by = 0$ alors $ab(x + y) = 0$ , $ab \ne 0$ ). $M$ est sans torsion si $T(M) = 0$ , un module de torsion si $T(M) = M$ .

Exemples

Exemple 3.2

Les trois cas motivants.

$A = K$ un corps : les modules sont les espaces vectoriels.
$A = \Z$ : les modules sont exactement les groupes abéliens ( $nx$ est forcé à valoir $x + \dots + x$ ), les sous-modules sont les sous-groupes.
$A = K[X]$ : un module est un $K$ -espace vectoriel $V$ muni de l’application $K$ -linéaire $u\colon x \mapsto X\cdot x$ — réciproquement, toute paire $(V, u)$ avec $u \in \mathcal L(V)$ devient un $K[X]$ -module par $P \cdot x = P(u)(x)$ . Les sous-modules sont précisément les sous-espaces $u$ -stables.

Un idéal de $A$ est exactement un sous-module de $A$ ; un anneau quotient $A/I$ est un $A$ -module. Contrairement aux espaces vectoriels, les modules peuvent avoir de la torsion : dans $\Z/6\Z$ , l’élément $\bar 3 \ne 0$ est tué par $2 \neq 0$ .

Lire dans le chapitre →

Exemples

Termes liés