代數環

一個具有單位元 的 擬群，使得對於 擬群 中的任何 ，都有 和 。所有群都是環。

一般來說，環被認為幾乎沒有代數結構，因此許多作者將其研究限制在滿足各種其他結構條件的環上。常見的例子包括左和右 Bol 環、Moufang 環（它同時是左 Bol 環和右 Bol 環）以及 廣義 Bol 環。

上面環的定義是純代數的，不應與 環 的其他概念混淆，例如 閉合曲線、多組分 紐結 或 繩結、圖環 等。