環準同型写像 f は、ker f = {0} であることと、単射であることが同値です。このことから、体の準同型写像まで理解を広げて考えます。すると、体の零でない元には、乗法逆元が存在することから、体から体への環準同型写像は、必ず単射と ...