抽象代数学基本概念之一。一个代数系统到另一同类型的代数系统内保持代数运算（如加法、乘法等）的映射。例如φ是环A到环B的同态，x、y为A中的元素，则有φ(x＋y)=φ(x)＋φ(y)φ(xy)=φ(x)φ(y)。以及如果这两个代数系统为拓扑空间，则要求此映射为连续。一个代数系统到自身的同态，称为“自同态”。一对一的同态就是*同构。