Es sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}S\subseteq R}$ ein multiplikatives System.

Dann ist der ${\displaystyle {}R}$-Modul ${\displaystyle {}R_{S}}$ flach.