>>828
あ、ZからA(任意の環)で
n・1_A=1_A+...+1_A (n個)
φ:Z→Aをφ(n)=n・1_Aとするとhomで
これを自然な準同型っていってる...