up previous next
QuotientingHom    --    returns the projection homomorphism into a quotient ring


Syntax 
QuotientingHom(P: RING): RINGHOM

Description
This function returns the projection homomorphism of a ring R into a quotient ring R/I.

It is equivalent to calling CanonicalHom(BaseRing(RModI), RModI).

Example 
/**/  use P ::= QQ[i];
/**/  f := i^3;
/**/  K := P/ideal(i^2+1);
/**/  phi := QuotientingHom(K);  -- phi: P -> K
/**/  RingOf(phi(f));
/**/  phi(f); --> round brackets indicate it is the class of -i in K = P/I
(-i)

See Also