Module

Un module est une structure de type espace vectoriel dont les scalaires proviennent d'un anneau plutôt que d'un corps, l'objet central de la théorie des modules qui unifie les groupes abéliens, les espaces vectoriels et les représentations.

Definition

Un module sur un anneau R est un groupe abélien muni d'une multiplication scalaire par des éléments de R qui est distributive, associative et respecte l'identité, généralisant les espaces vectoriels aux coefficients d'anneau.

Scope

Ce sujet aborde la définition d'un module sur un anneau, les sous-modules et les modules quotients, les homomorphismes de modules, les générateurs et les relations, les modules cycliques et de type fini, et les théorèmes d'isomorphisme, ainsi que les exemples fondamentaux de groupes abéliens et d'espaces vectoriels en tant que modules.

Core questions

• Comment un module généralise-t-il un espace vectoriel et un groupe abélien ?
• Que sont les sous-modules, les modules quotients et les homomorphismes de modules ?
• Comment un module est-il présenté par des générateurs et des relations ?
• Pourquoi les modules peuvent-ils ne pas avoir de base ?

Key theories

Les modules unifient des structures familières

Un module sur un corps est un espace vectoriel et un module sur les entiers est un groupe abélien, ainsi la théorie des modules traite ceux-ci et les représentations de groupes-anneaux au sein d'un cadre unique.

Théorèmes d'isomorphisme pour les modules

Les homomorphismes de modules se factorisent à travers les quotients par leurs noyaux, et les théorèmes de correspondance et d'isomorphisme se transposent des groupes et des anneaux, organisant la structure des sous-modules et des quotients.

Générateurs et relations

Tout module est un quotient d'un module libre, il est donc présenté par des générateurs et des relations ; l'incapacité des relations à s'annuler est précisément ce qui distingue les modules généraux des espaces vectoriels.

Clinical relevance

Les modules constituent le langage commun de nombreuses structures algébriques : les idéaux et les anneaux quotients, les groupes abéliens, les représentations de groupes et d'algèbres, ainsi que les groupes d'homologie et de cohomologie de la topologie sont tous des modules ; ainsi, la théorie des modules fournit des outils applicables dans l'ensemble des mathématiques.

History

Le concept de module a généralisé les modules de nombres algébriques de Dedekind et les groupes abéliens de l'arithmétique du XIXe siècle, et Emmy Noether l'a placé au centre de l'algèbre dans les années 1920 en reconnaissant que les idéaux, les quotients et les représentations sont tous des modules sur des anneaux appropriés.

Key figures

• Emmy Noether
• Richard Dedekind
• Wolfgang Krull

Seminal works

• dummit2004
• lang2002
• atiyah1969

Frequently asked questions

Pourquoi un module est-il comme un espace vectoriel avec un anneau de scalaires ?

Les axiomes sont identiques à ceux d'un espace vectoriel, sauf que les scalaires proviennent d'un anneau plutôt que d'un corps. Étant donné que les éléments d'un anneau n'ont pas nécessairement d'inverse, les modules peuvent présenter de la torsion et des relations qu'aucun espace vectoriel n'exhibe.

Quels objets familiers sont des modules ?

Les groupes abéliens sont des modules sur les entiers, les espaces vectoriels sont des modules sur des corps, et les idéaux d'un anneau sont des modules sur cet anneau. C'est pourquoi une théorie unique des modules peut aborder simultanément tant de contextes algébriques.