离散数学第5章篇代数系统(学生用).ppt

（1）H?K 或 K?H ? H∪K ,*是G,*的子群是显然的。 因为： 若有H?K，则H∪K ,*=K ,*，K ,*是G,*的子群是已知条件； 若有K?H，则H∪K ,*=H ,*，H ,*是G,*的子群是已知条件。 （2）H∪K ,*是G,*的子群 ? H?K 或 K?H 通过证明*运算对H∪K不封闭，可证明H∪K ,*不满足群定义。通过反证法证明。 （H?K ∨ K?H）的否定为?（H?K ∨ K?H）= （H?K ? K?H * S, ?是群，且是阿贝尔群，但不是klein四元群。 klein四元群： G中任何元素的逆元就是它自身；－－此题不满足 除幺元外，任何两个元素运算的结果都等于另一个元素；－－此题不满足 除幺元外，其余元素都是二阶元，即a*a=a2=e。－－此题不满足 * 这个证明的宗旨就是：S有限，所以对于某一元素bi来说，总会存在一个bj（其中ji），使得bi=bj 证明过程中三次用到这个宗旨，就是为了最后可以凑出bkp=bp*bkp=bp*(bp*bkp)=…=bkp*bkp 在黑板上画一个二元运算表，学生会更容易理解。 * S, ?是群，且是阿贝尔群，但不是klein四元群。 klein四元群： G中任何元素的逆元就是它自身；－－此题不满足 除幺元外，任何两个元素运算的结果都等于另一个元素；－－此题不满足 除幺元外，其余元素都是二阶元，即a*a=a2=e。－－此题不满足 * 该例中，α和β都不是生成元（易证：α1=α2=α3=α4=α，且β2=β4=α，β1=β3=β） 但γ和δ都是生成元（易证γ1=γ，γ2=β，γ3=δ，γ4=α，且δ1=δ，δ2=β，δ3=γ，δ4=α ，即生成元的|n|次幂为幺元e） * 证明过程选讲。 Nk,+k是循环群，其中[1]是生成元，与k互质的任一数也是生成元，这里Nk={[0],…,[k-1]}，[x]是I中的模k等价类。 针对+4 而言： [1]是生成元，易证[1]1=[1]，[1]2=[2]，[1]3=[3]，[1]4=[0] [3]是生成元，易证[3]1=[3]，[3]2=[2]，[3]3=[1]，[3]4=[0] 注意：此例中元素[0]，[1]… ,[k-1]都是表示同余类，即[0]表示所有余数是0的元素的集合{0,10,20,….}而[1]表示所有余数是1的元素的集合{1,11,21,…}。这个题目也可以直接定义为{0,1,2,3,k-1},+k，这样定义，每个元素就是表示实际的数字，表示+k运算可能产生的所有余数。 * 例如：Z10,+10中，（加法的同余模10运算），Z10={[0],[1],[2],[3],[4],[5],[6],[7],[8],[9]},显然Z10,+10 是一个循环群，且[0]是幺元，[1]是生成元。 元素([1])10=[1]+[1]+…+[1]=[0]（10个[1]相加得到[0]），所以O([1])=10。 虽然，([2])10=[0]，但由于([2])5=[0]，而5是使得([2])k=[0]的最小正整数，所以O([2])=5，即元素[2]的阶为5. 将该例扩展，写出每个元素的阶，我们会发现，元素的阶只可能是2，5，10，即只可能是10的因子。 * 证明（3）略。 例如：Z10,+10中，（加法的同余模10运算），Z10={[0],[1],[2],[3],[4],[5],[6],[7],[8],[9]},显然Z10,+10 是一个循环群，且[0]是幺元，[1]是生成元。 元素([1])10=[1]+[1]+…+[1]=[0]（10个[1]相加得到[0]），所以O([1])=10。 虽然，([2])10=[0]，但由于([2])5=[0]，而5是使得([2])k=[0]的最小正整数，所以O([2])=5，即元素[2]的阶为5。 (2) O(a)= O(a-1)（元素与其逆元的阶相同），则如果a是生成元，则其阶即为|G|，则a-1 的阶也为|G|。 * * 循环群，生成元是[3],[5] [3]1=[3]，[3]2=[2]，[3]3=[6]，[3]4=[4]，[3]5=[5]，[3]6=[1]=e [5]1=[5]，[5]2=[4]，[5]3=[6]，[5]4=[2]，[5]5=[3]，[5]6=[1]=e 如果套用欧拉函数，么元为[1]，设生成元为a，有a6=[1]，所以Ψ(n)=Ψ(6)，小于6与6互素的数有1和5，共2个，所以Ψ(6)＝2，即该循环群中的么元应该有两个，且刚好为生成元的1次幂和5次幂。 所以，我们可以先找到任一生成元，通过欧拉函数算出有哪些幂次是生成元，用该生成元做幂运算即可得到其他生成元。如上例中首先找到的生成元为[3]，则[3]1=[3]， [