群:一种集合加上运算的代数结构。
现有集合A和运算“”,当有(A,)满足如下性质时,称(A,*)为群:
1.封闭性:∀a,b∈A, a*b∈A;
2.结合律:∀a,b,c∈A, (ab)c=a(bc);
3.单位元:∃I∈A,∀a∈A, I*a=a*I=a;
4:可逆:∀a∈A,∃a-∈A, a*a-=I
群:一种集合加上运算的代数结构。
现有集合A和运算“”,当有(A,)满足如下性质时,称(A,*)为群:
1.封闭性:∀a,b∈A, a*b∈A;
2.结合律:∀a,b,c∈A, (ab)c=a(bc);
3.单位元:∃I∈A,∀a∈A, I*a=a*I=a;
4:可逆:∀a∈A,∃a-∈A, a*a-=I