偏序集上的理想极大滤子及其应用.pdfVIP

2013年 2月 吉林师范大学学报(自然科学版) № ．1 第 1期 JournalofJilinNormalUniversity(NaturalScienceEdition) Feb．2013 偏序集上的理想极大滤子及其应用 肖 璨，姜广浩 ，杨 慧 (淮北师范大学数学科学学院，安徽 淮北235000) 摘 要：在偏序集上引入了理想极大滤子的概念，同时给出了分配格的一个新的内部刻画． 关键词 ：次极大滤子；理想极大滤子；素滤子；分配格 中图分类号：0189．1；0153．1 文献标识码：A 文章编号：1674．3873一(2013)01-0013-03 1 预备知识 分配格是一种重要的格，在格理论中起着重要的作用 ．文章[2]引入了分配格上的次极大滤子的概 念；文章[3]给出了偏序集上滤子极大理想的概念和性质，而文章[4]则借助于偏序集上滤子极大理想给 出了分配格的一个内部刻画 ． 本文由这几篇文章得到启发，引入了一个新的概念；偏序集上的理想极大滤子，推广了次极大滤子的 概念 ．并研究其性质，同时借助于它给出分配格的一个新的内部刻画．在本文中，偏序集L上的全体理想 记作 f()，全体滤子记作Filt(L)．格L上的滤子F称为素滤子，若F是 的真滤子，且Va，b∈L，aVb∈ 0∈F或 b∈F．设L是偏序集，F是 的滤子，若对于 的任意滤子 ，当F 时，有M=F或M=L， 则称F是极大滤子 (或称超滤子)． 下面来推广路玲霞在文章[2]中对次极大滤子的定义 ． 定义1．1 设 是偏序集，F是 ￡的真滤子，设 ∈L，若F在不包含 的滤子中极大，即若 是 的滤 子且当 时，有M=F或 ∈M，则称F是 (关于 的)次极大滤子，简称次极大滤子(或称局部极大滤 子)． 注 1．2 一个偏序集L中不一定有极大滤子，如L=(0，1]，但一定有次极大滤子和素滤子． 2 偏序集上的次极大滤子 定理2．1 设 是分配格，，∈Idl(L)，F∈Fil(L)．若F关于 ，nF=0是极大的，则F是素滤子 ． 证明 因为0∈，，从而F是真滤子 ．任取a，a：∈L，且a。Va ∈ 记 日是由F与a( 1，2)生成的 的滤子，则容易验证： H ={八(aV6)l∈F，b∈L，i=1，2}． 若Hin，≠O，则存在 1，2∈F，b1，b2∈F，使得： 1八(a1Vb1)∈／x2八(a2Vb2)∈L 但 ，是理想，于是有：m=(。八(aVb))V( ^(a：Vb))∈，， 因为 ￡是分配格，因此将上式展开可得： m=( V )八(。V(a：Vb2))^((：V(aVb。))八((a。Vb)V(aVb2))， 由于F是滤子，且括号内的每一项都在F中，从而m∈F．于是，厂1F=O，这与题设矛盾．故 nF=O 或 nF=0．若 日nF=O，则有：口。∈ ；若 nF= ，则有-a2∈ 综上所述，可知F是 ，的滤子，证毕 ． 收稿 日期：2012—10-07 基金项 目：国家自然科学基金资助项 目，安徽省教育厅自然科学基金资助项 目(KJ2OO9BOO1)，淮北师 范大学信息学院项 目(2010xxjyO13) 第一作者简介：肖 璨 (1989一)，女，江苏省泰兴市人，现为淮北师范大学数学科学学院硕士研究生．研究方向：一般拓扑学． 通讯作者：姜广浩 (1973一)，男，江苏省柿县人，副教授，博士．研究方向：一般拓扑学． · 13 · 引理2．2 设 是格．，∈Idl(L)，F∈Fil(L)且 ，nF=O，则存在M∈Fil(L)，使得MC_F，，nM=0且 关于此性质是极大的，即：若另有M ∈Fil(L)，使得 F，，n =O，则当M ∈Fil(L)时，必有M = 证明 记K={P∈Fil(L)lIC_P，PIqF=O}，则 ≠O，且 关