A Model Theoretic Perspective on Matrix Rings

MaRDI QIDQ6308562zbMATH OpenFDO

Authors Igor Klep, Marcus Tressl

Publication date 21 October 2018

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Canonical forms, reductions, classification (15A21) Trace rings and invariant theory (associative rings and algebras) (16R30) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

Abstract: 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 extit{definable} expansion with quantifier elimination of the theory of $M_n(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.

This page was built for publication: A Model Theoretic Perspective on Matrix Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6308562)