モノイド環
抽象代数学におけるモノイド環(モノイドかん、英: monoid ring)あるいはモノイド多元環(モノイドたげんかん、英: monoid algebra; モノイド代数)は、(単位的)環とモノイドから構成される単位的多元環で、多項式環の概念を一般化するものである。
実際、環 R 上の一変数多項式環 R[x] は R と(0 を含む)自然数全体の成す(加法的)モノイド N (あるいは適当な不定元 x を用いて乗法的に書いた可換モノイド {x | n ∈ N})から得られるモノイド環 R[{x}] であり、同様に(加法)モノイド N は n-変数の多項式環 R[N] =: R[X1, ..., Xn] を与える。
与えられたモノイドがさらに群を成すとき、得られるモノイド環は群環と呼ばれる。