Reduction modulo an ideal (source code)

= Reduction modulo an ideal

Reduction modulo an ideal $I$ is the quotient homomorphism $R\to R/I$.