θεωρουμε την απεικονιση φ(π(χ))=π(i) απο το R[X] στο C.ειναι ο λεγομενος ομομορφισμος εκτιμησης.ο πηρυνας του ειναι το ιδεωδες που παραγει το χ^2+1 και ειναι επι διοτι για καθε α+βi στο C το πολυωνυμο α+βχ απεικονιεται μεσω της φ σ αυτον.
το πρωτο θεωρημα ισομορφισμων μας οδηγει ετσι απευθειας στο ζητουμενο!
οι αλλες ασκησεις στους ισομορφισμους λυνονται με τον ιδιο τροπο βρισκοντας καταλληλους ομομορφισμους και χρησιμοποιωντας το ιδιο θεωρημα:
