Un corollaire
Bonjour
J'ai le théorème suivant.
Théorème. (Propriété universelle de l'anneau quotient)
Soit $I$ un idéal bilatère d'un anneau $A$ et $ \pi$ le morphisme canonique : $A \to A/I$ ; alors quels que soient l'anneau $B$ et $f \in Hom(A,B)$ tel que $I \subseteq \ker f$, il existe un unique morphisme $\varphi \in Hom(A/I,B) $ tel que $\quad \varphi \circ \pi = f.$
Puis il y a un corollaire.
Corollaire. Les hypothèses étant celles du théorème ci dessus,
a) $f$ surjectif $\Rightarrow\varphi$ surjectif,
b) $I=\ker f \Rightarrow\varphi$ injectif,
c) $(f \text{ surjectif et } I=\ker f) \Rightarrow\varphi$ isomorphisme.
J'aimerais démontrer l'assertion b) de ce corollaire mais je ne sais pas comment faire.
Merci d'avance.
[En $\LaTeX$, ce sont les expressions mathématiques au complet que l'on encadre, pas seulement quelques termes. ;-) AD]
J'ai le théorème suivant.
Théorème. (Propriété universelle de l'anneau quotient)
Soit $I$ un idéal bilatère d'un anneau $A$ et $ \pi$ le morphisme canonique : $A \to A/I$ ; alors quels que soient l'anneau $B$ et $f \in Hom(A,B)$ tel que $I \subseteq \ker f$, il existe un unique morphisme $\varphi \in Hom(A/I,B) $ tel que $\quad \varphi \circ \pi = f.$
Puis il y a un corollaire.
Corollaire. Les hypothèses étant celles du théorème ci dessus,
a) $f$ surjectif $\Rightarrow\varphi$ surjectif,
b) $I=\ker f \Rightarrow\varphi$ injectif,
c) $(f \text{ surjectif et } I=\ker f) \Rightarrow\varphi$ isomorphisme.
J'aimerais démontrer l'assertion b) de ce corollaire mais je ne sais pas comment faire.
Merci d'avance.
[En $\LaTeX$, ce sont les expressions mathématiques au complet que l'on encadre, pas seulement quelques termes. ;-) AD]
Réponses
-
Suppose $\varphi(x) = 0$, écris $x = \pi(a)$, ...
-
Excuse-moi Maxtimax mais je ne comprends pas ce que tu veux que je fasse
-
Maxtimax pourquoi je devrais supposer $\varphi$(x) = 0 ?
-
Tu veux montrer que $\varphi$ est injectif, il s'agit donc de prendre $x$ tel que $\varphi(x) = 0$ et de montrer qu'alors, $x=0$
-
On a alors
$\varphi$($\pi$(a))= f(a)=0 -
Donc a $\in$ Ker(f)
-
Si je pouvais montrer qu'on a aussi l'inclusion Ker(f) $\subseteq$ I alors j'aurais a $\in$ I=Ker($\pi$) et donc on aurait
x=$\pi$(a)=0 -
Maxtimax tu peux pas me donner un indice pour montrer que Ker(f) $\subseteq$ I ?
-
Mais c'est facile puisqu'on suppose que I=Ker(f) ,c'est bon,comme I=ker(f) donc a $\in$ I=Ker($\pi$) et donc on a
x=$\pi$(a)=0.C'est bon Maxtimax? -
Exactement, tu as supposé $\ker(f)= I$ donc tu n'as pas à le montrer
-
Pour des raisons d'affichage idéologique personnel, je précise qui est $\phi$ :
$$
\phi = \{(classe_I(x) , f(x)) \mid x\in A\},
$$ où $classe_I(x):=\{x+y\mid y\in I\}$Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.5K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 85 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres