环同态 在环论或抽象代数中环同态是指两个环R與S之间的映射f保持两个环的加法与乘法运算 更加精确地如果R和S是环则环同态是一个函数f  R  S使得 fa  b  fa  fb对于R内的所有a和b fab  fa fb对于R内的所有a和b f   如果我们不要求环具有乘法单位元则最后一个条件不需要