Théorème de structure des modules de type fini

Le théorème de structure classifie les modules de type fini sur un anneau principal comme des sommes directes d'une partie libre et de composantes de torsion cycliques, unifiant ainsi la classification des groupes abéliens et les formes canoniques des matrices.

Definition

Le théorème de structure énonce que tout module de type fini sur un anneau principal est isomorphe à une somme directe d'un module libre de rang fini et d'un nombre fini de modules de torsion cycliques, avec des invariants (facteurs invariants ou diviseurs élémentaires) qui le déterminent à isomorphisme près.

Scope

Ce sujet traite de la décomposition d'un module de type fini sur un anneau principal en facteurs invariants et en diviseurs élémentaires, de l'unicité de ces invariants, du rang libre et du sous-module de torsion, ainsi que des deux applications phares aux groupes abéliens finis et aux formes canoniques des opérateurs linéaires.

Core questions

• Comment un module de type fini sur un anneau principal se décompose-t-il ?
• Quels invariants classifient de tels modules à isomorphisme près ?
• Comment le théorème retrouve-t-il la classification des groupes abéliens finis ?
• Comment le théorème produit-il les formes canoniques rationnelle et de Jordan ?

Key theories

Décomposition en facteurs invariants

Un module de type fini sur un anneau principal est une somme directe de l'anneau lui-même un certain nombre de fois et de quotients cycliques par une chaîne de facteurs invariants divisant, qui sont uniques et déterminent le module.

Décomposition en diviseurs élémentaires

L'affinage des facteurs invariants en puissances de nombres premiers donne la forme en diviseurs élémentaires, une décomposition équivalente en modules cycliques d'ordre puissance de nombre premier qui est également un invariant d'isomorphisme complet.

Applications aux groupes abéliens et aux opérateurs

Sur les entiers, le théorème classifie les groupes abéliens de type fini, et sur un anneau de polynômes à une variable, il classifie les opérateurs linéaires, produisant les formes canoniques rationnelle et de Jordan.

Clinical relevance

Le théorème de structure est l'un des résultats de classification les plus importants en algèbre : un seul énoncé produit à la fois le théorème fondamental des groupes abéliens de type fini et la théorie des formes canoniques des opérateurs linéaires, des outils utilisés en topologie, en théorie des nombres et en algèbre linéaire appliquée.

History

Ce résultat généralise la classification des groupes abéliens finis du XIXe siècle par Kronecker et la forme normale de Smith pour les matrices à coefficients entiers. Reformulé dans le langage des modules par Emmy Noether et son école, il a unifié ces théorèmes classiques avec les formes canoniques de Weierstrass et de Jordan.

Key figures

• Emmy Noether
• Karl Weierstrass
• Henry John Stephen Smith
• Leopold Kronecker

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Pourquoi le théorème exige-t-il un anneau principal ?

La preuve repose sur la forme normale de Smith pour les matrices sur l'anneau, laquelle dépend du fait que chaque idéal soit principal afin que les paires d'éléments aient des plus grands diviseurs communs. Sur des anneaux plus généraux, la décomposition nette échoue.

Comment un seul théorème permet-il d'obtenir à la fois les groupes abéliens et les formes canoniques ?

Les entiers et l'anneau de polynômes à une variable sur un corps sont tous deux des anneaux principaux. L'application du théorème sur les entiers classifie les groupes abéliens, tandis que son application sur l'anneau de polynômes, où un espace vectoriel muni d'un opérateur est un module, donne les formes canoniques.