On the localization ring of a ring (Q2542542): Difference between revisions

Dans la première section on introduit des notions fondamentales: topologie additive, la localisation, etc. et on démontre des résultats généraux sur ces notions. Dans la deuxième section on obtient des résultats sur les topologies additives pour un anneau commutatif en utilisant les idéaux premiers. Particulièrement on étudie les topologies additives finies engendrées, leur structure et on détermine les éléments maximaux de cet ensemble (proposition 2.7). Dans la troisième section on caractérise les épimorphismes des anneaux et on introduit les morphismes pré-plats des anneaux: on dit qu'un morphisme \(\varphi: A\to B\) des anneaux commutatifs, unitaires est pré-plat si pour tout \(b\in B\) ils existent des éléments \(a_1, \ldots, a_n\in A\) et \(b_1, \ldots, b_n\in B\) tels que: \(\sum_i \varphi(a_i)b_i =1\) et \(\varphi(a_i)b\in \varphi(A)\) pour tout \(i\). La proposition 3.4 donne une caractérisation des morphismes pré-plats. Dans la proposition 3.7 on montre qu'un morphisme \(\varphi: A\to B\) des anneaux commutatifs est un épimorphisme plat si et seulement si \(\varphi\) est pré-plat et pour tout \(x\in \operatorname{Ker} \varphi\) on a: \((x)\otimes_AB=0\). Dans la section 4 on montre que si \(\varphi: A\to B\) est un morphisme pré-plat, alors \(B\) est la localisé de \(A\) par rapport à la topologie additive formé des idéaux \(\mathfrak a\) tels que \(\varphi(\mathfrak a)B=B\). Comme application on montre que si \(A\) est un anneau commutatif alors tout \(A\)-module simple projectif est injectif. En final on pose des questions sur les anneaux commutatifs.