<p>We study ideals and filters of posets and of pseudocomplemented posets and show a version of the Separation Theorem, known for ideals and filters in lattices and semilattices, within this general setting. We extend the concept of a <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(*\)</EquationSource> </InlineEquation>-ideal already introduced by Rao for pseudocomplemented distributive lattices and by Talukder, Chakraborty and Begum for pseudocomplemented semilattices to pseudocomplemented posets. We derive several important properties of such ideals. Especially, we explain connections between prime filters, ultrafilters, filters satisfying the <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(*\)</EquationSource> </InlineEquation>-condition and dense elements. Finally, we prove a Separation Theorem for <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(*\)</EquationSource> </InlineEquation>-ideals.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Filters and ideals in pseudocomplemented posets

  • Ivan Chajda,
  • Helmut Länger

摘要

We study ideals and filters of posets and of pseudocomplemented posets and show a version of the Separation Theorem, known for ideals and filters in lattices and semilattices, within this general setting. We extend the concept of a \(*\) -ideal already introduced by Rao for pseudocomplemented distributive lattices and by Talukder, Chakraborty and Begum for pseudocomplemented semilattices to pseudocomplemented posets. We derive several important properties of such ideals. Especially, we explain connections between prime filters, ultrafilters, filters satisfying the \(*\) -condition and dense elements. Finally, we prove a Separation Theorem for \(*\) -ideals.