Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein flacher R {\displaystyle {}R} -Modul. Es sei S {\displaystyle {}S} eine R {\displaystyle {}R} -Algebra. Zeige, dass M ⊗ R S {\displaystyle {}M\otimes _{R}S} ein flacher S {\displaystyle {}S} -Modul ist.
