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