代數同態 在A和B兩個K多元環之間的同態是指一個函數 F  A  B displaystyle FArightarrow B 此函數能使得對所有在K內的k和在A內的xy來說 Fkx  kFx Fx  y  Fx  Fy Fxy  FxFy 若F是双射的則F稱為是A和B之間的同構