Es sei φ : R → S {\displaystyle {}\varphi \colon R\rightarrow S} ein Ringhomomorphismus zwischen den kommutativen Ringen R {\displaystyle {}R} und S {\displaystyle {}S} . Zeige, dass das Urbild von einem Ideal
b ⊆ S {\displaystyle {}{\mathfrak {b}}\subseteq S} ein Ideal in R {\displaystyle {}R} ist.
