数据结构与算法设计第十十一章习题课-文档资料.ppt

练习 16 （续） 下面证明每个非零元素都有逆元 . 因为 Z p 是有限半群 , 且 {Z p - 0} 关于 ? 适合消去律 任取 i ∈ Z p ， i ≠ 0 i ? Z p = { i ? j | j ∈ Z p } 则 i ? Z p = Z p ， 否则 ? j , k ∈ Z p ，使得 i ? j = i ? k ， 由消去律得 j = k . 由 1 ∈ Z p ，存在 j ∈ Z p ，使得 i ? j = 1. 由于交换性可知 j 就是 i 的逆元 . 31 练习 17 ? 在域 Z 5 中解方程： 3 x =2 -1 ? 解： x = 3 ? 2= 2 ? 2=4 第十一章 习题课 ? 主要内容 ? 格的两个等价定义 ? 格的性质 ? 子格 ? 特殊格：分配格、有界格、有补格、布尔 代数 第十一章 习题课 ? 基本要求 ? 能够判别给定偏序集或者代数系统是否构 成格 ? 能够确定一个命题的对偶命题 ? 能够证明格中的等式和不等式 ? 能判别格 L 的子集 S 是否构成子格 ? 能够判别给定的格是否为分配格、有补格 ? 能够判别布尔代数