Linear algebra (Osnabrück 2024-2025)/Commutative ring/Ring homomorphism/Kernel/Ideal/Fact/Factreferencenumber

Lemma 47.11