多項式環のイデアルと商環