Congruence Preservation, Lattices and Recognizability
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909336977014784 |
|---|---|
| author | Cegielski, Patrick Grigorieff, Serge Guessarian, Irene |
| author_facet | Cegielski, Patrick Grigorieff, Serge Guessarian, Irene |
| contents | We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra. Weakening Gratzer's notion to only finite index congruences, a similar result holds with lattices of sets. Genereralizing the notion to that of stable preorder preserving function, we extend these characterizations to Boolean algebras and lattices generated from any recognizable subset of the algebra. Our starting point is a result with related flavor on the additive algebra of natural integers which was obtained some years ago. All these results can be visualized in the diagram of Table 1. We finally consider some simple particular conditions on the algebra allowing to get a richer diagram. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_03785 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Congruence Preservation, Lattices and Recognizability Cegielski, Patrick Grigorieff, Serge Guessarian, Irene Logic We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra. Weakening Gratzer's notion to only finite index congruences, a similar result holds with lattices of sets. Genereralizing the notion to that of stable preorder preserving function, we extend these characterizations to Boolean algebras and lattices generated from any recognizable subset of the algebra. Our starting point is a result with related flavor on the additive algebra of natural integers which was obtained some years ago. All these results can be visualized in the diagram of Table 1. We finally consider some simple particular conditions on the algebra allowing to get a richer diagram. |
| title | Congruence Preservation, Lattices and Recognizability |
| topic | Logic |
| url | https://arxiv.org/abs/2410.03785 |