在数学中，交换环上的代数或多元环是一种代数结构，上下文不致混淆时通常迳称代数。本页面中的环都是指有单位的环，并使用么环一词表示则是不一定有单位的环。
定义.给定一个交换环 formula_1 。
代数.给定一个四元组 formula_2 。如果以下两个条件成立：那么我们说四元组 formula_13 是一个 formula_1 上的代数（或称 formula_1-代数），或简称集合 formula_6 是一个formula_1-代数。Sectio