环同态，在环论或抽象代数中，是指两个环R与S之间的映射f保持两个环的加法与乘法运算。