在"A"和"B"两个"K"-多元环之间的同态是指一个函数formula_1，此函数能使得对所有在"K"内的"k"和在"A"内的"x"、"y"来说，若"F"是双射的，则"F"称为是"A"和"B"之间的同构。
例子.令"A"="K"["x"]为在一个体"K"上的所有多项式所组成的集合，且"B"为一个在"K"上所有多项式函数所组成的集合，则"A"跟"B"两个都会是在"K"上分别由标准的多项式和函数的乘法及加法所构成的代数。可以将每个在"A"内的formula_2以formula