Affine completeness of Kleene algebras

Springer Science and Business Media LLC - Tập 37 - Trang 477-490 - 1997
M. Haviar1, K. Kaarli2, M. Ploščica3
1Department of Mathematics, M. Bel University, Zvolenskácesta 6, SK-974 01 Banská Bystrica, Slovakia. E-mail: [email protected], , SK
2Department of Mathematics, University of Tartu, EE-2400 Tartu, Estonia. E-mail: [email protected], , EE
3Mathematical Institute, Slovak Academy of Sciences, Grešákova 6, SK-040 01 Košice, Slovakia. E-mail: [email protected], , SK

Tóm tắt

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.