代数系统群环与域.pptx

代数系统群环与域;12-2 运算及其性质; 定义12-2、7 设?为集合A上的二元运算: 若 ?el?x(el,x?A→el?x=x) ,则称el为A中的左幺元。 若 ?er?x(er,x?A→x?er=x) ,则称er为A中的右幺元。 若 ?e?x(e,x?A→e?x=x?e=x) ,则称e为A中的幺元。 ; 定义12-2、8 假如 ?l ?A,满足:对一切x?A,都有 ?l?x=?l 则称元素?l 为左零元。 假如?r ?A,满足:对一切x?A,都有 x??r＝?r 则称元素?r 为右零元。 假如??A且对任意x?A,都有 x??＝??x＝? 则称元素?为代数结构A,? (关于 ? 运算) 的零元(zero)。 ; 定理12-2、3 假如代数结构A,?有关于 ? 运算的零元? 和幺元e ,且集合A中元素个数大于2,则 ?≠e 。 ; 定义12-2、9 设代数结构A,?,e 中? 为二元运算,e为么元,a,b 为A中元素,若b?a＝e,那么称b为a的左逆元,a为b的右逆元。若a?b＝b?a＝e,那么称a(b)为b(a)的逆元(inverse elements)。 x的逆元通常记为x-1;但当运算被称为“加法运算”(记为+)时,x的逆元可记为-x 。; 定理12-2、4 设A, ?有么元e,且运算 ? 满足结合律,那么当A中元素x有左逆元l及右逆元r时,l = r,它们就是x的逆元。同时每个元素的逆元都是唯一的。; 二元运算的性质能够依照运算表表现出来: 1)运算?具有封闭性,当且仅当运算表中的每个元素都属于A。 2)运算?具有可交换性,当且仅当运算表关于主对角线是对称的。 3)运算?具有等幂性,当且仅当运算表的主对角线上的每一元素与它所在行(列)的表头元素相同。 4) A中关于运算?具有零元,当且仅当该元素所对应的行和列中的元素都与该元素相同。 5) A中关于运算?具有幺元,当且仅当该元素所对应的行和列依次与运算表的行和列相一致。 6) 设A中关于运算?具有幺元,a和b互逆,当且仅 当位于a所在行和b所在列的元素及b所在行和a 所在列的 元素都是幺元。; 第13章 群论 13-1 半群与幺半群; 定理 13-1、2 设代数结构S,?为一个半群,假如S是一个有限集合,则必有a?S ,使得a???a=a。; 定理13-1、3 设S,?,e是一个独异点,则在关于运算 ?的运算表中任何两行或两列都是不相同的。; 例题4: 因设I是整数集合,m是任意正整数,Zm是由模m的同余类组成的同余类集,在上定义两个二元运算+m和×m分别如下:关于任意的[i],[j]?Zm [i] +m[j]=[(i+j)(mod m)] [i]×m[j]=[(i×j)(mod m)] 试证明在这两个二元运算的运算表中任何两行或两列都是不相同的。 证明:考察代数结构 Zm , +m 和 Zm , ×m ,先分三步证明 Zm , +m 是独异点,再利用定理5-3、3的结论: 1)依照运算定义,证明两个运算在Zm上封闭; 2)依照运算定义,证明两个运算满足结合律; 3)依照运算定义,证明[0]是 Zm , +m 的幺元,[1]是 Zm , ×m 的幺元。 本例题的实例见 表16-1、2和表16-1、3; 定理13-1、4 设S,?,e是一个独异点,假如关于任意a,b?S ,且a,b均有逆元,则 a) (a-1)-1=a b) (a?b)-1有逆元,且(a?b)-1 =b-1 ? a-1 。;13-2、2 群与子群; 定义13-2、2 设 G,?为一群。若 G为有限集,则称G,?为有限群(finite group), 此时G的元素个数也称G的阶(order),记为|G|;否则,称G,? 为无限群(infinite group)。; 代数结构小结; 定理13-2、2 设G,?为群,关于a,b?G,必存在x?G ,使得关于x的方程a?x＝b,x?a＝b都有唯一解、;