一个格的不可比图.docxVIP

一个格的不可比图 摘要：一个格的不可比图以它的除最大元和最小元外的元素为顶点，两个不同的顶点相连当且仅当两者不可比．该文确定了不可比图的亏格分别为0,1,2的有界简单格的结构． 1 引言格是一类重要的代数结构．孙中举和方捷引入了有限格的正则图定义1.3设L是偏序集，若L中任何两个元素在L中都有上、下确界，则称L是一个格．如果L有最大元1和最小元0，则称L是有界的；若L中除0,1外的任一元素都只有两个元素与之相邻，则称L是简单格．定义1.4设L是格，L的不可比图记作Γ（L），它以L{0,1}为顶点集，两个顶点a与b相连当且仅当a与b不可比．本文中出现的其他的图论和格论术语可参见[5,6].以下所讨论的格均为有限格．易知一个有界简单格L由它所含的链数k及各条链的长度c2 相关引理本节给出一些引理，均是为下一节主要结果的证明作准备．引理2.1设m,n,p均为正整数．其中引理2.2引理2.3引理2.4引理2.5引理2.6γ（K3 主要结果设有界简单格L=(c定理3.1设L=(c(1）γ（Γ（L))=0当且仅当c(2）γ（Γ（L))=1当且仅当（c(3）γ（Γ（L))=2当且仅当（c证明此时定理3.2设L=(c定理3.3设L=(c(1）γ（Γ（L))=1当且仅当（c(2）γ（Γ（L))=2当且仅当（c若c定理3.4设L=(c(1）γ（Γ（L))=1当且仅当（c(2）γ（Γ（L))=2当且仅当（c接着考虑c若c若c定理3.5设L=(c最后考虑c定理3.6设L=(c(1）γ（Γ（L))=0当且仅当（c(2）γ（Γ（L))=1当且仅当（c(3）γ（Γ（L))=2当且仅当（c接下来考虑c由引理2.6知c情形1 c情形2 c定理3.7设L=(c(1）γ（Γ（L))=0当且仅当（c(2）γ（Γ（L))=1当且仅当（c(3）γ（Γ（L))=2当且仅当（c4 结束语本文确定了亏格小于3的有界简单格的结构．接下来我们将继续研究一般格的亏格问题，同时也将研究关于格的不可比图的其他问题，如正则性、团数的计算等．定义1.1设E是偏序集，a,b∈E，若a≤b或b≤a，则称a与b是可比的．若E中任何两个元素都可比，则称E是一个链．若链E含有n+2个元素，则称E的长度为n.定义1.2设E是偏序集，m∈E，若对任意a∈E都有m≤a，则称m为E的最小元，记为0．对偶地可定义E的最大元，记为1．若E中元素a满足a≠0，且不存在b∈E使得0ba，则称a是E的一个原子．证明因K证明如果c证明若c若c