Discussion:Module plat
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |
D.Lazard proved in 1969 that a module M is flat if and only if it is a direct limit of finitely-generated free modules. As a consequence, one can deduce that every finitely-presented flat module is projective. Anne Bauval (d) 5 décembre 2010 à 01:50 (CET) Répondre
- Dans l'article français, on a donné le résultat lorsque l'anneau de base est noethérien. Dans le cas général, il faudrait juste définir les modules de présentation finie. Liu (d) 5 décembre 2010 à 08:39 (CET) Répondre
Pour la fidèle platitude, on pourrait ajouter que M⊗k(p) ≠ 0 s'interprète en disant que le support de M est tout l'anneau - ou dans le cas d'un morphisme, que son spectre est surjectif. JC.Raoult (discuter) 28 février 2018 à 20:47 (CET) Répondre