Affine completeness of Kleene algebras

详细信息

下载全文

推荐本文 |

• 作者：M. Haviar ; K. Kaarli and M. Plo拧膷ica
• 关键词：Key words and phrases. Kleene algebra ; compatible function ; (local) polynomial function ; (locally) affine complete algebra.
• 刊名：Algebra Universalis
• 出版时间：September 1997
• 出版年：1997
• 期刊代码：8_0002-5240
• 类别：mat
• 卷：37
• 期：4
• 页码：477-490
• 数据来源：sp

摘要

An algebra is called affine complete if all its compatible (i.e. congruence-preserving) functions are polynomial functions. In this paper we characterize affine complete members in the variety of Kleene algebras. We also characterize local polynomial functions of Kleene algebras and use this result to describe locally affine complete Kleene algebras.