Φ:Z→Z/3Z
kerΦ=3Z
準同型定理より
G/kerΦ≅Z/3Z
ψ:Z/3Z→Z/3Z