×

在有限偏序集上定义的所有单调偏函数的集合是有限生成的。 (英语) Zbl 0994.08002号

摘要:设\(X\)是任意有限偏序集。如果满足以下条件,则称具有在\(X\)上定义的\(n\)个变量的偏函数\(f\)是单调的:如果\(X_1\leq y_1,\dots,X_n\leq y_n\),并且定义了值\(f(X_1,\dots,X_n)\)和\(f(y_1,\dots,y_n)\),则\(f(X_1,\dots,X_n)\leq f(y_1,\dots,y_n)\)。证明了所有单调部分函数的集合是有限生成的。发电机组的大小可以减少到六个,与基本机组的大小无关。

MSC公司:

08A40号 代数结构、原代数中的运算和多项式
06年06月06日 部分订单,通用
PDF格式BibTeX公司 XML格式引用