摘要
首先在BR0代数M中引入滤子,然后又给出了M中次极大滤子的概念,并讨论了它的性质,得到了BR0代数中的每个滤子都可表示为一些次极大滤子的交的结果。特别地,在满足滤子降链条件的BR0代数中,每个滤子都可表示为有限个次极大滤子的交。
× filter is defined by introducing × operator in BR0-algebras,and based on that the concept of submaximal × filter is given.Some properties are discussed,and the follow theorem is obtained,every × filter of BR0-algebras M can be represented as intersection of some submaximal ×.Specially in the BR0-algebras with descending chain condition of × filters,every × filter can be represented as finite intersection of submaximal filters.
出处
《计算机工程与应用》
CSCD
北大核心
2009年第12期36-37,共2页
Computer Engineering and Applications
基金
国家自然科学基金No.10471083
陕西师范大学重点科研基金资助项目(No.995130)~~