2.10.3 Commands and Functions for RINGHOM |
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 |