第五章节 代数系统.pptVIP

chapter5 第五章 代数系统 Algebra System 5.1 代数运算及性质 5.2 半群 5.3 群 5.4 同态与同构 5.5 陪集与拉格朗日定理 5.6 环和域 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.1 代数运算及其性质 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.2 半群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.3 群 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.4 同态与同构 5.5 陪集与拉格朗日定理 5.5 陪集与拉格朗日定理 5.5 陪集与拉格朗日定理 5.5 陪集与拉格朗日定理 5.5 陪集与拉格朗日定理 5.5 陪集与拉格朗日定理 5.5 陪集与拉格朗日定理 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 5.6 环和域 定义5-4.3 设f是由群A，*到群B，△的同态映射，eB是B中的么元，记k(f)={x|x∈A且f（x）=eB}，称K(f)为同态映射f的核，简称f的同态核。 定理5-4.4 设f是由群G,★到群H,*的同态映射，则f的同态核K(f)={x|x∈G且f（x）=eH}是G的子群。 证明： ?x,y∈k(f)，f(x★y)=f(x)*f(y)=eH*eH=eH ∴ x★y∈k(f) ?x∈k(f)，f(x-1)=f(x)-1=eH-1=eH，即x-1∈k(f)。 ∴ K(f),★是G,★的子群。 S={a,b,c,d}，S4,?是四次对称群。有置换 π0= a b c d a b c d π1= a b c d b a c d π2= a b c d a b d c π3= a b c d b a d c π0 π1 π2 π3 π1 π0 π3 π2 π2 π3 π0 π1 π3 π2 π1 π0 π0 π1 π2 π3 π0 π1 π2 π3 ○ G={π0 ,π1 , π2 , π3 }，G,?是一个群。 有子群S,?，S={π0 ,π1} π0?S={π0?π0,π0?π1}= {π0 ,π1}=S π1?S={π1?π0,π1?π1}= {π1 ,π0}=S π2?S={π2?π0,π2? π1}= {π2 ,π3}=S’ π3?S={π3?π0,π3?π1}= {π3 ,π2}=S’ S’∩S= ? ， S’∪S=G 5.5.1 陪集 定义5-5.1 设S,*是群G,*的一个子群，g∈G， 则称g*S={g*s|s∈S}为由g所确定的S在G中的左陪集 S*g={s*g|s∈S}为由g所确定的S在G中的右陪集， 简称为S关于g的左陪集（右陪集），记为gS(Sg)。 5.5.1 陪集 定理5-5.1 设S,*是群G,*的子群， (1) x*S=y*S 或 x*S∩y*S=?。 (2) S*x=S*y 或 S*x∩S*y=?。 证明：若x*S∩y*S≠?，令δ∈x*S∩y*S ?s1,s2∈S，δ=x*s1=y*s2 这样，就有x=y*s2*s1-1 ?s∈S， x*s=y*(s2*s1-1)*s∈y*S，即x*S ?y*S 同理y*S?x*S，∴ x*S=y*S 5.5.1 陪集 定理5-5.2