モノイド環
抽象代数学におけるモノイド環（モノイドかん、）あるいはモノイド多元環（モノイドたげんかん、; モノイド代数）は、（単位的）環とモノイドから構成される単位的多元環で、多項式環の概念を一般化するものである。
実際、環 上の一変数多項式環 は と（ を含む）自然数全体の成す（加法的）モノイド （あるいは適当な不定元 を用いて乗法的に書いた可換モノイド ）から得られるモノイド環 であり、同様に（加法）モノイド は -変数の多項式環 を与える。
与えられたモノイドがさらに群を成すとき、得られるモノイド環は群環と呼ばれる。