Ring theory MOC

Field homomorphisms are injective

Suppose are fields and is a ring homomorphism. Then is injective, and is thus a field extension. ring

Proof

Note is necessarily a proper ideal of , and ^C1, thus .

---

tidy | en | sembr