丹尼斯·斯坦顿;米歇尔·沃克斯 模块化互补格和可剥性。 （英语） 兹伯利0551.06013 组合数学与代数，Proc。Conf.，Boulder/Colo.1983，康普。数学。34, 197-206 (1984). [关于整个系列，请参见Zbl 0546.00008号.]设L是具有秩函数r的有限上半模格。如果对于所有\（x\ in L\），\（r（x）+r（m）=r（x\vee m）+r（x\wedge m）\），则m是模元素。模格完全由模元素组成。模补格是一个上半模格，其中每个元素都有一个模补。上半模格是可壳的。本文的主要结果是：定理5.3。设L是模补格，w是L的模元。如果（P=P（L，w。CL可壳性意味着可壳性，并等价于P具有递归原子顺序的性质，即P具有长度1或原子可以被排序为\（a_1，…，a_t），从而（i）\（[a_j，\hat 1]\）允许\（j=1，…，t）的递归原子顺序，其中\（[a _j，\ hat 1]）的原子在排序中排在第一位的是那些涵盖了一些（a i），其中（i<j）；（ii）对于所有（i<j），如果（a _ i，a _ j<y），则有一个（k<j）和z覆盖（a _ k）和（a _ j）小于y。设V是（GF（q））上维数n的向量空间。Dowling格（D_n（q））是V的子空间的格，由正好有一个或两个非零项的向量生成。模补晶格通常是道林晶格和射影几何的直接产物，可能会从射影几何中删除某些原子。审核人：J.Neggers（塔斯卡卢萨） 引用于三文件 MSC公司： 06立方厘米 半模格，几何格 05年6月 格的结构理论 05B35号 拟阵和几何格的组合方面 关键词：有限上半模格;秩函数;模块化元件;模补格;秩序理想;CL-外壳;递归原子排序;道林格子;射影几何 引文：Zbl 0546.00008号 PDF格式BibTeX公司 XML格式