## [Module](/fr/node/63312) Définition Structure algébrique composée d'un groupe abélien (le groupe additif sous-jacent) muni d'une action d'un anneau R (à unité) sur ce groupe satisfaisant la distributivité, l'associativité par rapport à la multiplication de l'anneau et l'action de l'élément unité ; un module généralise un espace vectoriel en remplaçant le corps de scalaires par un anneau. ## Principe Principe Remplacer le corps des scalaires par un anneau : la multiplication par un scalaire ne doit satisfaire que les axiomes du module, de sorte que les combinaisons linéaires restent significatives mais que des propriétés dépendant de l'inversibilité des scalaires (existence de bases, théorie de la dimension) peuvent échouer en général. ## Démonstration Démonstration Un exemple concret est un groupe abélien considéré comme un Z-module : tout groupe abélien A a une multiplication scalaire n·a définie par additions répétées, ce qui fait de A un module sur les entiers Z. Autre exemple : R^n est un R-module (à gauche) pour tout anneau R. ## Mauvaise application Mauvaise application Supposer que tout module possède une base et une dimension bien définie comme dans les espaces vectoriels, ou supposer que les sous-modules d'un module libre sont libres sur n'importe quel anneau ; ces affirmations sont fausses sans hypothèses supplémentaires sur l'anneau. ## Conséquence Conséquence Les modules fournissent le cadre adéquat pour l'algèbre linéaire sur anneaux, l'algèbre homologique (séquences exactes, Ext, Tor) et la théorie des représentations sur des anneaux ; ils permettent de formuler générateurs, relations, modules de type fini et les notions projective, injective, plate. ## Inversion Inversion Un espace vectoriel est le cas particulier où l'anneau des scalaires est un corps ; là, l'inversibilité des scalaires garantit l'existence de bases et une théorie de la dimension plus rigide pour les espaces de dimension finie. ## Limite Limite Nécessite un anneau unitaire associatif agissant sur un groupe abélien ; exclut les structures avec une multiplication scalaire non associative ou les actions par des semi-anneaux sans inverses additifs, sauf si ces contextes sont explicitement considérés. ## Tension sémantique Tension sémantique La tension vient de la comparaison entre module et espace vectoriel : de nombreuses intuitions issues des corps (bases, dimension) ne se transposent pas, et il existe aussi une tension entre modules libres, projectifs et plats où des propriétés apparemment proches diffèrent formellement. ## Synthèse Synthèse Un module est un groupe additif muni d'une action compatible d'un anneau, généralisant les espaces vectoriels et constituant l'objet fondamental des constructions linéaires sur anneaux, où l'existence de bases et la notion de dimension dépendent de propriétés particulières de l'anneau.