Letterplace and co-letterplace ideals of posets (Q502630): Difference between revisions

Let \(P\) be a partially ordered set (poset). A poset ideal \(J\subseteq P\) is a subset of \(P\) such that \(p\in P\) and \(q\in J\) with \(p\leq q\) implies \(p\in J\). Let \(P\) and \(Q\) be two partially ordered set. A map \(\phi:Q\to P\) is isotone or order preserving if \(q\leq q'\) implies \(\phi(q)\leq\phi(q')\) for all \(q,q'\in Q\). The set of isotone maps is denoted \(\Hom(Q,P)\). It is actually again a partially ordered set with \(\phi\leq \psi\) if \(\phi(q)\leq \psi(q)\) for all \(q\in Q\). Let \(n\) be a natural number, \(P\) a finite partially ordered set and \({\mathcal J}\) a poset ideal in the poset \(\Hom(P,[n])\) where \([n]\) is the chain of \(n\) elements. In this paper, the authors associate two monomial ideals, the letterplace ideal \(L(n,P,{\mathcal J})\) and the co-letterplace ideal \(L(P,n,{\mathcal J})\). These two types of ideals allow them to study large classes of monomial ideals introduced in recent years.