Es seien ${\displaystyle {}R}$ und ${\displaystyle {}A}$ kommutative Ringe und sei ${\displaystyle {}S\subseteq R}$ ein multiplikatives System. Es sei

${\displaystyle \varphi \colon R\longrightarrow A}$

ein Ringhomomorphismus derart, dass ${\displaystyle {}\varphi (s)}$ eine Einheit in ${\displaystyle {}A}$ für alle ${\displaystyle {}s\in S}$ ist.

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

der ${\displaystyle {}\varphi }$ fortsetzt.