一、单位元唯一
由群的定义知,存在元素
e
e
e满足
a
e
=
e
a
=
a
ae=ea=a
ae=ea=a。假设存在另一元素
e
′
e'
e′也满足该性质
a
e
′
=
e
′
a
=
a
ae'=e'a=a
ae′=e′a=a。
则有
e
e
′
=
e
=
e
′
ee'=e=e'
ee′=e=e′。
所以只有唯一的单位元
二、群中每一个元素存在唯一的逆元
由群的定义知,对任一元素 a ∈ G a\in G a∈G,存在元素 a − 1 a^{-1} a−1使得 a a − 1 = a − 1 a = e aa^{-1}=a^{-1}a=e aa−1=a−1a=e。设元素 c c c使得 a c = c a = e ac=ca=e ac=ca=e。那么 c = c e = c ( a a − 1 ) = ( c a ) a − 1 = e a − 1 = a − 1 c=ce=c(aa^{-1})=(ca)a^{-1}=ea^{-1}=a^{-1} c=ce=c(aa−1)=(ca)a−1=ea−1=a−1
三、消去律:对任意三个元素
a
,
b
,
c
∈
G
a,b,c\in G
a,b,c∈G
(1) 若
a
b
=
a
c
ab=ac
ab=ac,那么
b
=
c
b=c
b=c
(2) 若
b
a
=
c
a
ba=ca
ba=ca,那么
b
=
c
b=c
b=c
假设 a b = a c ab=ac ab=ac,那么
a
−
1
(
a
b
)
=
a
−
1
(
a
c
)
a^{-1}(ab)=a^{-1}(ac)
a−1(ab)=a−1(ac)
(
a
−
1
a
)
b
=
(
a
−
1
a
)
c
(a^{-1}a)b=(a^{-1}a)c
(a−1a)b=(a−1a)c
e
b
=
e
c
eb=ec
eb=ec
b
=
c
b=c
b=c
四、对任意元素 a , b ∈ G a,b\in G a,b∈G,方程 a x = b , x a = b ax=b,xa=b ax=b,xa=b有唯一解
方程有解:
x
=
a
−
1
b
x=a^{-1}b
x=a−1b
有唯一解:若
a
x
1
=
a
x
2
ax_1=ax_2
ax1=ax2,消去律可知
x
1
=
x
2
x_1=x_2
x1=x2
同理
x
a
=
b
xa=b
xa=b
五、群中任意元素 a , b ∈ G a,b\in G a,b∈G,有 ( a b ) − 1 = b − 1 a − 1 (ab)^{-1}=b^{-1}a^{-1} (ab)−1=b−1a−1
a b b − 1 a − 1 = e abb^{-1}a^{-1}=e abb−1a−1=e,所以 ( a b ) − 1 = b − 1 a − 1 (ab)^{-1}=b^{-1}a^{-1} (ab)−1=b−1a−1
注意:群运算 a c ac ac不一定等于 c a ca ca(比如矩阵),这里只是写法表示。