代数环

一个具有单位元 的 拟群，使得对于 拟群 中的任何 ，都有 和 。所有群都是环。

一般来说，环被认为几乎没有代数结构，因此许多作者将其研究限制在满足各种其他结构条件的环上。常见的例子包括左和右 Bol 环、Moufang 环（它同时是左 Bol 环和右 Bol 环）以及 广义 Bol 环。

上面环的定义是纯代数的，不应与 环 的其他概念混淆，例如 闭合曲线、多组分 纽结 或 绳结、图环 等。