環的定義類似於可交換群，只不過在原有的「+」的基礎上又增添另一種運算「·」（注意我們這裏所說的 + 與 · 一般不是通常意義下我們所熟知的加法和乘法）。在抽象代數中，研究環的分支為環論。