|
|||||
|
|
Affine completeness of Kleene algebras |
|
| Authors: | M. Haviar K. Kaarli M. Ploščica |
| Affiliation: | (1) Department of Mathematics, M. Bel University, Zvolenskácesta 6, SK-974 01 Banská Bystrica, Slovakia. E-mail: haviar@bb.sanet.sk, SK;(2) Department of Mathematics, University of Tartu, EE-2400 Tartu, Estonia. E-mail: kaarli@math.ut.ee, EE;(3) Mathematical Institute, Slovak Academy of Sciences, Grešákova 6, SK-040 01 Košice, Slovakia. E-mail: ploscica@linux1.saske.sk, SK |
| Abstract: | 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. Received December 20, 1996; accepted in final form March 24, 1997. |
| Keywords: | and phrases. Kleene algebra compatible function (local) polynomial function (locally) affine complete algebra. |
| 本文献已被 SpringerLink 等数据库收录！ | |