Es seien R {\displaystyle {}R} und A {\displaystyle {}A} kommutative Ringe und sei
Dann ist das Urbild φ − 1 ( A × ) {\displaystyle {}\varphi ^{-1}(A^{\times })} der Einheitengruppe ein multiplikatives System.
