群 封闭、结合、有单位元、都有逆元 交换群 加群：加法交换群 半群：满足前两个 幺半群：满足前三个 环 加群、乘法封闭、乘法结合、分配 交换环 同态：f(a+b)=f(a)+f(b); f(ab)=f(a)f(b) 满同态、单同态、同构...