| 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 |