数学において体上の代数あるいは多元環(たげんかん、英: algebra)とは、双線型な乗法を備えた線型空間である(ゆえに「線型環」ともいう)。すなわちベクトル空間とその上の乗法と呼ばれる二項演算——つまり二つのベクトルから第三のベクトルを作り出す操作——とからなり、乗法がベクトル空間の構造と(分配律などの)適当な意味で両立するような代数的構造である。したがって、体上の多元環は、加法と乗法および体の元によるスカラー倍とを演算として備えた集合である。 定義における係数の体を可換環に取り換えることにより、体上の多元環の一般化として環上の多元環の概念を得ることもできる。 文献によっては、単に「多元環」(あるいは「代数」)と言えば単位的結合多元環を指すこともあるが、本項ではそのような制約は課さない。