====== Плоский модуль ====== Пусть R --- [[:glossary:ring|ассоциативное кольцо с единицей]]. ===== Плоский левый модуль ===== __Определение 1.__ [[:glossary:module#левый_модуль|Левый унитарный]] R-[[:glossary:module#левый_модуль|модуль]] M называется **плоским**((flat module)), если из [[:glossary:module:left:sequence:exact|точности последовательности]] [[:glossary:module#правый_модуль|правых]] R-[[:glossary:module#правый_модуль|модулей]] 0\rightarrow A\stackrel{i}{\rightarrow} B\stackrel{p}{\rightarrow} C\rightarrow 0 следует [[:glossary:group:commutative:sequence:exact|точность последовательности]] 0\rightarrow A\otimes_R M\stackrel{i\otimes 1}{\rightarrow} B\otimes_R M\stackrel{p\otimes 1}{\rightarrow} C\otimes_R M\rightarrow 0.((Здесь A\otimes_R M обозначает [[:glossary:module:product:tensor#тензорное_произведение_модулей_над_ассоциативным_кольцом|тензорное произведение модулей]].)) ===== Плоский правый модуль ===== __Определение 2.__ [[:glossary:module#правый_модуль|Правый унитарный]] R-[[:glossary:module#правый_модуль|модуль]] M называется **плоским**((flat module)), если из [[:glossary:module:left:sequence:exact|точности последовательности]] [[:glossary:module#левый_модуль|левых]] R-[[:glossary:module#левый_модуль|модулей]] 0\rightarrow A\stackrel{i}{\rightarrow} B\stackrel{p}{\rightarrow} C\rightarrow 0 следует [[:glossary:group:commutative:sequence:exact|точность последовательности]] 0\rightarrow M\otimes_R A\stackrel{1\otimes i}{\rightarrow}M\otimes_R B\stackrel{1\otimes p}{\rightarrow} M\otimes_R C\rightarrow 0.((Здесь M\otimes_R A обозначает [[:glossary:module:product:tensor#тензорное_произведение_модулей_над_ассоциативным_кольцом|тензорное произведение модулей]].)) ===== Литература ===== * [[http://www.ozon.ru/context/detail/id/4047047/?partner=lds1938|Бурбаки Н. «Гомологическая алгебра», Наука, 1987.]] {{tag>"абстрактная алгебра" "ассоциативное кольцо" "плоский модуль" "точная последовательность"}}