|
|||||
|
|
Congruences on Dynamic Algebras |
|
| Authors: | Pinto Sandra Marques; Oliveira-Martins Teresa; Pinto M Ceu |
| Institution: | Departamento de Matemática, Universidade de Coimbra, Portugal. E-mail: sandra{at}mat.uc.pt |
| Abstract: | The lattice Cong of all dynamic congruences on a given dynamic algebra is presented. Whenever is separable with zero we define dynamic ideal on , given rise to the lattice Ide. The notions of kernel of a dynamic congruence andthe congruence generated by a dynamic ideal are introduced todescribe a Galois connection between Cong and Ide. We study conditions under which a dynamic congruence is determined byits kernel. |
| Keywords: | Boolean algebra with operators dynamic algebra dynamic congruence dynamic ideal Galois connection |
| 本文献已被 Oxford 等数据库收录！ | |