| Kleene代数有直积分解的一个条件 |
| |
| 引用本文： | 涂文彪,陈琳. Kleene代数有直积分解的一个条件[J]. 洛阳师范学院学报, 2004, 23(2): 22-24 |
| |
| 作者姓名： | 涂文彪 陈琳 |
| |
| 作者单位： | 南通师范学院数学系,江苏南通,226007 |
| |
| 摘 要： | 本文利用分明元等概念 ,讨论了Kleene代数的直积分解 ,得到了Kleene代数为既约的条件 ,并在完备的条件下给出了Kleene代数有既约分解的一个充要条件 .
|
| 关 键 词： | Kleene代数 Boole可补元 F-补 既约分解 |
| 文章编号： | 1009-4970(2004)02-0022-03 |
| 修稿时间： | 2003-10-28 |
A Condition of the Kleene Algebra as a Direct Product |
| |
| TU Wen-biao,CHEN Lin. A Condition of the Kleene Algebra as a Direct Product[J]. Journal of Luoyang Teachers College, 2004, 23(2): 22-24 |
| |
| Authors: | TU Wen-biao CHEN Lin |
| |
| Abstract: | In this paper using the concept of the crisp element we discuss the problem of direct product decomposition of Kleene algebra. The condition of Kleene algebra being irreducible is obtained. Moreover the necessary and sufficient condition,under which Kleene algebra has irreducible decomposition when Kleene algebra is a complete lattice,is obtained. |
| |
| Keywords: | Kleene algebra Boolean complemented element F-complement irreducible decomposition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
