The variety of coset relation algebras
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912226904899584 |
|---|---|
| author | Givant, Steven Andréka, Hajnal |
| author_facet | Givant, Steven Andréka, Hajnal |
| contents | A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets that are used to "shift" the operation of relative multiplication. We prove that the class of coset relation algebras is equationally axiomatizable (that is to say, it is a variety), but no finite set of equations suffices to axiomatize the class (that is to say, the class is not finitely axiomatizable). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1804_03524 |
| institution | arXiv |
| publishDate | 2018 |
| record_format | arxiv |
| spellingShingle | The variety of coset relation algebras Givant, Steven Andréka, Hajnal Logic 03G15, 03C05, 03C60, 03E20, 20A15, 03C52, 08C10 A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets that are used to "shift" the operation of relative multiplication. We prove that the class of coset relation algebras is equationally axiomatizable (that is to say, it is a variety), but no finite set of equations suffices to axiomatize the class (that is to say, the class is not finitely axiomatizable). |
| title | The variety of coset relation algebras |
| topic | Logic 03G15, 03C05, 03C60, 03E20, 20A15, 03C52, 08C10 |
| url | https://arxiv.org/abs/1804.03524 |