Une structure algébrique composée d'un groupe abélien (M, +) muni d'une action d'un anneau R (non nécessairement commutatif ni corps) sur M, distributive et associative par rapport à la multiplication de l'anneau et respectant l'identité de l'anneau si elle existe ; les modules généralisent les espaces vectoriels en autorisant des scalaires provenant d'anneaux.

Principe

Remplacer le corps scalaire par un anneau relâche l'inversibilité des scalaires et permet des comportements algébriques plus riches et souvent plus subtils (extensions, torsion, modules non libres) tout en conservant des opérations de type combinaisons linéaires.

Démonstration

Les Z-modules sont exactement les groupes abéliens (les entiers agissent par additions répétées ou soustractions) ; R^n en tant que module sur R est le module libre standard de rang n ; les modules sur un PID ont des théorèmes de structure décrivant la décomposition en parties cycliques.

Mauvaise application

Supposer qu'un module possède toujours une base comme les espaces vectoriels peut échouer : les modules sur des anneaux généraux ne sont pas nécessairement libres, et des notions comme la dimension peuvent ne pas exister ou être non uniques.

Conséquence

La théorie des modules étend les techniques de l'algèbre linéaire aux contextes d'anneaux : on étudie sous-modules, homomorphismes, suites exactes, éléments de torsion, modules projectifs et injectifs, permettant des problèmes de classification en algèbre et géométrie.

Inversion

Si l'anneau est un corps, un module est un espace vectoriel et retrouve des propriétés comme l'existence de bases et une dimension bien définie ; supprimer l'action scalaire réduit à un groupe abélien.

Limite

S'applique lorsque les scalaires proviennent d'un anneau spécifié ; exclut des structures supplémentaires telles que topologie ou produit scalaire sauf si elles sont ajoutées ; diffère fondamentalement des espaces vectoriels lorsque l'anneau contient des non-unités ou des diviseurs de zéro.

Tension sémantique

Proche de 'espace vectoriel' mais la tension apparaît concernant la liberté et les bases : distinctions importantes entre modules libres, projectifs, de torsion ou divisibles façonnent leur classification et leur usage.

Synthèse

Un module est un groupe abélien muni d'une action compatible d'un anneau, généralisant les espaces vectoriels en relâchant l'inversibilité des scalaires et en introduisant des phénomènes (torsion, non-libre) centraux en algèbre moderne.