两个环之间的同态空间