Module sur un anneau/Exercices/Modules de type fini
Apparence
Exercice 1
[modifier | modifier le wikicode]Soient un anneau commutatif (unitaire) et son radical de Jacobson. On rappelle que est un idéal de et que pour tout , est inversible dans .
Soit un -module. On note le sous-module des éléments de la forme avec et .
- Montrer que pour tout et tous , si alors .
- En déduire que si est de type fini et alors .
Solution
- Soient tels que . Alors, donc (en multipliant par l'inverse de ) on a bien .
- D'après la question 1, si et si est engendré par éléments (avec ) alors il est engendré par éléments. Par récurrence descendante, il est donc engendré par 0 élément, c'est-à-dire qu'il est nul.