离散数学第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中任何元素的逆元就是它自身；－－此题不满足 除幺元外，任何两个元素运算的结果都等于另一个元素；－－此题不满足 除幺元外，其余元素都是二阶元