up previous next
2.10.3 Commands and Functions for RINGHOM
apply apply homomorphism
codomain codomain of a homomorphism
domain domain of a homomorphism
InducedHom homomorphism induced by a homomorphism
IsInImage check if a RINGELEM is in image of RINGHOM
IsInjective check if a RINGHOM is injective
IsSurjective check if a RINGHOM is surjective
ker Kernel of a homomorphism
PolyRingHom homomorphism of polynomial rings
preimage0 preimage of a RINGELEM