Dowód pewnego stwierdzenia
: 28 sie 2010, o 15:19
Na początek treść definicji i stwierdzenia:
Definicja: Niech \(\displaystyle{ u \colon M \to N}\) będzie homomorfizmem \(\displaystyle{ A}\)-modułów. Podnosi się on do homomorfizmu \(\displaystyle{ S^{-1}A}\)-modułów \(\displaystyle{ S^{-1}u \colon S^{-1}M \to S^{-1}N}\) w taki sposób, że \(\displaystyle{ S^{-1}u}\) odwzorowuje \(\displaystyle{ \frac{m}{s}}\) na \(\displaystyle{ \frac{u(m)}{s}}\). Zachodzi przy tym \(\displaystyle{ S^{-1}(v \circ u)=(S^{-1}v) \circ (S^{-1}u)}\).
Stwierdzenie: Operacja \(\displaystyle{ S^{-1}}\) jest dokładna, tzn. jeśli \(\displaystyle{ M' \stackrel{f}{\rightarrow} M \stackrel{g}{\rightarrow} M''}\) jest dokładny w \(\displaystyle{ M}\), to \(\displaystyle{ S^{-1}M' \stackrel{S^{-1}f}{\rightarrow} S^{-1}M \stackrel{S^{-1}g}{\rightarrow} S^{-1}M''}\) jest dokładny w \(\displaystyle{ S^{-1}M}\).
Teraz część zasadnicza: dowód zaczyna się od sformułowania "Mamy \(\displaystyle{ g \circ f=0}\). [...]". Dlaczego \(\displaystyle{ g \circ f=0}\)?
Źródło: M. F. Atiyah, I.G. Macdonald, "Wprowadzenie do algebry komutatywnej"
Definicja: Niech \(\displaystyle{ u \colon M \to N}\) będzie homomorfizmem \(\displaystyle{ A}\)-modułów. Podnosi się on do homomorfizmu \(\displaystyle{ S^{-1}A}\)-modułów \(\displaystyle{ S^{-1}u \colon S^{-1}M \to S^{-1}N}\) w taki sposób, że \(\displaystyle{ S^{-1}u}\) odwzorowuje \(\displaystyle{ \frac{m}{s}}\) na \(\displaystyle{ \frac{u(m)}{s}}\). Zachodzi przy tym \(\displaystyle{ S^{-1}(v \circ u)=(S^{-1}v) \circ (S^{-1}u)}\).
Stwierdzenie: Operacja \(\displaystyle{ S^{-1}}\) jest dokładna, tzn. jeśli \(\displaystyle{ M' \stackrel{f}{\rightarrow} M \stackrel{g}{\rightarrow} M''}\) jest dokładny w \(\displaystyle{ M}\), to \(\displaystyle{ S^{-1}M' \stackrel{S^{-1}f}{\rightarrow} S^{-1}M \stackrel{S^{-1}g}{\rightarrow} S^{-1}M''}\) jest dokładny w \(\displaystyle{ S^{-1}M}\).
Teraz część zasadnicza: dowód zaczyna się od sformułowania "Mamy \(\displaystyle{ g \circ f=0}\). [...]". Dlaczego \(\displaystyle{ g \circ f=0}\)?
Źródło: M. F. Atiyah, I.G. Macdonald, "Wprowadzenie do algebry komutatywnej"