Congruence permutable Kleene-Stone algebras
| Autor: | Gaoxia Wang, Congwen Luo |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Pure mathematics
Multidisciplinary Boolean algebra (structure) Mathematics::General Topology Stone algebra Congruence lattice problem Kleene algebra Mathematics::Logic symbols.namesake Simple (abstract algebra) Computer Science::Logic in Computer Science Kleene star symbols Congruence (manifolds) Permutable prime Computer Science::Formal Languages and Automata Theory Mathematics |
| Zdroj: | Wuhan University Journal of Natural Sciences. 15:99-102 |
| ISSN: | 1993-4998 1007-1202 |
| DOI: | 10.1007/s11859-010-0202-0 |
| Popis: | A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink