Article
Keywords:
complemented poset; antitone involution; ideal; filter; ultrafilter; c-ideal; c-filter; c-condition; separation theorem
Summary:
In their recent paper on posets with a pseudocomplementation denoted by $*$ the first and the third author introduced the concept of a $*$-ideal. This concept is in fact an extension of a similar concept introduced in distributive pseudocomplemented lattices and semilattices by several authors, see References. Now we apply this concept of a c-ideal (dually, c-filter) to complemented posets where the complementation need neither be antitone nor an involution, but still satisfies some weak conditions. We show when an ideal or filter in such a poset is a c-ideal or c-filter, and we prove basic properties of them. Finally, we prove the so-called separation theorems for c-ideals. The text is illustrated by several examples.
References:
[1] Birkhoff, G.:
Lattice Theory. American Mathematical Society Colloquium Publications 25. AMS, Providence (1979).
MR 0598630 |
Zbl 0505.06001
[5] Larmerová, J., Rachůnek, J.:
Translations of distributive and modular ordered sets. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. Math. 27 (1988), 13-23.
MR 1039879 |
Zbl 0693.06003