近世代数之群基本概念.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 二．群的性质 定理1.2.1　设 为群，则有 (1) 群 的单位元是惟一的； (2) 群 的每个元素的逆元是惟一的； (3) 对任意的 ，有 ； (4) 对任意的 ，有 ； (5) 在群中消去律成立，即设 ， 如果 ，或 ，则 ． 证　(1) 如果 都是 的单位元，则 　　（因为 是 的单位元）， 因此 所以单位元是惟一的． (2) 设 都是 的逆元，则 （因为 是 的单位元）， 于是 所以 的逆元是惟一的． (3) 因为 是 的逆元，所以 从而由逆元的定义知， 是 的逆元．又由逆元的 惟一性得 (4) 直接计算可得 及 从而由逆元的惟一性得 (5) 如果 ，则 同理可证另一消去律．　　　　　　　　　□ 定理1.2.2　设 是群，那么对任意的