Question
Let `phi : ZZ rightarrow ZZ_5 :
phi(x) = x mod 5`
with `Ker (phi) = 5 ZZ`.
Is it true that `ZZ"/"5 ZZ cong ZZ_5`
?