数学の殊に環論において可換環上の代数あるいは多元環(たげんかん、英: algebra)は、体上の多元環の概念においてを考えるところを置き換えて可換環をとしたものである。 本項においては、環と言えば単位元を持つものと仮定する。