r05代数系统b.pdf

代数系统 代数系统的组成 半群和独异点 群、子群和群同态 特殊的群 陪集与拉格朗日定理 环和域 1 半群 一个代数系统S,* ，其中S是非空集合，*是S上的一个二元 运算，如果 运算*是封闭的， 运算*是可结合的，即对任意x,y,z ∈S，满足 (x*y)*z=x*(y*z) 则称代数系统S,*为半群 （semigroup ）。(2点) 例：I,+ 是半群 N, － 不是半群 R, － 不是半群 I, / 不是半群 2 半群 例：设A={a ，b ，c ，d} ，集合A * a b c d 上的二元运算* 由表给出 a a a a a 试讨论A ，*是否构成半群。 b b b b b c c c c c d d d d d 解：* 运算显然封闭，代数系统A ，*满足封闭性。同时a 、 b 、c 、d都是左零元。故∀x,y,z ∈A ，均有 x*(y*z)=x*y=x=x*z=(x*y)*z 因此，A ，*是半群。 3 半群 下面给出am 的归纳定义： + + A ，*为半群，且a ∈A ，对于m ∈I ，其中I 表示正整数 集合，可有： 1 (1) a =a (2)am+1=am *a 由此利用归纳法不难证明指数定律： m n m+n (1)a *a =a m n mn (2)(a ) =a + 这里，m,n ∈I 。 4 独异点 含有幺元的半群称为独异点 （monoid ）。(3点) + 例：R,+ ，I, × ，I , × ，R, × ，N ,+ 都是独异点。 k k + I ,+ 不是独异点。 性质：设S,*是一个独异点，则在关于运算*的运算表中任何 两行或两列都不相同。 证明：设S中关于运算*的幺元是e ，因为对于任意的a ，b ∈S， 且a≠b 时，总有 e*a=a≠b=e*b a列与b列不同 a*e=a≠b=b*e a行与b行不同 所以运算表中不可能有两行或两列相同。 5 群 设G,*是一个代数系统，其中G是非空集合，*是G上的一 个二元运算，如果 运算*是封闭的； 运算*是可结合的； 存在幺元e； 对于每一个元素x