自由格没象自由阿群那种结构,但3个生成元的自由格有公式:
本帖最后由 lilianjie 于 2012-1-12 15:28 编辑
原子格
带有最小元 0 的偏序集合 P 中的原子是不等于 0 的所有元素中的极小的元素。
带有最小元 0 的原子偏序集合 P 中的是在其中对于所有 P 的非零元素 x 有一个 P 的原子 a 使得 a ≤ x。
在偏序集合中的原子是集合论中的单元素集合的抽象推广。
格L 是模格的充要条件是它不含任何
五边形作为子格 yjfgjchgxfhfghxfghxfghfx
页:
1
[2]