Multiplikatives System/Saturiert/Definition

Saturiertes multiplikatives System

Ein multiplikatives System $S$ in einem kommutativen Ring $R$ heißt saturiert, wenn Folgendes gilt: Ist  $g\in R$  und gibt es ein  $f\in S$,  das von $g$ geteilt wird, so ist auch  $g\in S$.