| 蕴涵半格的一个注记 |
| |
| 引用本文： | 朱少平,孟彪龙.蕴涵半格的一个注记[J].纺织高校基础科学学报,2006,19(4):349-350,367. |
| |
| 作者姓名： | 朱少平 孟彪龙 |
| |
| 作者单位： | 1. 西安财经学院,统计学院,陕西,西安,710061
2. 西安科技大学,基础部,陕西,西安,710054 |
| |
| 摘 要： | 设L是非空集合,∧和*是两个二元运算,1是L中的常元。给出了蕴涵半格(L;∧,*,1)的一个极小方程基(1)(y*z)*((z*x)*(y*x))=1,(2)(x*y)*((y*x)*x)=(y*x)*((x*y)*y),(3)x*(y*z)=(x∧y)*z,(4)(y*1)*x=x.作为一个推论给出:蕴涵半格构成一个代数簇.
|
| 关 键 词： | 蕴涵半格 极小方程基 代数簇 |
| 文章编号： | 1006-8341（2006）04-0349-02 |
| 收稿时间： | 2006-03-02 |
| 修稿时间： | 2006-03-02 |
A note of implicative semilattices |
| |
| ZHU Shao-ping,MENG Biao-long.A note of implicative semilattices[J].Basic Sciences Journal of Textile Universities,2006,19(4):349-350,367. |
| |
| Authors: | ZHU Shao-ping MENG Biao-long |
| |
| Abstract: | A minimal base of implicative semilattices is given . Let L be nonempty set, ∧ and * two binary operations, and 1 is a constant element of L. Then (L;∧,*,1) is an implicative semilattices if and only if it satisfies the follow:(1) (y*z)*((z*x)*(y*x))=1,(2) (x*y)*((y*x)*x)=(y*x)*((x*y)*y),(3) x*(y*z)=(x∧y)*z,(4) (y*1)*x=x.As a consequence of the above result, we have that implicative semilattices form an algebraic variety. |
| |
| Keywords: | implicative semilattices minimal base algebraic variety |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
