2. Assuming $\mathbb{Z}_p=\mathbb{Z}/p\mathbb{Z}$ here. Since $\mathbb{Z}_p\oplus\mathbb{Z}_p$ is generated by (1,0),(0,1), any homomorphic image of them uniquely determines a homomorphism.