InducedHom -- homomorphism induced by a homomorphism |
Syntax |
InducedHom(RmodI: RING, phi: RINGHOM): RINGHOM |
Description |
Example |
/**/ use R ::= QQ[x,y]; /**/ RmodI := NewQuotientRing(R, ideal(x^2-1)); /**/ use S ::= QQ[a,b,c]; /**/ SmodJ := NewQuotientRing(S, ideal(a^2-1)); /**/ phi := PolyAlgebraHom(R,S,[a,b]); /**/ use R; /**/ phi(x); a /**/ RingOf(phi(x)) = S; true /**/ psi := CanonicalHom(S,SmodJ)(phi); -- composition of homomorphisms /**/ psi(x); (a) /**/ RingOf(psi(x)) = SmodJ; true /**/ theta := InducedHom(RmodI, psi); /**/ use RmodI; /**/ theta(x); (a) |
See Also |