定义
设集合 G G G是一个非空集合，如果集合上定义的代数运算 ⋅ \cdot ⋅,乘=称非空集合 G G G对该二元运算构成一个群，如果满足：
- 结合律：如果对于集合中的任意三个元素 a , b , c a,b,c a,b,c满足 ( a ⋅ b ) ⋅ c = a ⋅ ( b ⋅ c ) (a\cdot b)\cdot c=a\cdot(b\cdot c) (a⋅b)⋅c=a⋅(b⋅c)。
- 有单位元： G G G中存在一个元素 e e e，满足对任意元素 a ∈ G a\in G a∈G,有 a ⋅ e = a a\cdot e=a a⋅e=a，这个元素称为 G G G的单位元。
- 有逆元：对任意元素 a ∈ G a\in G a∈G,存在一个元素 a − 1 ∈ G a^{-1}\in G a−1∈G满足 a ⋅ a − 1 = e a\cdot a^{-1}=e a⋅a−1=e，这个元素称为 a a a的逆元。
注意点：
二元运算
⋅
\cdot
⋅只是一个符号表示，它可以是数的加法，乘法；矩阵加法，乘法等。
运算
⋅
\cdot
⋅首先需要满足二元运算的三点性质。
举例
全体整数构成的集合
Z
Z
Z上的加法构成群，该群称为整数加群。
整数集合加法运算满足封闭性；
结合律显然满足
单位元：0
逆元：-a
1955
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
