Question
Let `mu: ZZ"/"n ZZ rightarrow phi[ZZ]` , where
`\ \ \ \ \ \ phi: ZZ rightarrow ZZ_n`.
`ZZ_n = {bar 0 , bar 1 , bar 2 , ... , bar (n -1)}`.
Is it true that `ker(phi) = nZZ`
?