例11例设=<S12,D>,L2=<S12,是格,其中:S12是12的所有正因子构成的集合D为整除关系,为通常数的小于或等于关系令fS12-S12,f(x)=xf是双射,但不是格L到L2的同构映射因为2)≤3),但2不整除3根据上述定理可知f不是同构映射
例 11
格同构的直观特征12观察以下2个格的哈斯图:30(a,b,c)6(a,b)(b,o)15(a.c)10M(b)(a)(c)2D30O
格同构的直观特征 12 ◼ 观察以下2个格的哈斯图:
(续)格同构的直观特征13f
格同构的直观特征(续) 13