ring homomorphism

mapping between two rings which respects the structure