冷考试时间:5月8日(周三)950 地点:Z2107教室 答疑时间:5月7日13:30-16:00 地点:软件楼4楼密码与信息安全实验室
❖ 考试时间：5月8日(周三)9:50 ❖ 地点： Z2107教室 ❖ 答疑时间： 5月7日13:30-16:00 ❖ 地点：软件楼4楼密码与信息安全实验室
冷定理163如引理16.2所得之偏序集(L;s 为格。 冷定义164:[L∨2小]为一代数系统,为定 义在L上的二元运算当其满足L~L时, 称L为格。并称为积(或交),v为和(或并
❖ 定理16.3:如引理16.2所得之偏序集(L;≤) 为格。 ❖ 定义16.4: [L;,]为一代数系统,,为定 义在L上的二元运算,当其满足L1 ～L4时， 称L为格。并称为积(或交),为和(或并)
冷定义:[L∨,为格,若L中存在元素0, 使得对任意的x∈L有X0=x,则称0为v的 单位元,并称0是格的零元;若L中存在 元素1,使得对任意的x∈L有x1x则称 1为入的单位元,并称1是格的单位元 冷例:A的幂集格[P(A∨小] 冷群G的子群格[L(G)2~] C,,AI (z:s)是格,但既无单位元,又无零元
❖ 定义：[L;,]为格，若L中存在元素0， 使得对任意的xL有x0=x,则称0为的 单位元，并称0是格的零元；若L中存在 元素1，使得对任意的xL有x1=x,则称 1为的单位元，并称1是格的单位元。 ❖ 例：A的幂集格[P(A);,] ❖ 群G的子群格[L(G);,] ❖ [Z+ ;,] ❖ (Z;)是格，但既无单位元，又无零元
冷零元(单位元存在则必唯 冷定理:若格[;,]存在零元0和单位元1, 则0和1分别是L的最小元和最大元。 由于具有零元和单位元的格一定有最小 元和最大元,称为有界格
❖ 零元(单位元)存在则必唯一 ❖ 定理：若格[L;,]存在零元0和单位元1， 则0和1分别是L的最小元和最大元。 ❖ 由于具有零元和单位元的格一定有最小 元和最大元，称为有界格
冷定理16.4保序性):格[L:v,小任ab,c∈L, 当b≤c时有avb≤ac及ab≤a∧C。 冷定义16.5:LV小为格,T≠②,TL,T关于 封闭即a,b∈T则ab∈T,ab∈T时, 则称T为L的子格
❖ 定理16.4(保序性):格[L;,],任a,b,cL, 当b≤c时有ab≤ac及ab≤ac。 ❖ 定义16.5:[L;,]为格,T, TL,T关于 ,封闭(即a,bT则abT, abT)时, 则称T为L的子格