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
IsInjective check if a RINGHOM is injective
IsSurjective check if a RINGHOM is surjective
ker Kernel of a homomorphism
PolyRingHom homomorphism of polynomial rings
PreImage preimage of a RINGELEM