24.1. Ο ομομορφισμός φ : R[x] ® C της 23.10. είναι επιμορφισμός:
Τυχαίο
στοιχείο του C
γράφεται
ως ai + b = 0, όπου a, b
R.
Τότε ax + b R[x] και
φ(ax + b) = ai + b.
Αφού Kerφ = <x2 + 1>, από το πόρισμα 23.1, R[x] / <x2 + 1> ~ C.