Zaf hinted at this in class today:

When a family F of posets is not hereditary, one can “force it to be hereditary” by enlarging it, considering the (bigger) family F’={products of intervals of posets in F}. This new family F’ is hereditary. If F has an equivalence relation which satisfies that

() => there is a bijection such that and for all p in P

then that gives an equivalence relation on F’ (how?) so that the result is indeed a reduced congruence.

I mentioned this in class explicitly in the case when F is closed under taking subintervals, and when P, Q in F imply that PxQ is not in F. This is a special case of the above, and in this case we fully understand the multiplicative structure of the incidence Hopf algebra (which is free commutative).

I also mentioned this implicitly in the case of graphs.

### Like this:

Like Loading...

*Related*