The variety of coset relation algebras
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2018
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _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 |