一张学格的表

lilianjie1

$ N0 O# ^) X6 `# r$ V1 f" C自由格没象自由阿群那种结构，但3个生成元的自由格有公式：

) [7 E0 Y" J+ s$ Q9 n

lilianjie

. E2 `# K# E/ Z4 J7 C
原子格
- p) K1 G& z' `  t带有最小元 0 的偏序集合 P 中的原子是不等于 0 的所有元素中的极小的元素。
* E  n- W* s! Y3 H) ?: W; }2 D0 v
/ i/ Y3 N, J* d( l7 q带有最小元 0 的原子偏序集合 P 中的是在其中对于所有 P 的非零元素 x 有一个 P 的原子 a 使得 a ≤ x。

/ D7 q: F( R$ i% r/ Q在偏序集合中的原子是集合论中的单元素集合的抽象推广。

) G( m6 Y7 E5 {6 B1 H$ z
' x+ S  M  s3 @" @! F格L 是模格的充要条件是它不含任何
9 E! r) O5 k9 N0 n! m4 P9 H4 L五边形作为子格

苏惟嫣

yjfgjchgxfhfghxfghxfghfx