数学中，环由一个对象集合 :math:`R`、运算 :math:`+` :math:`\times`、常数 :math:`0` 和 :math:`1`、求逆运算 :math:`x \mapsto -x` 构成 ...

在 :numref:`proving_identities_in_algebraic_structures` 中，我们看到许多关于实数的常见恒等式适用于更一般的代数结构类，比如交换环 ...