環 $R$ から環 $S$ への準同型写像 $\phi$ の核($\text{Ker } \phi$)は、常に $R$ の何になるか。

環準同型の核は、常に元の環のイデアルとしての構造を持つ。