Field homomorphisms are injective

Suppose are fields and is a ring homomorphism. Then is injective, and is thus a field extension. #m/thm/ring

Proof

Note is necessarily a proper ideal of , and is a field iff it has no nonzero proper ideals, thus .

#state/tidy | #lang/en | #SemBr