基本信息

---

下载

文档摘要

---

几种特殊的格定理8.2.3(分配格中的消去律)设(L,*,?)是分配格,对L中任意元a,b,c,如果a*b=a*c且a?b=a?c,那么b=c.证明：b=b*(a?b)=b*(a?c)=(b*a)?(b*c)=(a*c)?(b*c)=(a?b)*c=(a?c)*c=c.推论1.(分配格中任一具有补元的元,其补元唯一)。在分配格(L,*,?)中,若L的元素a有补元,则补元唯一.推论2.在有补分配格(L,*,?)中,L的任何元素a,都有唯一的补元a’.自同态、同构与同态像定义7.4.2如果f是代数A到自身的一个同态映射，则称f是一个自同态；如果f还是一个同构，则称f是