You need to prove that this follows because of how we defined polynomial multiplication. It is surjective because if then it means and so . The kernel are all so that , since is an irreducible polynomial it must divide any with this means . Now by fundamental homomorphism thereom for rings the results follows.