A Model Theoretic Perspective on Matrix Rings
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_ | 1866916664133550080 |
|---|---|
| author | Klep, Igor Tressl, Marcus |
| author_facet | Klep, Igor Tressl, Marcus |
| contents | In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used together with invariant theory to prove quantifier elimination when $K$ is an intersection of real closed fields. On the other hand, it is shown that finding a natural \textit{definable} expansion with quantifier elimination of the theory of $M_n({\mathbb C})$ is closely related to the infamous simultaneous conjugacy problem in matrix theory. Finally, for various natural structures describing dimension-free matrices it is shown that no such elimination results can hold by establishing undecidability results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1810_09024 |
| institution | arXiv |
| publishDate | 2018 |
| record_format | arxiv |
| spellingShingle | A Model Theoretic Perspective on Matrix Rings Klep, Igor Tressl, Marcus Logic Rings and Algebras 03C10, 16R30, 16W22, 15A21 In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used together with invariant theory to prove quantifier elimination when $K$ is an intersection of real closed fields. On the other hand, it is shown that finding a natural \textit{definable} expansion with quantifier elimination of the theory of $M_n({\mathbb C})$ is closely related to the infamous simultaneous conjugacy problem in matrix theory. Finally, for various natural structures describing dimension-free matrices it is shown that no such elimination results can hold by establishing undecidability results. |
| title | A Model Theoretic Perspective on Matrix Rings |
| topic | Logic Rings and Algebras 03C10, 16R30, 16W22, 15A21 |
| url | https://arxiv.org/abs/1810.09024 |