Diagramme commutatif, base adaptée
Bonjour, j'ai travaillé aujourd'hui la preuve du théorème de la base adaptée pour les modules sur un anneau principal tiré d'un polycopié qui n'est malheureusement plus disponible sur internet (je l'ai photocopie il y a deux ans) et le professeur affirme ceci:
Soit M un A-module libre I un idéal de A alors si l'on dispose d'une application linéaire f: M-->A/I alors il existe une application linéaire g: M-->A
telle que f=pi o g avec pi la projection canonique de A vers A/I.
Je ne vois pas tres bien comment faire la preuve de cet enoncé, si quelqu'un pouvait m'aider ce serait super.
Soit M un A-module libre I un idéal de A alors si l'on dispose d'une application linéaire f: M-->A/I alors il existe une application linéaire g: M-->A
telle que f=pi o g avec pi la projection canonique de A vers A/I.
Je ne vois pas tres bien comment faire la preuve de cet enoncé, si quelqu'un pouvait m'aider ce serait super.
Réponses
-
$M$ est un module libre, comment définir des applications $M\to N$ en général ?
-
Il s'agit simplement du fait qu'un $A$-module libre est projectif :
Si $(e_i)_{i \in I}$ est une base de $M$, on choisit un antécédent $\alpha_i$ dans $A$ pour chaque $f(e_i)$. Une application $g$ possible fait alors correspondre chaque $\alpha_i$ à chaque $e_i$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres