交换环（Szekeres约定） (commutative ring)

§3.1 explicitly assumes (R6) ab=ba; identity is not required.

别名：ring；环

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。

已登记出处中的最早位置：§3.1 · zh-CN。

位置	语言	登记角色
§3.1	zh-CN · 英文上下文	术语出现

来源短摘录与定位

§3.1 · zh-CN · translation · unreviewed

一个环(ring) $R$ 是一个集合，带有两种复合运算，分别称为加法和乘法，记作 $a + b$ 和 $ab$ 。要求 $R$ 关于 $+$ 构成阿贝尔群，其恒等元为 $0$ ，逆元记作 $- a$ 。关于乘法， $R$ 应为交换半群，因而恒等元和逆元未必存在。具体而言，环的要求如下：

来源覆盖、定位与记录

索引保留所有已登记出处，不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对，不冒充另一语言的概念定义。没有穷尽全书未标记的术语；程序校验不提升原著或译文审阅资格。

登记位置 1；当前可定位出现 1。

永久身份：urn:uuid:b1e9ae23-1814-48c8-8a33-0b0337c674d8。