高等代数中的环是一种代数结构，它包含两个二元运算：加法和乘法。环需要满足以下基本性质：

加法封闭性 ：环中的任意两个元素相加的结果仍然在该环中。

加法结合律 ：对于环中的任意三个元素 $a, b, c$，有 $（a + b） + c = a + （b + c）$。

存在加法单位元 ：环中存在一个元素 $0$，对于环中的任意元素 $a$，有 $a + 0 = 0 + a = a$。

乘法封闭性 ：环中的任意两个元素相乘的结果仍然在该环中。

乘法结合律 ：对于环中的任意三个元素 $a, b, c$，有 $（a b） c = a （b c）$。

乘法对加法的分配律 ：对于环中的任意元素 $a, b, c$，有 $a （b + c） = a b + a c$ 和 $（a + b） c = a c + b c$。

此外，如果环中的每个非零元素都有逆元，则该环称为除环（或体）。如果环是交换的，则称为交换环。

环在数学的许多领域中都有广泛的应用，例如在数论、代数几何和抽象代数中。常见的环的例子包括整数环 $mathbb{Z}$、有理数环 $mathbb{Q}$、实数环 $mathbb{R}$ 和复数环 $mathbb{C}$，以及多项式环 $mathbb{Z}[x]$ 和 $mathbb{Q}[x]$ 等。