×

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

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

MSC公司:

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