7_1代数结构范例.ppt

第七章 代数系统 定义7.6.2 设 G,?为一群。若 G为有限集，则称G,?为有限群（finite group）, 此时G的元素个数也称G的阶(order),记为|G|；否则，称G,? 为无限群（infinite group）。 例题7.6.1中所述的R, ★就是一个有限群，且|R|=6。 【例7.6.2】 试验证代数系统I，+是一个群，这里I是所有整数的集合，+是普通加法运算。 解 明显地，二元运算+在I上是封闭的且是可结合的。幺元是0。对于任一a?A，它的逆元是-a。所以I，+是一个群，且是一个无限群。 定理7.6.1 设G，?为群，那么当G ≠{e}时, G无零元。即群中不可能有零元。 证明: 因当群的阶为1时，它的唯一元素是视作幺元e 。设|G|1 且群有零元。那么群中任何元素x ?G，都有 x ? ? = ? ? x = ? ≠ e， 所以，零元?就不存在逆元，与G，?是群的假设矛盾。 由定理可知，群中任何一个元素的逆元必定是唯一的。由群中逆元的唯一性，我们可以有以下几个定理。 定理7.6.2 设G，?为群，对于a,b?G，必存在x?G ，使得关于x的方程a?x＝b，x?a＝b都有唯一。 证明: 1）先证解存在性 设a的逆元a-1，令