Es sei R {\displaystyle {}R} ein kommutativer Ring und S ⊆ R {\displaystyle {}S\subseteq R} ein multiplikatives System.
Dann ist der R {\displaystyle {}R} -Modul R S {\displaystyle {}R_{S}} flach.