結合多元環 𝑅を可換環を与える. 𝑅上の結合多元環(associative algebra)とは以下のデータからなる. 𝑅-加群𝐴 𝐴上の二項演算 ⋅ : 𝐴 × 𝐴 → 𝐴 これらは以下の条件を満たす. ⋅は𝑅-双線型.つまり, ⋅は結合的.つまり,