Théorie des modules
La théorie des modules étudie les modules, la généralisation des espaces vectoriels dans laquelle les scalaires proviennent d'un anneau plutôt que d'un corps, unifiant l'algèbre linéaire, la théorie des groupes abéliens et la théorie des représentations des anneaux.
Definition
Un module sur un anneau R est un groupe abélien muni d'une action de R compatible avec la structure de groupe, généralisant les espaces vectoriels (modules sur un corps) et les groupes abéliens (modules sur les entiers). La théorie des modules étudie de telles structures et les applications entre elles.
Scope
Ce domaine couvre les modules et sous-modules, les modules quotients et les homomorphismes, les modules libres et projectifs, les sommes et produits directs, les suites exactes, les produits tensoriels et les applications bilinéaires, ainsi que le théorème de structure des modules de type fini sur un anneau principal. Il fournit le langage homologique utilisé dans toute l'algèbre moderne.
Sub-topics
Core questions
- Quand un module possède-t-il une base, et en quoi les modules libres diffèrent-ils des espaces vectoriels ?
- Comment les modules de type fini sur un anneau principal sont-ils classifiés ?
- Comment le produit tensoriel encode-t-il les constructions bilinéaires et le changement d'anneaux ?
- Quels invariants homologiques (projectivité, exactitude) mesurent-ils l'incapacité d'un module à se comporter comme un espace vectoriel ?
Key theories
- Théorème de structure des modules de type fini sur un anneau principal
- Tout module de type fini sur un anneau principal se décompose en une somme directe d'un module libre et de modules de torsion cycliques, avec des invariants (diviseurs élémentaires ou facteurs invariants) qui le classifient à isomorphisme près.
- Propriété universelle du produit tensoriel
- Le produit tensoriel de deux modules est la cible universelle des applications bilinéaires, transformant les constructions bilinéaires en constructions linéaires et permettant le changement de base entre anneaux.
- Modules libres, projectifs et suites exactes
- Les modules libres généralisent les bases, les modules projectifs sont des facteurs directs de modules libres, et les suites exactes courtes et leur scindement décrivent comment les modules sont construits à partir de sous-modules et de modules quotients, fondant ainsi l'algèbre homologique.
Clinical relevance
La théorie des modules unifie et généralise des constructions fondamentales : la classification des groupes abéliens de type fini et les formes canoniques des opérateurs linéaires sont toutes deux des cas particuliers du théorème de structure des anneaux principaux, tandis que les modules sur les algèbres de groupe sont précisément des représentations, reliant la théorie des modules à la théorie des représentations, à la topologie algébrique et à l'algèbre commutative.
History
Les modules ont généralisé les idéaux de Dedekind et les groupes abéliens de l'arithmétique du XIXe siècle, et ont été placés au centre de l'algèbre par Emmy Noether, qui a reconnu que les idéaux, les quotients d'idéaux et les représentations sont tous des modules. Le sujet est devenu le cadre naturel de l'algèbre homologique développée par Cartan, Eilenberg et Mac Lane.
Key figures
- Emmy Noether
- Richard Dedekind
- Wolfgang Krull
- Emil Artin
- Saunders Mac Lane
Related topics
Seminal works
- lang2002
- dummit2004
- atiyah1969
Frequently asked questions
- Pourquoi tout module n'est-il pas libre comme un espace vectoriel ?
- Sur un corps, tout module possède une base, mais sur un anneau général, les éléments peuvent avoir de la torsion ou des relations qu'aucune base ne peut exprimer ; par exemple, les entiers modulo n constituent un module sur les entiers sans base. Les modules libres sont les modules spéciaux qui admettent une base.
- Comment la théorie des modules retrouve-t-elle l'algèbre linéaire et les groupes abéliens ?
- Un module sur un corps est exactement un espace vectoriel, et un module sur les entiers est exactement un groupe abélien. Le théorème de structure unique sur un anneau principal permet donc d'obtenir à la fois la classification des groupes abéliens de type fini et les formes canoniques des matrices.