11.2 代数系统的同态和同构