群、环、域的定义

群、环、域是数学中常见的代数结构，它们分别具有不同的定义和性质。

群：群是一个包含了一个二元运算的集合，该运算满足以下四个性质：

1. 封闭性：对于集合中的任意两个元素进行运算，结果仍然属于该集合。
2. 结合性：运算在该集合中是可结合的，即对于集合中的任意三个元素a、b、c，(a * b) * c = a * (b * c)。
3. 单位元：存在一个特殊元素e，称为单位元，对于集合中的任意元素a，有 a * e = e * a = a。
4. 逆元：对于集合中的任意元素a，存在一个元素b，称为a的逆元，使得 a * b = b * a = e。

环：环是一个包含了两个二元运算的集合，分别为加法和乘法，满足以下性质：

1. 封闭性：对于集合中的任意两个元素进行加法或乘法运算，结果仍然属于该集合。
2. 结合性：加法和乘法在该集合中是可结合的。
3. 加法单位元：存在一个特殊元素0，称为加法单位元，对于集合中的任意元素a，有 a + 0 = 0 + a = a。
4. 加法逆元：对于集合中的任意元素a，存在一个元素-b，称为a的加法逆元，使得 a + (-a) = (-a) + a = 0。
5. 乘法单位元：存在一个特殊元素1，称为乘法单位元，对于集合中的任意元素a，有 a * 1 = 1 * a = a。
6. 分配律：对于集合中的任意三个元素a、b、c，有 a * (b + c) = (a * b) + (a * c) 和 (a + b) * c = (a * c) + (b * c)。

域：域是一个包含了两个二元运算的集合，分别为加法和乘法，满足以下性质：

1. 封闭性：对于集合中的任意两个元素进行加法或乘法运算，结果仍然属于该集合。
2. 结合性：加法和乘法在该集合中是可结合的。
3. 加法单位元：存在一个特殊元素0，称为加法单位元，对于集合中的任意元素a，有 a + 0 = 0 + a = a。
4. 加法逆元：对于集合中的任意元素a，存在一个元素-b，称为a的加法逆元，使得 a + (-a) = (-a) + a = 0。
5. 乘法单位元：存在一个特殊元素1，称为乘法单位元，对于集合中的任意元素a，有 a * 1 = 1 * a = a。
6. 分配律：对于集合中的任意三个元素a、b、c，有 a * (b + c) = (a * b) + (a * c) 和 (a + b) * c = (a * c) + (b * c)。
7. 乘法逆元：对于集合中的任意非零元素a，存在一个元素a'，称为a的乘法逆元，使得 a * a' = a' * a = 1。

总结：群是一个满足封闭性、结合性、单位元和逆元的集合；环是一个满足封闭性、结合性、单位元、逆元和分配律的集合；域是一个满足封闭性、结合性、单位元、逆元、分配律和乘法逆元的集合