Series parallel posets with nonfinitely generated clones (Q1319080): Difference between revisions

A four-element subset in a poset \(P\) is called an \(n\)-subset if it induces a four-element fence in \(P\). A poset \(P\) is called series parallel poset if it is finite and does not contain an \(n\)-subset. By a clone of \(P\) is meant the clone of all monotone operations on \(P\). The main result: Theorem. For a series parallel poset \(P\), the clone of \(P\) is not finitely generated if and only if one of \(1+2+2\), \(2+2+1\), \(1+2+2+2+1\) is a retract of \(P\). This result generalizes that of \textit{G. Tardos} [Order 3, 211-218 (1986; Zbl 0614.08006)]. Corollary. For a bounded series parallel poset \(P\), the following are equivalent: (1) \(P\) admits a 5-ary near unanimity function; (2) \(P\) has a finitely generated clone; (3) \(1+2+2+2+1\) is not a retract of \(P\).