Es seien A , B {\displaystyle {}A,B} kommutative Ringe und sei φ : A → B {\displaystyle {}\varphi :A\rightarrow B} ein Ringhomomorphismus . Zeige, dass das Urbild φ − 1 ( B × ) {\displaystyle {}\varphi ^{-1}(B^{\times })} der Einheitengruppe ein saturiertes multiplikatives System
ist.