Now we consider the canonical projection p:AA/M. p: A A/M p(x) p(x)+M We can consider Q as a subset of A by simply identifying rational numbers with constant polynomials. Accordingly, the projection prestricts to a homomorphism p:Q A/M a/ba/b+M